Mercurial > urweb
diff src/lacweb.grm @ 142:6f9e224692ec
Form submission type-checking
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 20 Jul 2008 12:21:30 -0400 |
parents | 63c699450281 |
children | 7420fa18d657 |
line wrap: on
line diff
--- a/src/lacweb.grm Sun Jul 20 11:33:23 2008 -0400 +++ b/src/lacweb.grm Sun Jul 20 12:21:30 2008 -0400 @@ -285,7 +285,6 @@ end) | LPAREN eexp RPAREN DCOLON cexp (EAnnot (eexp, cexp), s (LPARENleft, cexpright)) - | eterm DOT ident (EField (eterm, ident), s (etermleft, identright)) eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) @@ -297,6 +296,7 @@ | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright)) + | path DOT ident (EField ((EVar path, s (pathleft, pathright)), ident), s (pathleft, identright)) | FOLD (EFold, s (FOLDleft, FOLDright)) | XML_BEGIN xml XML_END (xml)