Mercurial > urweb
comparison src/urweb.lex @ 316:04ebfe929a98
Unpolyed a polymorphic function of two arguments
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 10:14:59 -0400 |
parents | bc89dfdbc495 |
children | e976b187d73a |
comparison
equal
deleted
inserted
replaced
315:e21d0dddda09 | 316:04ebfe929a98 |
---|---|
110 %header (functor UrwebLexFn(structure Tokens : Urweb_TOKENS)); | 110 %header (functor UrwebLexFn(structure Tokens : Urweb_TOKENS)); |
111 %full | 111 %full |
112 %s COMMENT STRING XML XMLTAG; | 112 %s COMMENT STRING XML XMLTAG; |
113 | 113 |
114 id = [a-z_][A-Za-z0-9_']*; | 114 id = [a-z_][A-Za-z0-9_']*; |
115 cid = [A-Z][A-Za-z0-9_']*; | 115 cid = [A-Z][A-Za-z0-9_]*; |
116 ws = [\ \t\012]; | 116 ws = [\ \t\012]; |
117 intconst = [0-9]+; | 117 intconst = [0-9]+; |
118 realconst = [0-9]+\.[0-9]*; | 118 realconst = [0-9]+\.[0-9]*; |
119 notags = [^<{\n]+; | 119 notags = [^<{\n]+; |
120 | 120 |