From 1f7d0c20ae30c11cdc64a2c2fc90f15cdf02c34b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Feb 2009 17:17:01 -0500 Subject: demo/hello compiles with kind polymorphism --- src/reduce_local.sml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/reduce_local.sml') 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 -- cgit v1.2.3