diff options
Diffstat (limited to 'test/golden/replace/tokenizing.golden')
| -rw-r--r-- | test/golden/replace/tokenizing.golden | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/test/golden/replace/tokenizing.golden b/test/golden/replace/tokenizing.golden index d32c8ab..06ab46a 100644 --- a/test/golden/replace/tokenizing.golden +++ b/test/golden/replace/tokenizing.golden @@ -1,4 +1,38 @@ [ + [ 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 "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 "axiom" , Label "cons" , BeginEnv "math" @@ -138,4 +172,13 @@ , Symbol "." , EndEnv "proposition" ] +, + [ BeginEnv "proof" + , Word "follows" + , Word "by" + , Ref + ( "times" :| [] ) + , Symbol "." + , EndEnv "proof" + ] ]
\ No newline at end of file |