diff options
Diffstat (limited to 'test/golden/finite-set-terms')
| -rw-r--r-- | test/golden/finite-set-terms/parsing.golden | 72 | ||||
| -rw-r--r-- | test/golden/finite-set-terms/scanning.golden | 14 | ||||
| -rw-r--r-- | test/golden/finite-set-terms/tokenizing.golden | 18 |
3 files changed, 92 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 } ) diff --git a/test/golden/finite-set-terms/scanning.golden b/test/golden/finite-set-terms/scanning.golden index 5cef8dd..66d57f7 100644 --- a/test/golden/finite-set-terms/scanning.golden +++ b/test/golden/finite-set-terms/scanning.golden @@ -1,5 +1,19 @@ [ ScanFunctionSymbol ( TokenCons + ( Command "cons" ) + ( TokenCons InvisibleBraceL + ( HoleCons + ( TokenCons InvisibleBraceR + ( TokenCons InvisibleBraceL + ( HoleCons ( TokenCons InvisibleBraceR End ) ) + ) + ) + ) + ) + ) + ( Marker "example_cons" ) +, ScanFunctionSymbol + ( TokenCons ( Command "unit" ) End ) ( Marker "unit" ) diff --git a/test/golden/finite-set-terms/tokenizing.golden b/test/golden/finite-set-terms/tokenizing.golden index 200e330..ebe2484 100644 --- a/test/golden/finite-set-terms/tokenizing.golden +++ b/test/golden/finite-set-terms/tokenizing.golden @@ -1,4 +1,22 @@ [ + [ BeginEnv "signature" + , Label "example_cons" + , BeginEnv "math" + , Command "cons" + , InvisibleBraceL + , Variable "y" + , InvisibleBraceR + , InvisibleBraceL + , Variable "X" + , InvisibleBraceR + , EndEnv "math" + , Word "is" + , Word "a" + , Word "set" + , Symbol "." + , EndEnv "signature" + ] +, [ BeginEnv "axiom" , Label "cons" , BeginEnv "math" |