Mercurial > urweb

changeset 1453:03642b83b57b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix for projection of type class constructors in signatures.
author Karn Kallio <kkallio@eka>
date Tue, 26 Apr 2011 00:11:21 -0430
parents aae3e3b6a408
children 96353138f016
files src/elab_env.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
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