Mercurial > urweb
diff src/lacweb.lex @ 48:0a5c312de09a
Start of FFI
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 09:27:29 -0400 |
parents | b3fbbc6cb1e5 |
children | a6e185c7c428 |
line wrap: on
line diff
--- a/src/lacweb.lex Thu Jun 19 18:13:33 2008 -0400 +++ b/src/lacweb.lex Sun Jun 22 09:27:29 2008 -0400 @@ -67,8 +67,8 @@ %full %s COMMENT STRING; -id = [a-z_][A-Za-z0-9_]*; -cid = [A-Z][A-Za-z0-9_]*; +id = [a-z_][A-Za-z0-9_']*; +cid = [A-Z][A-Za-z0-9_']*; ws = [\ \t\012]; intconst = [0-9]+; realconst = [0-9]+\.[0-9]*; @@ -135,6 +135,7 @@ <INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext)); <INITIAL> "functor" => (Tokens.FUNCTOR (yypos, yypos + size yytext)); <INITIAL> "where" => (Tokens.WHERE (yypos, yypos + size yytext)); +<INITIAL> "extern" => (Tokens.EXTERN (yypos, yypos + size yytext)); <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext));