diff options
Diffstat (limited to 'src/boot/llvm')
| -rw-r--r-- | src/boot/llvm/lltrans.ml | 10 |
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 () |