Mercurial > urweb
changeset 1454:96353138f016
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 (2011-05-01) |
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 =>