Mercurial > urweb

diff src/monoize.sml @ 148:15e8b9775539

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gform in proper order
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 19:12:25 -0400
parents f0d3402184d1
children 7420fa18d657
line wrap: on
line diff
--- a/src/monoize.sml	Tue Jul 22 18:46:04 2008 -0400
+++ b/src/monoize.sml	Tue Jul 22 19:12:25 2008 -0400
@@ -351,6 +351,17 @@
                                           (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc)
             end
 
+          | L.EApp ((L.ECApp (
+                     (L.ECApp (
+                      (L.ECApp (
+                       (L.ECApp (
+                        (L.EFfi ("Basis", "useMore"), _), _), _),
+                       _), _),
+                      _), _),
+                     _), _),
+                    xml) => monoExp env xml
+                     
+
           | L.EApp (e1, e2) => (L'.EApp (monoExp env e1, monoExp env e2), loc)
           | L.EAbs (x, dom, ran, e) =>
             (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc)