Mercurial > urweb

changeset 1454:96353138f016

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in projection of constructors from modules in class rules.
author Karn Kallio <kkallio@eka>
date Sun, 01 May 2011 00:26:08 -0430
parents 03642b83b57b
children 913d9c2f55c9
files src/elab_env.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/elab_env.sml	Tue Apr 26 00:11:21 2011 -0430
+++ b/src/elab_env.sml	Sun May 01 00:26:08 2011 -0430
@@ -1043,8 +1043,8 @@
     U.Con.map {kind = fn x => x,
                con = fn c =>
                         case c of
-                            CModProj (m1, ms, x) =>
-                            (case IM.find (strs, m1) of
+                            CModProj (m1', ms, x) =>
+                            (case IM.find (strs, m1') of
                                  NONE => c
                                | SOME m1x => CModProj (m1, ms' @ m1x :: ms, x))
                           | CNamed n =>