comparison src/lacweb.grm @ 110:3739af9e727a

Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children e3041657d653
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
279 279
280 eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) 280 eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright))
281 281
282 | path (EVar path, s (pathleft, pathright)) 282 | path (EVar path, s (pathleft, pathright))
283 | LBRACE rexp RBRACE (ERecord rexp, s (LBRACEleft, RBRACEright)) 283 | LBRACE rexp RBRACE (ERecord rexp, s (LBRACEleft, RBRACEright))
284 | UNIT (ERecord [], s (UNITleft, UNITright))
284 285
285 | INT (EPrim (Prim.Int INT), s (INTleft, INTright)) 286 | INT (EPrim (Prim.Int INT), s (INTleft, INTright))
286 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) 287 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright))
287 | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright)) 288 | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright))
288 289
343 attr : SYMBOL EQ attrv ((CName (uppercaseFirst SYMBOL), s (SYMBOLleft, SYMBOLright)), attrv) 344 attr : SYMBOL EQ attrv ((CName (uppercaseFirst SYMBOL), s (SYMBOLleft, SYMBOLright)), attrv)
344 345
345 attrv : INT (EPrim (Prim.Int INT), s (INTleft, INTright)) 346 attrv : INT (EPrim (Prim.Int INT), s (INTleft, INTright))
346 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright)) 347 | FLOAT (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright))
347 | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright)) 348 | STRING (EPrim (Prim.String STRING), s (STRINGleft, STRINGright))
349 | LBRACE eexp RBRACE (eexp)