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

1 files changed, 6 insertions, 4 deletions

diff --git a/src/boot/llvm/lltrans.ml b/src/boot/llvm/lltrans.ml
index 51a05c74..cf75e5c5 100644
--- a/src/boot/llvm/lltrans.ml
+++ b/src/boot/llvm/lltrans.ml
@@ -397,7 +397,8 @@ let trans_crate
     match ty with
         Ast.TY_port _
       | Ast.TY_chan _
-      | Ast.TY_task -> bug () "unimplemented ty in Lltrans.free_ty"
+      | Ast.TY_task ->
+          Common.unimpl None "ty %a in Lltrans.free_ty" Ast.sprintf_ty ty
       | _ -> trans_free llbuilder lltask ptr
   in
 
@@ -428,7 +429,8 @@ let trans_crate
       | Ast.TY_iso _
       | Ast.TY_fn _
       | Ast.TY_obj _ ->
-          bug () "unimplemented ty in Lltrans.iter_ty_parts_full"
+          Common.unimpl None
+            "ty %a in Lltrans.iter_ty_parts_full" Ast.sprintf_ty ty
 
       | _ -> ()
 
@@ -1006,8 +1008,8 @@ let trans_crate
                         | Ast.TY_mach (TY_u32) | Ast.TY_mach (TY_i8)
                         | Ast.TY_mach (TY_i16) | Ast.TY_mach (TY_i32) ->
                             trans_log_int a
-                        | _ -> Semant.bugi sem_cx head.id
-                            "unimplemented logging type"
+                        | _ -> Common.unimpl (Some head.id)
+                            "logging type"
                   end;
                   trans_tail ()