Mercurial > urweb

diff src/lacweb.grm @ 140:f214c535d253

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A simpler context encoding
author Adam Chlipala <adamc@hcoop.net>
date Sun, 20 Jul 2008 10:40:25 -0400
parents 5df655503288
children 63c699450281
line wrap: on
line diff
--- a/src/lacweb.grm	Sun Jul 20 10:11:16 2008 -0400
+++ b/src/lacweb.grm	Sun Jul 20 10:40:25 2008 -0400
@@ -310,10 +310,9 @@
                                           val pos = s (xmlOneleft, xmlright)
                                       in
                                           (EApp ((EApp (
-                                                  (ECApp ((EVar (["Basis"], "join"), pos),
-                                                          (CWild (KRecord (KUnit, pos), pos), pos)), pos),
+                                                  (EVar (["Basis"], "join"), pos),
                                                   xmlOne), pos),
-                                                  xml), pos)
+                                                 xml), pos)
                                       end)
        | xmlOne                      (xmlOne)
 
@@ -325,7 +324,8 @@
                                       in
                                           (EApp ((EApp ((EApp ((EVar (["Basis"], "tag"), pos),
                                                                (ERecord attrs, pos)), pos),
-                                                        (EVar ([], BEGIN_TAG), pos)),
+                                                        ((EApp ((EVar ([], BEGIN_TAG), pos),
+                                                                (ERecord [], pos)), pos))),
                                                   pos),
                                                  (EApp ((EVar (["Basis"], "cdata"), pos),
                                                         (EPrim (Prim.String ""), pos)),
@@ -338,7 +338,8 @@
                                             if BEGIN_TAG = END_TAG then
                                                 (EApp ((EApp ((EApp ((EVar (["Basis"], "tag"), pos),
                                                                      (ERecord attrs, pos)), pos),
-                                                              (EVar ([], BEGIN_TAG), pos)),
+                                                              (EApp ((EVar ([], BEGIN_TAG), pos),
+                                                                     (ERecord [], pos)), pos)),
                                                         pos),
                                                        xml), pos)
                                             else