diff options
| author |  Karn Kallio <kkallio@eka> | 2011-04-30 23:26:08 -0530 |
|---|---|---|
| committer | Karn Kallio <kkallio@eka> | 2011-04-30 23:26:08 -0530 |
| commit | f3e6a222905d64872fe6b8f6b1af549ca0309769 (patch) | |
| tree | bd9761bfc79d76a236fcb8da8787033b6c61f03c /src | |
| parent | 6a1829f4b861089df5a42c6ccb30addaabd41ad1 (diff) | |
Fix bug in projection of constructors from modules in class rules.
Diffstat (limited to 'src')
| -rw-r--r-- | src/elab_env.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml index 3217669c..23f3df01 100644 --- a/src/elab_env.sml +++ b/src/elab_env.sml @@ -1043,8 +1043,8 @@ fun sgnS_con' (m1, ms', (sgns, strs, cons)) = 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 => |