diff options
Diffstat (limited to 'test/golden/coord/tokenizing.golden')
| -rw-r--r-- | test/golden/coord/tokenizing.golden | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/golden/coord/tokenizing.golden b/test/golden/coord/tokenizing.golden index 56dac36..252d9ab 100644 --- a/test/golden/coord/tokenizing.golden +++ b/test/golden/coord/tokenizing.golden @@ -151,6 +151,15 @@ , EndEnv "proposition" ] , + [ BeginEnv "proof" + , Word "follows" + , Word "by" + , Ref + ( "bar" :| [] ) + , Symbol "." + , EndEnv "proof" + ] +, [ BeginEnv "proposition" , Label "adjs" , BeginEnv "math" @@ -164,6 +173,15 @@ , EndEnv "proposition" ] , + [ BeginEnv "proof" + , Word "follows" + , Word "by" + , Ref + ( "foo" :| [ "baz" ] ) + , Symbol "." + , EndEnv "proof" + ] +, [ BeginEnv "proposition" , Label "are_nouns" , Word "let" |