# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253193903 14400
# Node ID e2305dcc3965ac5341ec56c5dd1bb2cc77cbc798
# Parent  2412cb10c97cf471109f903f4239225e40932cac
Print char patterns in C

diff -r 2412cb10c97c -r e2305dcc3965 src/cjr_print.sml
--- a/src/cjr_print.sml	Tue Sep 15 16:27:24 2009 -0400
+++ b/src/cjr_print.sml	Thu Sep 17 09:25:03 2009 -0400
@@ -193,6 +193,19 @@
               space,
               exit],
          env)
+      | PPrim (Prim.Char ch) =>
+        (box [string "if",
+              space,
+              string "(disc",
+              string (Int.toString depth),
+              space,
+              string "!=",
+              space,
+              Prim.p_t_GCC (Prim.Char ch),
+              string ")",
+              space,
+              exit],
+         env)
       | PPrim _ => raise Fail "CjrPrint: Disallowed PPrim primitive"
 
       | PCon (dk, pc, po) =>