diff options
| author |  Karn Kallio <kkallio@eka> | 2011-04-25 23:11:21 -0530 |
|---|---|---|
| committer | Karn Kallio <kkallio@eka> | 2011-04-25 23:11:21 -0530 |
| commit | 6a1829f4b861089df5a42c6ccb30addaabd41ad1 (patch) | |
| tree | d8c61d9f282963ea724bc195851266962e61d82f /src/elab_env.sml | |
| parent | f8a356cc5f7198fff1d06e1593d6b3a86b1aa88b (diff) | |
Fix for projection of type class constructors in signatures.
Diffstat (limited to 'src/elab_env.sml')
| -rw-r--r-- | src/elab_env.sml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |