diff options
Diffstat (limited to 'test/golden/proofdefinefunction')
| -rw-r--r-- | test/golden/proofdefinefunction/parsing.golden | 80 | ||||
| -rw-r--r-- | test/golden/proofdefinefunction/scanning.golden | 10 | ||||
| -rw-r--r-- | test/golden/proofdefinefunction/tokenizing.golden | 16 |
3 files changed, 90 insertions, 16 deletions
diff --git a/test/golden/proofdefinefunction/parsing.golden b/test/golden/proofdefinefunction/parsing.golden index 1089d8f..60110a5 100644 --- a/test/golden/proofdefinefunction/parsing.golden +++ b/test/golden/proofdefinefunction/parsing.golden @@ -1,7 +1,55 @@ -[ BlockDefn +[ BlockSig ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 3 + , 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/proofdefinefunction.tex" + , locLine = 2 + , locColumn = 18 + } + ) + ( LexicalItemSgPl + ( SgPl + { sg = TokenCons + ( Word "set" ) End + , pl = TokenCons + ( Word "sets" ) End + } + ) + ( Marker "set" ) + ) [] + ) ( Nothing ) ( [] ) ( Nothing ) + ) +, BlockDefn + ( Location + { locFile = "test/examples/proofdefinefunction.tex" + , locLine = 7 , locColumn = 1 } ) Nothing @@ -34,7 +82,7 @@ , BlockDefn ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 8 + , locLine = 12 , locColumn = 1 } ) Nothing @@ -59,7 +107,7 @@ , BlockDefn ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 13 + , locLine = 17 , locColumn = 1 } ) Nothing @@ -70,7 +118,7 @@ ( Adj ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 14 + , locLine = 18 , locColumn = 12 } ) @@ -91,7 +139,7 @@ ( Relation ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 14 + , locLine = 18 , locColumn = 31 } ) @@ -111,7 +159,7 @@ , BlockDefn ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 18 + , locLine = 22 , locColumn = 1 } ) Nothing @@ -122,7 +170,7 @@ ( Noun ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 19 + , locLine = 23 , locColumn = 14 } ) @@ -147,7 +195,7 @@ ( Relation ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 19 + , locLine = 23 , locColumn = 29 } ) @@ -167,7 +215,7 @@ , BlockClaim Proposition ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 22 + , locLine = 26 , locColumn = 1 } ) Nothing @@ -178,7 +226,7 @@ , mloc = Just ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 23 + , locLine = 27 , locColumn = 5 } ) @@ -191,7 +239,7 @@ ( Relation ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 23 + , locLine = 27 , locColumn = 10 } ) @@ -215,7 +263,7 @@ ( Relation ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 23 + , locLine = 27 , locColumn = 25 } ) @@ -236,14 +284,14 @@ , BlockProof ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 25 + , locLine = 29 , locColumn = 1 } ) ( DefineFunction ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 26 + , locLine = 30 , locColumn = 5 } ) @@ -259,7 +307,7 @@ ) ( Location { locFile = "test/examples/proofdefinefunction.tex" - , locLine = 27 + , locLine = 31 , locColumn = 1 } ) diff --git a/test/golden/proofdefinefunction/scanning.golden b/test/golden/proofdefinefunction/scanning.golden index fd20405..c49d8f9 100644 --- a/test/golden/proofdefinefunction/scanning.golden +++ b/test/golden/proofdefinefunction/scanning.golden @@ -1,4 +1,14 @@ [ ScanFunctionSymbol + ( TokenCons ParenL + ( HoleCons + ( TokenCons + ( Symbol "," ) + ( HoleCons ( TokenCons ParenR End ) ) + ) + ) + ) + ( Marker "example_pair" ) +, ScanFunctionSymbol ( TokenCons ( Command "apply" ) ( TokenCons InvisibleBraceL diff --git a/test/golden/proofdefinefunction/tokenizing.golden b/test/golden/proofdefinefunction/tokenizing.golden index 63692ab..d479529 100644 --- a/test/golden/proofdefinefunction/tokenizing.golden +++ b/test/golden/proofdefinefunction/tokenizing.golden @@ -1,4 +1,20 @@ [ + [ BeginEnv "signature" + , Label "example_pair" + , BeginEnv "math" + , ParenL + , Variable "x" + , Symbol "," + , Variable "y" + , ParenR + , EndEnv "math" + , Word "is" + , Word "a" + , Word "set" + , Symbol "." + , EndEnv "signature" + ] +, [ BeginEnv "definition" , Label "apply" , BeginEnv "math" |