summaryrefslogtreecommitdiff
path: root/src/urweb.grm
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-07-29 12:27:13 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-07-29 12:27:13 -0400
commit07329580f4750d5ac97876ed57f5481e9a81dc96 (patch)
tree64d9ddce82db685341ff2fa640f4accad0ecfbdc /src/urweb.grm
parentf5331f50f3628c067cd9f8e1320d5df49d92f3cf (diff)
Remove 'class' declaration; now use 'con' instead
Diffstat (limited to 'src/urweb.grm')
-rw-r--r--src/urweb.grm19
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))])