Mercurial > urweb

comparison src/urweb.grm @ 2075:fde864eacd47

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:02:17 -0500
parents 4d64af730e35
children 3cd2bd4b1de0
comparison
equal deleted inserted replaced
2074:e48e09a1f583 2075:fde864eacd47
1745 attrv), loc) 1745 attrv), loc)
1746 end 1746 end
1747 else 1747 else
1748 attrv) 1748 attrv)
1749 end) 1749 end)
1750 | SYMBOL (let
1751 val loc = s (SYMBOLleft, SYMBOLright)
1752 in
1753 Normal ((CName (makeAttr SYMBOL), loc),
1754 (EVar (["Basis"], "True", Infer), loc))
1755 end)
1750 1756
1751 attrv : INT (EPrim (Prim.Int INT), s (INTleft, INTright)) 1757 attrv : INT (EPrim (Prim.Int INT), s (INTleft, INTright))
1752 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) 1758 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright))
1753 | STRING (EPrim (Prim.String (Prim.Normal, STRING)), s (STRINGleft, STRINGright)) 1759 | STRING (EPrim (Prim.String (Prim.Normal, STRING)), s (STRINGleft, STRINGright))
1754 | LBRACE eexp RBRACE (eexp) 1760 | LBRACE eexp RBRACE (eexp)