Mercurial > urweb
comparison src/cjr_print.sml @ 283:c0e4ac23522d
'error' function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 10:02:27 -0400 |
parents | 0236d9412ad2 |
children | 4260ad920c36 |
comparison
equal
deleted
inserted
replaced
282:0236d9412ad2 | 283:c0e4ac23522d |
---|---|
453 newline, | 453 newline, |
454 string "})"] | 454 string "})"] |
455 end | 455 end |
456 | 456 |
457 | EFfi (m, x) => box [string "lw_", string m, string "_", string x] | 457 | EFfi (m, x) => box [string "lw_", string m, string "_", string x] |
458 | EError (e, t) => | |
459 box [string "({", | |
460 newline, | |
461 p_typ env t, | |
462 space, | |
463 string "tmp;", | |
464 newline, | |
465 string "lw_Basis_error(ctx, ", | |
466 p_exp env e, | |
467 string ");", | |
468 newline, | |
469 string "tmp;", | |
470 newline, | |
471 string "})"] | |
458 | EFfiApp (m, x, es) => box [string "lw_", | 472 | EFfiApp (m, x, es) => box [string "lw_", |
459 string m, | 473 string m, |
460 string "_", | 474 string "_", |
461 string x, | 475 string x, |
462 string "(ctx, ", | 476 string "(ctx, ", |