From b4f1361d2dff2e180e4656efa491b275707cdf02 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Aug 2008 14:32:18 -0400 Subject: Initial type class support --- src/explify.sml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/explify.sml') diff --git a/src/explify.sml b/src/explify.sml index da338147..50a1851b 100644 --- a/src/explify.sml +++ b/src/explify.sml @@ -128,6 +128,9 @@ fun explifySgi (sgi, loc) = | L.SgiSgn (x, n, sgn) => SOME (L'.SgiSgn (x, n, explifySgn sgn), loc) | L.SgiConstraint _ => NONE | L.SgiTable _ => raise Fail "Explify SgiTable" + | L.SgiClassAbs (x, n) => SOME (L'.SgiConAbs (x, n, (L'.KArrow ((L'.KType, loc), (L'.KType, loc)), loc)), loc) + | L.SgiClass (x, n, c) => SOME (L'.SgiCon (x, n, (L'.KArrow ((L'.KType, loc), (L'.KType, loc)), loc), + explifyCon c), loc) and explifySgn (sgn, loc) = case sgn of -- cgit v1.2.3