Mercurial > urweb

diff src/elaborate.sml @ 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 adfa2c7a75da
children 63c699450281
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Jul 20 10:11:16 2008 -0400
+++ b/src/elaborate.sml	Sun Jul 20 10:40:25 2008 -0400
@@ -963,7 +963,7 @@
                      ((L'.EModProj (n, ms, s), loc), t, [])
                  end)
 
-          | L.EApp (arg as ((L.EApp ((L.ECApp ((L.EVar (["Basis"], "join"), _), (L.CWild _, _)), _), xml1), _), xml2)) =>
+          (*| L.EApp (arg as ((L.EApp ((L.ECApp ((L.EVar (["Basis"], "join"), _), (L.CWild _, _)), _), xml1), _), xml2)) =>
             let
                 val (xml1', t1, gs1) = elabExp (env, denv) xml1
                 val (xml2', t2, gs2) = elabExp (env, denv) xml2
@@ -1067,7 +1067,7 @@
                        :: (loc, env, denv, use1, use2)
                        :: (loc, env, denv, bind1, bind2)
                        :: gs1 @ gs2 @ gs3 @ gs4 @ gs5 @ gs6 @ gs7 @ gs8)
-            end
+            end*)
 
           | L.EApp (e1, e2) =>
             let