From 3cb644caeed50e5c82778b5ed7c165950655109a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 May 2009 10:16:50 -0400
Subject: fn-pattern code in but not tested yet; hello compiles

---
 src/source_print.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index b4f9bfd3..a16b5bb1 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -207,6 +207,12 @@ fun p_pat' par (p, _) =
                  string "}"]
         end
 
+      | PAnnot (p, t) => box [p_pat p,
+                              space,
+                              string ":",
+                              space,
+                              p_con t]
+
 and p_pat x = p_pat' false x
 
 fun p_exp' par (e, _) =
-- 
cgit v1.2.3