Mercurial > urweb
comparison src/core_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 |
---|---|
304 string "--", | 304 string "--", |
305 space, | 305 space, |
306 p_con' true env c]) | 306 p_con' true env c]) |
307 | EFold _ => string "fold" | 307 | EFold _ => string "fold" |
308 | 308 |
309 | ECase (e, pes, _) => parenIf par (box [string "case", | 309 | ECase (e, pes, {disc, result}) => |
310 space, | 310 parenIf par (box [string "case", |
311 p_exp env e, | 311 space, |
312 space, | 312 p_exp env e, |
313 string "of", | 313 space, |
314 space, | 314 if !debug then |
315 p_list_sep (box [space, string "|", space]) | 315 box [string "in", |
316 (fn (p, e) => box [p_pat env p, | 316 space, |
317 space, | 317 p_con env disc, |
318 string "=>", | 318 space, |
319 space, | 319 string "return", |
320 p_exp (E.patBinds env p) e]) pes]) | 320 space, |
321 p_con env result, | |
322 space] | |
323 else | |
324 box [], | |
325 string "of", | |
326 space, | |
327 p_list_sep (box [space, string "|", space]) | |
328 (fn (p, e) => box [p_pat env p, | |
329 space, | |
330 string "=>", | |
331 space, | |
332 p_exp (E.patBinds env p) e]) pes]) | |
321 | 333 |
322 | EWrite e => box [string "write(", | 334 | EWrite e => box [string "write(", |
323 p_exp env e, | 335 p_exp env e, |
324 string ")"] | 336 string ")"] |
325 | 337 |