From e9456cb231725d65a9cdd11dc3d4549fe7254e06 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Aug 2008 14:45:23 -0400 Subject: Explifying type classes --- src/elaborate.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/elaborate.sml') diff --git a/src/elaborate.sml b/src/elaborate.sml index e4369dd4..49498570 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -2235,6 +2235,7 @@ fun sgiOfDecl (d, loc) = | L'.DConstraint cs => [(L'.SgiConstraint cs, loc)] | L'.DExport _ => [] | L'.DTable (tn, x, n, c) => [(L'.SgiTable (tn, x, n, c), loc)] + | L'.DClass (x, n, c) => [(L'.SgiClass (x, n, c), loc)] fun sgiBindsD (env, denv) (sgi, _) = case sgi of @@ -2941,7 +2942,7 @@ fun elabDecl ((d, loc), (env, denv, gs)) = val env = E.pushClass env n in checkKind env c' ck k; - ([(L'.DCon (x, n, k, c'), loc)], (env, denv, [])) + ([(L'.DClass (x, n, c'), loc)], (env, denv, [])) end and elabStr (env, denv) (str, loc) = -- cgit v1.2.3