diff src/elab_env.sml @ 1453:03642b83b57b

Fix for projection of type class constructors in signatures.
author Karn Kallio <kkallio@eka>
date Tue, 26 Apr 2011 00:11:21 -0430
parents fdf48f6ba418
children 96353138f016
line wrap: on
line diff
--- a/src/elab_env.sml	Mon Apr 18 01:21:48 2011 -0430
+++ b/src/elab_env.sml	Tue Apr 26 00:11:21 2011 -0430
@@ -1381,11 +1381,11 @@
                           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