diff options
Diffstat (limited to 'test/golden/relation-notation/parsing.golden')
| -rw-r--r-- | test/golden/relation-notation/parsing.golden | 56 |
1 files changed, 52 insertions, 4 deletions
diff --git a/test/golden/relation-notation/parsing.golden b/test/golden/relation-notation/parsing.golden index 6c489be..65a7b94 100644 --- a/test/golden/relation-notation/parsing.golden +++ b/test/golden/relation-notation/parsing.golden @@ -1,10 +1,58 @@ -[ BlockClaim Proposition +[ BlockSig ( Location { locFile = "test/examples/relation-notation.tex" , locLine = 1 , locColumn = 1 } ) Nothing + ( Marker "example_pair" ) [] + ( SignatureSymbolic + ( SymbolPattern + ( MixfixItem + ( TokenCons + ( Command "pair" ) + ( TokenCons InvisibleBraceL + ( HoleCons + ( TokenCons InvisibleBraceR + ( TokenCons InvisibleBraceL + ( HoleCons ( TokenCons InvisibleBraceR End ) ) + ) + ) + ) + ) + ) + ( Marker "pair" ) NonAssoc + ) + [ NamedVar "x" + , NamedVar "y" + ] + ) NounPhrase ( [] ) + ( Noun + ( Location + { locFile = "test/examples/relation-notation.tex" + , locLine = 2 + , locColumn = 18 + } + ) + ( LexicalItemSgPl + ( SgPl + { sg = TokenCons + ( Word "set" ) End + , pl = TokenCons + ( Word "sets" ) End + } + ) + ( Marker "set" ) + ) [] + ) ( Nothing ) ( [] ) ( Nothing ) + ) +, BlockClaim Proposition + ( Location + { locFile = "test/examples/relation-notation.tex" + , locLine = 5 + , locColumn = 1 + } + ) Nothing ( Marker "mathrel_notation_test" ) ( Claim [] ( StmtConnected @@ -12,7 +60,7 @@ , mloc = Just ( Location { locFile = "test/examples/relation-notation.tex" - , locLine = 2 + , locLine = 6 , locColumn = 5 } ) @@ -25,7 +73,7 @@ ( RelationExpr ( Location { locFile = "test/examples/relation-notation.tex" - , locLine = 2 + , locLine = 6 , locColumn = 10 } ) @@ -47,7 +95,7 @@ ( RelationExpr ( Location { locFile = "test/examples/relation-notation.tex" - , locLine = 2 + , locLine = 6 , locColumn = 33 } ) |