summaryrefslogtreecommitdiff
path: root/src/source_print.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-07-25 14:04:59 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-07-25 14:04:59 -0400
commit7c37a6336fb1a56fee80e94f9e5188c3436102cd (patch)
tree65d3f936aeb2cb122bc23fcccb19aa571b296fc7 /src/source_print.sig
parent59fbe515a0462e98ab3cbb78a1f136f382ab927a (diff)
Allow type class instances with hypotheses via local ('let') definitions
Diffstat (limited to 'src/source_print.sig')
-rw-r--r--src/source_print.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/source_print.sig b/src/source_print.sig
index 042e6a23..f5b0df29 100644
--- a/src/source_print.sig
+++ b/src/source_print.sig
@@ -33,6 +33,7 @@ signature SOURCE_PRINT = sig
val p_con : Source.con Print.printer
val p_exp : Source.exp Print.printer
val p_decl : Source.decl Print.printer
+ val p_edecl : Source.edecl Print.printer
val p_sgn_item : Source.sgn_item Print.printer
val p_str : Source.str Print.printer
val p_file : Source.file Print.printer