From 07c4bf822d9d94ea15f4a6ae5a4a2e1edd52e05e Mon Sep 17 00:00:00 2001 From: Karn Kallio Date: Mon, 25 Apr 2011 23:11:21 -0530 Subject: Fix for projection of type class constructors in signatures. --- src/elab_env.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/elab_env.sml') 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 -- cgit v1.2.3