Mercurial > urweb
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 |