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/core_print.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/core_print.sig') diff --git a/src/core_print.sig b/src/core_print.sig index 38a51aef..64a73a46 100644 --- a/src/core_print.sig +++ b/src/core_print.sig @@ -28,7 +28,7 @@ (* Pretty-printing Ur/Web internal language *) signature CORE_PRINT = sig - val p_kind : Core.kind Print.printer + val p_kind : CoreEnv.env -> Core.kind Print.printer val p_con : CoreEnv.env -> Core.con Print.printer val p_pat : CoreEnv.env -> Core.pat Print.printer val p_exp : CoreEnv.env -> Core.exp Print.printer -- cgit v1.2.3