diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-02-21 15:33:20 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-21 15:33:20 -0500 |
commit | c40cb1851bc27f0a0a99648be21dacb821b65ed9 (patch) | |
tree | 6ec268a6e7aaa927f41c76e354e78ca55585f69a /src/urweb.lex | |
parent | 9f20d9299eab7caab6421860b6a54f831af73921 (diff) |
"Hello world" compiles, after replacing type-level fold with map
Diffstat (limited to 'src/urweb.lex')
-rw-r--r-- | src/urweb.lex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/urweb.lex b/src/urweb.lex index aef68ad1..29e07194 100644 --- a/src/urweb.lex +++ b/src/urweb.lex @@ -290,6 +290,7 @@ notags = [^<{\n]+; <INITIAL> "and" => (Tokens.AND (pos yypos, pos yypos + size yytext)); <INITIAL> "fun" => (Tokens.FUN (pos yypos, pos yypos + size yytext)); <INITIAL> "fn" => (Tokens.FN (pos yypos, pos yypos + size yytext)); +<INITIAL> "map" => (Tokens.MAP (pos yypos, pos yypos + size yytext)); <INITIAL> "fold" => (Tokens.FOLD (pos yypos, pos yypos + size yytext)); <INITIAL> "case" => (Tokens.CASE (pos yypos, pos yypos + size yytext)); <INITIAL> "if" => (Tokens.IF (pos yypos, pos yypos + size yytext)); |