From 730ead608f04d4306a782cc5c3a895557de46274 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 17 Sep 2009 09:25:03 -0400
Subject: Print char patterns in C

---
 src/cjr_print.sml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/cjr_print.sml')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 538e53f2..9f337b5b 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -193,6 +193,19 @@ fun p_pat (env, exit, depth) (p, loc) =
               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) =>
-- 
cgit v1.2.3