Mercurial > urweb
diff src/core_print.sig @ 144:f0d3402184d1
Simple forms work
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 22 Jul 2008 15:12:20 -0400 |
parents | bc7b76ca57e0 |
children | 8a70e2919e86 |
line wrap: on
line diff
--- a/src/core_print.sig Sun Jul 20 13:30:19 2008 -0400 +++ b/src/core_print.sig Tue Jul 22 15:12:20 2008 -0400 @@ -33,6 +33,7 @@ val p_exp : CoreEnv.env -> Core.exp Print.printer val p_decl : CoreEnv.env -> Core.decl Print.printer val p_file : CoreEnv.env -> Core.file Print.printer + val p_export_kind : Core.export_kind Print.printer val debug : bool ref end