Re-classify some err / bug cases as unimpl. Ideally rustboot should never produce a backtrace.

4 files changed, 7 insertions, 6 deletions

diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml
index 3aaa1f2f..d3fb81de 100644
--- a/src/boot/me/dwarf.ml
+++ b/src/boot/me/dwarf.ml
@@ -2082,7 +2082,7 @@ let dwarf_visitor
           | Ast.TY_mutable t -> mutable_type t
           | Ast.TY_box t -> box_type t
           | _ ->
-              bug () "unimplemented dwarf encoding for type %a"
+              unimpl None "dwarf encoding for type %a"
                 Ast.sprintf_ty ty
   in
 
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 =
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index e4eb98a2..45651ab0 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -470,7 +470,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
             sprintf_ltype lty
       | Some _, (LTYPE_poly _) ->
           (* FIXME: auto-instantiate *)
-          Common.err
+          Common.unimpl
             None
             "sorry, automatic polymorphic instantiation isn't supported yet; \
               please supply type parameters explicitly"
diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml
index fac44170..acdb9371 100644
--- a/src/boot/me/walk.ml
+++ b/src/boot/me/walk.ml
@@ -523,7 +523,7 @@ and walk_stmt
       | Ast.STMT_note _
       | Ast.STMT_alt_type _
       | Ast.STMT_alt_port _ ->
-          bug () "unimplemented statement type in Walk.walk_stmt"
+          unimpl (Some s.id) "statement type in Walk.walk_stmt"
   in
     walk_bracketed
       v.visit_stmt_pre