Mercurial > urweb

comparison src/cjr_print.sml @ 947:e2305dcc3965

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Print char patterns in C
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 09:25:03 -0400
parents be6585b4058b
children 166ea3944b91
comparison
equal deleted inserted replaced
946:2412cb10c97c 947:e2305dcc3965
188 string (Int.toString depth), 188 string (Int.toString depth),
189 string ",", 189 string ",",
190 space, 190 space,
191 Prim.p_t_GCC (Prim.String s), 191 Prim.p_t_GCC (Prim.String s),
192 string "))", 192 string "))",
193 space,
194 exit],
195 env)
196 | PPrim (Prim.Char ch) =>
197 (box [string "if",
198 space,
199 string "(disc",
200 string (Int.toString depth),
201 space,
202 string "!=",
203 space,
204 Prim.p_t_GCC (Prim.Char ch),
205 string ")",
193 space, 206 space,
194 exit], 207 exit],
195 env) 208 env)
196 | PPrim _ => raise Fail "CjrPrint: Disallowed PPrim primitive" 209 | PPrim _ => raise Fail "CjrPrint: Disallowed PPrim primitive"
197 210