Mercurial > urweb

diff src/urweb.grm @ 794:dc3fc3f3b834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improving/reordering Unpoly and Especialize; pathmaps
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 08:13:54 -0400
parents 9021d44ba6b2
children e2780d2f4afc
line wrap: on
line diff
--- a/src/urweb.grm	Tue May 12 20:15:11 2009 -0400
+++ b/src/urweb.grm	Thu May 14 08:13:54 2009 -0400
@@ -933,12 +933,12 @@
 
        | eexp CARET eexp                (native_op ("strcat", eexp1, eexp2, s (eexp1left, eexp2right)))
 
-       | eterm DCOLON eexp              (let
-                                             val loc = s (etermleft, eexpright)
+       | eapps DCOLON eexp              (let
+                                             val loc = s (eappsleft, eexpright)
                                          in
                                              (EApp ((EVar (["Basis"], "Cons", Infer), loc),
                                                     (ERecord [((CName "1", loc),
-                                                               eterm),
+                                                               eapps),
                                                               ((CName "2", loc),
                                                                eexp)], loc)), loc)
                                          end)