diff options
author | 2009-09-17 09:25:03 -0400 | |
---|---|---|
committer | 2009-09-17 09:25:03 -0400 | |
commit | 730ead608f04d4306a782cc5c3a895557de46274 (patch) | |
tree | d1dfd2941652183729757ea8648d7e598a5ae3b2 | |
parent | 24f99305fcda201f67c8de846bb2d683011099b7 (diff) |
Print char patterns in C
-rw-r--r-- | src/cjr_print.sml | 13 |
1 files changed, 13 insertions, 0 deletions
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) => |