summaryrefslogtreecommitdiff
path: root/src/explify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-16 14:32:18 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-16 14:32:18 -0400
commitb4f1361d2dff2e180e4656efa491b275707cdf02 (patch)
treedc76b47422a5d2bcdbd78d9b9ab35fe30b4991c8 /src/explify.sml
parentc8fa648dbc2489ca4a56abbb27d94819fb75b5ec (diff)
Initial type class support
Diffstat (limited to 'src/explify.sml')
-rw-r--r--src/explify.sml3
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