diff options
Diffstat (limited to 'gen/ANF.tokens')
-rw-r--r-- | gen/ANF.tokens | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gen/ANF.tokens b/gen/ANF.tokens new file mode 100644 index 0000000..9a3d551 --- /dev/null +++ b/gen/ANF.tokens @@ -0,0 +1,25 @@ +T__0=1 +T__1=2 +T__2=3 +T__3=4 +T__4=5 +T__5=6 +T__6=7 +T__7=8 +T__8=9 +T__9=10 +T__10=11 +IDENT=12 +NUMBER=13 +WS=14 +'+'=1 +'-'=2 +'*'=3 +'/'=4 +'('=5 +':'=6 +')'=7 +','=8 +'let'=9 +'='=10 +'in'=11 |