summaryrefslogtreecommitdiff
path: root/src/core_print.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-22 17:17:01 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-22 17:17:01 -0500
commit1f7d0c20ae30c11cdc64a2c2fc90f15cdf02c34b (patch)
treefff01431ea7434be021ffd12b86d70292496434c /src/core_print.sig
parentd2b6c2e097770b5904c254c686adfad7c4ec7e0c (diff)
demo/hello compiles with kind polymorphism
Diffstat (limited to 'src/core_print.sig')
-rw-r--r--src/core_print.sig2
1 files changed, 1 insertions, 1 deletions
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