summaryrefslogtreecommitdiff
path: root/src/urweb.grm
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-02 19:28:25 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-02 19:28:25 -0400
commit07f80839011b33db760cdac421ccea6226b07111 (patch)
tree426b37ee6b714afc0a597600850846d73c9d41a7 /src/urweb.grm
parentaca4dfb6dc232643850cda851bed1421acfc693a (diff)
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Diffstat (limited to 'src/urweb.grm')
-rw-r--r--src/urweb.grm5
1 files changed, 0 insertions, 5 deletions
diff --git a/src/urweb.grm b/src/urweb.grm
index 1bb5da58..0232a3f3 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -959,11 +959,6 @@ eexp : eapps (eapps)
end)
bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps)
- | UNIT LARROW eapps (let
- val loc = s (UNITleft, eappsright)
- in
- ("_", SOME (TRecord (CRecord [], loc), loc), eapps)
- end)
| eapps (let
val loc = s (eappsleft, eappsright)
in