diff options
Diffstat (limited to 'test/golden/proofdefinefunction/tokenizing.golden')
| -rw-r--r-- | test/golden/proofdefinefunction/tokenizing.golden | 16 |
1 files changed, 16 insertions, 0 deletions
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" |