comparison src/lacweb.grm @ 93:94afff1ff7f6

More fun with HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:14:35 -0400
parents 1a4c51fa615c
children f0f59e918cac
comparison
equal deleted inserted replaced
92:1a4c51fa615c 93:94afff1ff7f6
257 257
258 eexp : eapps (eapps) 258 eexp : eapps (eapps)
259 | FN SYMBOL kcolon kind DARROW eexp (ECAbs (kcolon, SYMBOL, kind, eexp), s (FNleft, eexpright)) 259 | FN SYMBOL kcolon kind DARROW eexp (ECAbs (kcolon, SYMBOL, kind, eexp), s (FNleft, eexpright))
260 | FN SYMBOL COLON cexp DARROW eexp (EAbs (SYMBOL, SOME cexp, eexp), s (FNleft, eexpright)) 260 | FN SYMBOL COLON cexp DARROW eexp (EAbs (SYMBOL, SOME cexp, eexp), s (FNleft, eexpright))
261 | FN SYMBOL DARROW eexp (EAbs (SYMBOL, NONE, eexp), s (FNleft, eexpright)) 261 | FN SYMBOL DARROW eexp (EAbs (SYMBOL, NONE, eexp), s (FNleft, eexpright))
262 | FN cterm TWIDDLE cterm DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (cterm1left, eexpright)) 262 | LBRACK cterm TWIDDLE cterm RBRACK DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (LBRACKleft, RBRACKright))
263 | FN UNIT DARROW eexp (let
264 val loc = s (FNleft, eexpright)
265 in
266 (EAbs ("_", SOME (TRecord (CRecord [], loc), loc), eexp), loc)
267 end)
263 268
264 | LPAREN eexp RPAREN DCOLON cexp (EAnnot (eexp, cexp), s (LPARENleft, cexpright)) 269 | LPAREN eexp RPAREN DCOLON cexp (EAnnot (eexp, cexp), s (LPARENleft, cexpright))
265 | eterm DOT ident (EField (eterm, ident), s (etermleft, identright)) 270 | eterm DOT ident (EField (eterm, ident), s (etermleft, identright))
266 271
267 eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) 272 eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright))