~thon/thon

8fc107dd2a770b18fd7416807f05a362475845f7 — Evan Bergeron 8 months ago 8571e74
Revert "Fix"

This reverts commit 6b703e40af6cf5c5a855a4e217e91c9fd252fa4b.
1 files changed, 12 insertions(+), 0 deletions(-)

M parse/thon.lex
M parse/thon.lex => parse/thon.lex +12 -0
@@ 53,11 53,23 @@ ws = [\ \t];
<INITIAL> "fun"    => (Tokens.FUN(!pos,!pos));
<INITIAL> "->"     => (Tokens.SARROW(!pos,!pos));
<INITIAL> "nat"    => (Tokens.NAT(!pos,!pos));
<INITIAL> "rec"    => (Tokens.REC(!pos,!pos));
<INITIAL> "go"     => (Tokens.GO(!pos,!pos));
<INITIAL> "poly"   => (Tokens.POLY(!pos,!pos));
<INITIAL> "left"   => (Tokens.LEFT(!pos,!pos));
<INITIAL> "right"  => (Tokens.RIGHT(!pos,!pos));
<INITIAL> "fst"    => (Tokens.FST(!pos,!pos));
<INITIAL> "snd"    => (Tokens.SND(!pos,!pos));
<INITIAL> "all"    => (Tokens.ALL(!pos,!pos));
<INITIAL> "some"   => (Tokens.SOME(!pos,!pos));
<INITIAL> "unit"   => (Tokens.UNIT(!pos,!pos));
<INITIAL> "fold"   => (Tokens.FOLD(!pos,!pos));
<INITIAL> "unfold" => (Tokens.UNFOLD(!pos,!pos));
<INITIAL> "with"   => (Tokens.WITH(!pos,!pos));
<INITIAL> "impl"   => (Tokens.IMPL(!pos,!pos));
<INITIAL> "use"    => (Tokens.USE(!pos,!pos));
<INITIAL> "case"   => (Tokens.CASE(!pos,!pos));
<INITIAL> "data"   => (Tokens.DATA(!pos,!pos));
<INITIAL> "as"     => (Tokens.AS(!pos,!pos));
<INITIAL> "in"     => (Tokens.IN(!pos,!pos));
<INITIAL> "of"     => (Tokens.OF(!pos,!pos));