diff options
Diffstat (limited to 'test/golden/finite-set-terms/parsing.golden')
| -rw-r--r-- | test/golden/finite-set-terms/parsing.golden | 72 |
1 files changed, 60 insertions, 12 deletions
diff --git a/test/golden/finite-set-terms/parsing.golden b/test/golden/finite-set-terms/parsing.golden index 6d031b4..d351ceb 100644 --- a/test/golden/finite-set-terms/parsing.golden +++ b/test/golden/finite-set-terms/parsing.golden @@ -1,10 +1,58 @@ -[ BlockAxiom +[ BlockSig ( Location { locFile = "test/examples/finite-set-terms.tex" , locLine = 1 , locColumn = 1 } ) Nothing + ( Marker "example_cons" ) [] + ( SignatureSymbolic + ( SymbolPattern + ( MixfixItem + ( TokenCons + ( Command "cons" ) + ( TokenCons InvisibleBraceL + ( HoleCons + ( TokenCons InvisibleBraceR + ( TokenCons InvisibleBraceL + ( HoleCons ( TokenCons InvisibleBraceR End ) ) + ) + ) + ) + ) + ) + ( Marker "cons" ) NonAssoc + ) + [ NamedVar "y" + , NamedVar "X" + ] + ) NounPhrase ( [] ) + ( Noun + ( Location + { locFile = "test/examples/finite-set-terms.tex" + , locLine = 2 + , locColumn = 24 + } + ) + ( LexicalItemSgPl + ( SgPl + { sg = TokenCons + ( Word "set" ) End + , pl = TokenCons + ( Word "sets" ) End + } + ) + ( Marker "set" ) + ) [] + ) ( Nothing ) ( [] ) ( Nothing ) + ) +, BlockAxiom + ( Location + { locFile = "test/examples/finite-set-terms.tex" + , locLine = 5 + , locColumn = 1 + } + ) Nothing ( Marker "cons" ) ( Axiom [] ( StmtConnected @@ -19,7 +67,7 @@ ( Relation ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 2 + , locLine = 6 , locColumn = 7 } ) @@ -32,7 +80,7 @@ ( ExprOp ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 2 + , locLine = 6 , locColumn = 11 } ) @@ -71,7 +119,7 @@ ( Relation ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 2 + , locLine = 6 , locColumn = 31 } ) @@ -95,7 +143,7 @@ ( Relation ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 2 + , locLine = 6 , locColumn = 41 } ) @@ -117,7 +165,7 @@ , BlockDefn ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 5 + , locLine = 9 , locColumn = 1 } ) Nothing @@ -134,14 +182,14 @@ ( ExprFiniteSet ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 6 + , locLine = 10 , locColumn = 14 } ) ( ExprOp ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 6 + , locLine = 10 , locColumn = 16 } ) @@ -157,7 +205,7 @@ , BlockClaim Proposition ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 9 + , locLine = 13 , locColumn = 1 } ) Nothing @@ -169,7 +217,7 @@ ( ExprOp ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 10 + , locLine = 14 , locColumn = 6 } ) @@ -183,7 +231,7 @@ ( Relation ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 10 + , locLine = 14 , locColumn = 15 } ) @@ -196,7 +244,7 @@ ( ExprOp ( Location { locFile = "test/examples/finite-set-terms.tex" - , locLine = 10 + , locLine = 14 , locColumn = 18 } ) |