summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Karn Kallio <kkallio@eka>2011-04-25 23:11:21 -0530
committerGravatar Karn Kallio <kkallio@eka>2011-04-25 23:11:21 -0530
commit07c4bf822d9d94ea15f4a6ae5a4a2e1edd52e05e (patch)
treed8c61d9f282963ea724bc195851266962e61d82f
parent7b05fd75727f19122aa3b7111d8fb189b2fc7b31 (diff)
Fix for projection of type class constructors in signatures.
-rw-r--r--src/elab_env.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml
index 6516f7aa..3217669c 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -1381,11 +1381,11 @@ fun projectCon env {sgn, str, field} =
else
NONE
| SgiClassAbs (x, _, k) => if x = field then
- SOME ((KArrow (k, (KType, #2 sgn)), #2 sgn), NONE)
+ SOME (k, NONE)
else
NONE
| SgiClass (x, _, k, c) => if x = field then
- SOME ((KArrow (k, (KType, #2 sgn)), #2 sgn), SOME c)
+ SOME (k, SOME c)
else
NONE
| _ => NONE) sgis of