Mercurial > urweb
diff src/urweb.grm @ 356:383c72d11db8
Basis and Top syntax-highlight, indent, parse, and type-check
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 12 Oct 2008 12:21:54 -0400 |
| parents | 527529a083d9 |
| children | c1e96b387115 |
line wrap: on
line diff
--- a/src/urweb.grm Sun Oct 12 11:50:21 2008 -0400 +++ b/src/urweb.grm Sun Oct 12 12:21:54 2008 -0400 @@ -714,13 +714,6 @@ ((EAbs ("_", SOME cexp, e), loc), (TFun (cexp, t), loc)) end) - | cterm TWIDDLE cterm (fn (e, t) => - let - val loc = s (cterm1left, cterm2right) - in - ((EDisjoint (cterm1, cterm2, e), loc), - (CDisjoint (cterm1, cterm2, t), loc)) - end) | eargp (eargp) eargp : SYMBOL (fn (e, t) => @@ -773,6 +766,13 @@ ((EDisjoint (cterm1, cterm2, e), loc), (CDisjoint (cterm1, cterm2, t), loc)) end) + | LBRACK cterm TWIDDLE cterm RBRACK(fn (e, t) => + let + val loc = s (LBRACKleft, RBRACKright) + in + ((EDisjoint (cterm1, cterm2, e), loc), + (CDisjoint (cterm1, cterm2, t), loc)) + end) eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) | LPAREN etuple RPAREN (let