Mercurial > urweb

comparison src/lacweb.grm @ 6:38bf996e1c2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Check for leftover kind unifs
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:44:39 -0500
parents 5c3cc348e9e6
children 2ce5bf227d01
comparison
equal deleted inserted replaced
5:258261a53842 6:38bf996e1c2e
67 67
68 %name Lacweb 68 %name Lacweb
69 69
70 %nonassoc DARROW 70 %nonassoc DARROW
71 %nonassoc COLON 71 %nonassoc COLON
72 %nonassoc DCOLON TCOLON
72 %right COMMA 73 %right COMMA
73 %right ARROW LARROW 74 %right ARROW LARROW
74 %right PLUSPLUS 75 %right PLUSPLUS
75 %nonassoc DOLLAR 76 %nonassoc DOLLAR
76 %left DOT 77 %left DOT
100 101
101 | cexp PLUSPLUS cexp (CConcat (cexp1, cexp2), s (cexp1left, cexp1right)) 102 | cexp PLUSPLUS cexp (CConcat (cexp1, cexp2), s (cexp1left, cexp1right))
102 103
103 | FN SYMBOL kcolon kind DARROW cexp (CAbs (kcolon, SYMBOL, kind, cexp), s (FNleft, cexpright)) 104 | FN SYMBOL kcolon kind DARROW cexp (CAbs (kcolon, SYMBOL, kind, cexp), s (FNleft, cexpright))
104 105
106 | LPAREN cexp RPAREN DCOLON kind (CAnnot (cexp, kind), s (LPARENleft, RPARENright))
107
105 kcolon : DCOLON (Explicit) 108 kcolon : DCOLON (Explicit)
106 | TCOLON (Implicit) 109 | TCOLON (Implicit)
107 110
108 cterm : LPAREN cexp RPAREN (#1 cexp, s (LPARENleft, RPARENright)) 111 cterm : LPAREN cexp RPAREN (#1 cexp, s (LPARENleft, RPARENright))
109 | LBRACK rcon RBRACK (CRecord rcon, s (LBRACKleft, RBRACKright)) 112 | LBRACK rcon RBRACK (CRecord rcon, s (LBRACKleft, RBRACKright))