Mercurial > urweb

comparison src/cjr_print.sml @ 276:ed4af33681d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch base types to 64-bit versions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:59:27 -0400
parents 73456bfde988
children 286f734db702
comparison
equal deleted inserted replaced
275:73456bfde988 276:ed4af33681d8
155 string "(disc", 155 string "(disc",
156 string (Int.toString depth), 156 string (Int.toString depth),
157 space, 157 space,
158 string "!=", 158 string "!=",
159 space, 159 space,
160 Prim.p_t (Prim.Int n), 160 Prim.p_t_GCC (Prim.Int n),
161 string ")", 161 string ")",
162 space, 162 space,
163 exit], 163 exit],
164 env) 164 env)
165 | PPrim (Prim.String s) => 165 | PPrim (Prim.String s) =>
167 space, 167 space,
168 string "(strcmp(disc", 168 string "(strcmp(disc",
169 string (Int.toString depth), 169 string (Int.toString depth),
170 string ",", 170 string ",",
171 space, 171 space,
172 Prim.p_t (Prim.String s), 172 Prim.p_t_GCC (Prim.String s),
173 string "))", 173 string "))",
174 space, 174 space,
175 exit], 175 exit],
176 env) 176 env)
177 | PPrim _ => raise Fail "CjrPrint: Disallowed PPrim primitive" 177 | PPrim _ => raise Fail "CjrPrint: Disallowed PPrim primitive"
321 "lw_" ^ m ^ "_" ^ con, 321 "lw_" ^ m ^ "_" ^ con,
322 "lw_" ^ con) 322 "lw_" ^ con)
323 323
324 fun p_exp' par env (e, loc) = 324 fun p_exp' par env (e, loc) =
325 case e of 325 case e of
326 EPrim p => Prim.p_t p 326 EPrim p => Prim.p_t_GCC p
327 | ERel n => p_rel env n 327 | ERel n => p_rel env n
328 | ENamed n => p_enamed env n 328 | ENamed n => p_enamed env n
329 | ECon (Enum, pc, _) => p_patCon env pc 329 | ECon (Enum, pc, _) => p_patCon env pc
330 | ECon (Option, pc, NONE) => string "NULL" 330 | ECon (Option, pc, NONE) => string "NULL"
331 | ECon (Option, pc, SOME e) => 331 | ECon (Option, pc, SOME e) =>