Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
837:ccf22c2c77b2 838:5154a047c6bc
957 ((CName "2", loc), 957 ((CName "2", loc),
958 eexp)], loc)), loc) 958 eexp)], loc)), loc)
959 end) 959 end)
960 960
961 bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps) 961 bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps)
962 | UNIT LARROW eapps (let
963 val loc = s (UNITleft, eappsright)
964 in
965 ("_", SOME (TRecord (CRecord [], loc), loc), eapps)
966 end)
967 | eapps (let 962 | eapps (let
968 val loc = s (eappsleft, eappsright) 963 val loc = s (eappsleft, eappsright)
969 in 964 in
970 ("_", SOME (TRecord (CRecord [], loc), loc), eapps) 965 ("_", SOME (TRecord (CRecord [], loc), loc), eapps)
971 end) 966 end)