Mercurial > urweb

diff src/elaborate.sml @ 839:b2413e4dd109

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List library additions; fix another substructure unification bug
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Jun 2009 14:09:30 -0400
parents 5154a047c6bc
children 74a1e3bdf430
line wrap: on
line diff
--- a/src/elaborate.sml	Tue Jun 02 19:28:25 2009 -0400
+++ b/src/elaborate.sml	Sat Jun 06 14:09:30 2009 -0400
@@ -2637,7 +2637,8 @@
                                                          val env = if n1 = n2 then
                                                                        env
                                                                    else
-                                                                       E.pushCNamedAs env x n1 k1 (SOME c1)
+                                                                       (cparts (n2, n1);
+                                                                        E.pushCNamedAs env x n1 k1 (SOME c1))
                                                      in
                                                          SOME env
                                                      end
@@ -2894,7 +2895,8 @@
                                                          val env = if n1 = n2 then
                                                                        env
                                                                    else
-                                                                       E.pushCNamedAs env x n1 k2 (SOME c1)
+                                                                       (cparts (n2, n1);
+                                                                        E.pushCNamedAs env x n1 k2 (SOME c1))
                                                      in
                                                          SOME env
                                                      end