diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-08-12 00:37:28 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-08-12 00:37:28 +0200 |
| commit | 39ef87d3ce39152febc130aa95e25dc0722c3525 (patch) | |
| tree | 018ce21f85bc132306ac5130db405527a313c1a7 /test/golden/union | |
| parent | afce89ead823b6e9eec4a0b115bbe57a89a8e912 (diff) | |
Allow relation symbols with parameters
Parameters must follow the relation symbol and be surrounded by braces, like so: `\rel{x}{y}{z}`.
This attempt is still brittle/broken in a few ways:
- It makes using braces in creative ways in mixfix notation ambiguous.
- It does not verify that the parameters are used in a consistent manner for each symbol. It essentially allows users to define `a\MyRel b` and `a\MyRel{x} b` (and ones with even more parameters).
- It allows parameters for all relation symbols, even for those where it makes no sense in ordinary TeX markup, e.g. `a <{x} b`.
Diffstat (limited to 'test/golden/union')
| -rw-r--r-- | test/golden/union/parsing.golden | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test/golden/union/parsing.golden b/test/golden/union/parsing.golden index 391f039..3ccdc08 100644 --- a/test/golden/union/parsing.golden +++ b/test/golden/union/parsing.golden @@ -19,7 +19,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "A" ) :| [] ) @@ -34,7 +34,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "B" ) :| [] ) @@ -52,7 +52,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprVar ( NamedVar "B" ) :| [] ) @@ -96,7 +96,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprOp [ Nothing , Just @@ -121,7 +121,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "A" ) :| [] ) @@ -136,7 +136,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "B" ) :| [] ) @@ -172,7 +172,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprOp [ Nothing , Just @@ -224,7 +224,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprOp [ Nothing , Just @@ -269,7 +269,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprOp [ Nothing , Just @@ -302,7 +302,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprOp [ Nothing , Just @@ -341,7 +341,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprOp [ Nothing , Just @@ -374,7 +374,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprOp [ Nothing , Just |