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