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/reduce_local.sml | |
| parent | d2b6c2e097770b5904c254c686adfad7c4ec7e0c (diff) | |
demo/hello compiles with kind polymorphism
Diffstat (limited to 'src/reduce_local.sml')
| -rw-r--r-- | src/reduce_local.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/reduce_local.sml b/src/reduce_local.sml index 25b1023a..8b963e1b 100644 --- a/src/reduce_local.sml +++ b/src/reduce_local.sml @@ -85,9 +85,11 @@ fun exp env (all as (e, loc)) = | EAbs (x, dom, ran, e) => (EAbs (x, dom, ran, exp (Unknown :: env) e), loc) | ECApp (e, c) => (ECApp (exp env e, c), loc) - | ECAbs (x, k, e) => (ECAbs (x, k, exp env e), loc) + | EKApp (e, k) => (EKApp (exp env e, k), loc) + | EKAbs (x, e) => (EKAbs (x, exp env e), loc) + | ERecord xcs => (ERecord (map (fn (x, e, t) => (x, exp env e, t)) xcs), loc) | EField (e, c, others) => let |