diff options
| author | Graydon Hoare <[email protected]> | 2010-07-22 15:25:29 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-22 15:25:29 -0700 |
| commit | 1cb4a57b7b2fda8db6a225207c9b9c090ba565d1 (patch) | |
| tree | d7219c8333973406ea5f2cb9d9fd848d189bede1 /src/boot/me/trans.ml | |
| parent | Beat up on the preempt test a bit more, as it keeps hanging under valgrind. (diff) | |
| download | rust-1cb4a57b7b2fda8db6a225207c9b9c090ba565d1.tar.xz rust-1cb4a57b7b2fda8db6a225207c9b9c090ba565d1.zip | |
Re-classify some err / bug cases as unimpl. Ideally rustboot should never produce a backtrace.
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 6ec88f99..4902c300 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2476,7 +2476,7 @@ let trans_visitor end else begin - bug () "Unsupported form of seq iter: src != dst." + unimpl None "seq iter with src != dst." end @@ -4390,7 +4390,7 @@ let trans_visitor | Ast.TY_mach (TY_i8) | Ast.TY_mach (TY_i16) | Ast.TY_mach (TY_i32) -> trans_log_int a - | _ -> bugi cx id "unimplemented logging type" + | _ -> unimpl (Some id) "logging type" and trans_stmt_full (stmt:Ast.stmt) : unit = @@ -5043,7 +5043,8 @@ let trans_visitor Ast.MOD_ITEM_fn f -> trans_required_fn i.id f.Ast.fn_body.id | Ast.MOD_ITEM_mod _ -> () | Ast.MOD_ITEM_type _ -> () - | _ -> bugi cx i.id "unsupported type of require: %s" (path_name()) + | _ -> unimpl (Some i.id) + "unsupported type of require: %s" (path_name()) in let visit_obj_drop_pre obj b = |