diff options
Diffstat (limited to 'src/boot/llvm/lltrans.ml')
| -rw-r--r-- | src/boot/llvm/lltrans.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/boot/llvm/lltrans.ml b/src/boot/llvm/lltrans.ml index ef1affc0..51a05c74 100644 --- a/src/boot/llvm/lltrans.ml +++ b/src/boot/llvm/lltrans.ml @@ -346,12 +346,13 @@ let trans_crate | Ast.TY_native _ -> word_ty + | Ast.TY_param _ -> + abi.Llabi.tydesc_ty + | Ast.TY_tag _ | Ast.TY_iso _ | Ast.TY_idx _ - | Ast.TY_obj _ | Ast.TY_type -> + | Ast.TY_obj _ | Ast.TY_type | Ast.TY_named _ -> Common.unimpl None "LLVM type translation for: %a" Ast.sprintf_ty ty - | Ast.TY_param _ | Ast.TY_named _ -> - bug () "unresolved type in lltrans" and trans_ty t = htab_search_or_add lltys t (fun _ -> trans_ty_full t) |