# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1303792881 16200
# Node ID 03642b83b57b96e86c6e8592364565be43b71e3b
# Parent  aae3e3b6a408be7532b675f35a84d9df6d2cf72d
Fix for projection of type class constructors in signatures.

diff -r aae3e3b6a408 -r 03642b83b57b src/elab_env.sml
--- 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