Mercurial > urweb

diff src/urweb.grm @ 838:5154a047c6bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 19:28:25 -0400
parents ccf22c2c77b2
children d1b6acaec265
line wrap: on
line diff
--- a/src/urweb.grm	Tue Jun 02 15:43:18 2009 -0400
+++ b/src/urweb.grm	Tue Jun 02 19:28:25 2009 -0400
@@ -959,11 +959,6 @@
                                          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