diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-29 12:27:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-29 12:27:13 -0400 |
| commit | 07329580f4750d5ac97876ed57f5481e9a81dc96 (patch) | |
| tree | 64d9ddce82db685341ff2fa640f4accad0ecfbdc /src/urweb.grm | |
| parent | f5331f50f3628c067cd9f8e1320d5df49d92f3cf (diff) | |
Remove 'class' declaration; now use 'con' instead
Diffstat (limited to 'src/urweb.grm')
| -rw-r--r-- | src/urweb.grm | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 708e5fcd..084cec1e 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -602,25 +602,6 @@ decl : CON SYMBOL cargl2 kopt EQ cexp (let s (VIEWleft, queryright))]) | VIEW SYMBOL EQ LBRACE eexp RBRACE ([(DView (SYMBOL, eexp), s (VIEWleft, RBRACEright))]) - | CLASS SYMBOL EQ cexp (let - val loc = s (CLASSleft, cexpright) - in - [(DClass (SYMBOL, (KWild, loc), cexp), loc)] - end) - | CLASS SYMBOL DCOLON kind EQ cexp ([(DClass (SYMBOL, kind, cexp), s (CLASSleft, cexpright))]) - | CLASS SYMBOL SYMBOL EQ cexp (let - val loc = s (CLASSleft, cexpright) - val k = (KWild, loc) - val c = (CAbs (SYMBOL2, SOME k, cexp), loc) - in - [(DClass (SYMBOL1, k, c), s (CLASSleft, cexpright))] - end) - | CLASS SYMBOL LPAREN SYMBOL DCOLON kind RPAREN EQ cexp (let - val loc = s (CLASSleft, cexpright) - val c = (CAbs (SYMBOL2, SOME kind, cexp), loc) - in - [(DClass (SYMBOL1, kind, c), s (CLASSleft, cexpright))] - end) | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))]) | STYLE SYMBOL ([(DStyle SYMBOL, s (STYLEleft, SYMBOLright))]) | TASK eapps EQ eexp ([(DTask (eapps, eexp), s (TASKleft, eexpright))]) |