diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-16 14:32:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 14:32:18 -0400 |
| commit | b4f1361d2dff2e180e4656efa491b275707cdf02 (patch) | |
| tree | dc76b47422a5d2bcdbd78d9b9ab35fe30b4991c8 /src/explify.sml | |
| parent | c8fa648dbc2489ca4a56abbb27d94819fb75b5ec (diff) | |
Initial type class support
Diffstat (limited to 'src/explify.sml')
| -rw-r--r-- | src/explify.sml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |