diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-02-22 17:17:01 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-22 17:17:01 -0500 |
| commit | 1f7d0c20ae30c11cdc64a2c2fc90f15cdf02c34b (patch) | |
| tree | fff01431ea7434be021ffd12b86d70292496434c /src/corify.sml | |
| parent | d2b6c2e097770b5904c254c686adfad7c4ec7e0c (diff) | |
demo/hello compiles with kind polymorphism
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml index 802baf66..9ca6c915 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -444,10 +444,14 @@ fun corifyKind (k, loc) = | L.KUnit => (L'.KUnit, loc) | L.KTuple ks => (L'.KTuple (map corifyKind ks), loc) + | L.KRel n => (L'.KRel n, loc) + | L.KFun (x, k) => (L'.KFun (x, corifyKind k), loc) + fun corifyCon st (c, loc) = case c of L.TFun (t1, t2) => (L'.TFun (corifyCon st t1, corifyCon st t2), loc) | L.TCFun (x, k, t) => (L'.TCFun (x, corifyKind k, corifyCon st t), loc) + | L.TKFun (x, t) => (L'.TKFun (x, corifyCon st t), loc) | L.TRecord c => (L'.TRecord (corifyCon st c), loc) | L.CRel n => (L'.CRel n, loc) @@ -468,6 +472,9 @@ fun corifyCon st (c, loc) = | L.CApp (c1, c2) => (L'.CApp (corifyCon st c1, corifyCon st c2), loc) | L.CAbs (x, k, c) => (L'.CAbs (x, corifyKind k, corifyCon st c), loc) + | L.CKApp (c1, k) => (L'.CKApp (corifyCon st c1, corifyKind k), loc) + | L.CKAbs (x, c) => (L'.CKAbs (x, corifyCon st c), loc) + | L.CName s => (L'.CName s, loc) | L.CRecord (k, xcs) => @@ -581,6 +588,8 @@ fun corifyExp st (e, loc) = | L.EAbs (x, dom, ran, e1) => (L'.EAbs (x, corifyCon st dom, corifyCon st ran, corifyExp st e1), loc) | L.ECApp (e1, c) => (L'.ECApp (corifyExp st e1, corifyCon st c), loc) | L.ECAbs (x, k, e1) => (L'.ECAbs (x, corifyKind k, corifyExp st e1), loc) + | L.EKApp (e1, k) => (L'.EKApp (corifyExp st e1, corifyKind k), loc) + | L.EKAbs (x, e1) => (L'.EKAbs (x, corifyExp st e1), loc) | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc) |