diff options
Diffstat (limited to 'src/boot/llvm/lltrans.ml')
| -rw-r--r-- | src/boot/llvm/lltrans.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/llvm/lltrans.ml b/src/boot/llvm/lltrans.ml index d83ae2d0..c116cf05 100644 --- a/src/boot/llvm/lltrans.ml +++ b/src/boot/llvm/lltrans.ml @@ -817,6 +817,8 @@ let trans_crate | Ast.ATOM_lval lval -> Llvm.build_load (fst (trans_lval lval)) (anon_llid "tmp") llbuilder + | Ast.ATOM_pexp _ -> + bug () "Lltrans.trans_atom on ATOM_pexp" in let build_binop (op:Ast.binop) (lllhs:Llvm.llvalue) (llrhs:Llvm.llvalue) |