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, ",