Mercurial > urweb
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