comparison src/expl_print.sml @ 288:4260ad920c36

Converting string to int
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:33:13 -0400
parents 42dfb0d61cf0
children e976b187d73a
comparison
equal deleted inserted replaced
287:3ed7a7c7b060 288:4260ad920c36
314 314
315 | EWrite e => box [string "write(", 315 | EWrite e => box [string "write(",
316 p_exp env e, 316 p_exp env e,
317 string ")"] 317 string ")"]
318 318
319 | ECase (e, pes, _) => parenIf par (box [string "case", 319 | ECase (e, pes, {disc, result}) =>
320 space, 320 parenIf par (box [string "case",
321 p_exp env e, 321 space,
322 space, 322 p_exp env e,
323 string "of", 323 space,
324 space, 324 if !debug then
325 p_list_sep (box [space, string "|", space]) 325 box [string "in",
326 (fn (p, e) => box [p_pat env p, 326 space,
327 space, 327 p_con env disc,
328 string "=>", 328 space,
329 space, 329 string "return",
330 p_exp env e]) pes]) 330 space,
331 p_con env result,
332 space]
333 else
334 box [],
335 string "of",
336 space,
337 p_list_sep (box [space, string "|", space])
338 (fn (p, e) => box [p_pat env p,
339 space,
340 string "=>",
341 space,
342 p_exp env e]) pes])
331 343
332 and p_exp env = p_exp' false env 344 and p_exp env = p_exp' false env
333 345
334 fun p_named x n = 346 fun p_named x n =
335 if !debug then 347 if !debug then