diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -rw-r--r-- | src/boot/me/trans.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 757b9ef7..8053c0f9 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1031,6 +1031,9 @@ let trans_visitor | Ast.ATOM_lval lv -> trans_const_lval lv + | Ast.ATOM_pexp _ -> + unimpl None "constant-folding pexp atom" + and trans_const_expr (expr:Ast.expr) : (Ast.ty * const) = @@ -1404,6 +1407,8 @@ let trans_visitor Il.Cell (fst (deref_ty DEREF_none false cell ty)) | Ast.ATOM_literal lit -> trans_lit lit.node + | Ast.ATOM_pexp _ -> bug () "Trans.trans_atom on ATOM_pexp" + and fixup_to_ptr_operand (imm_ok:bool) @@ -3583,6 +3588,10 @@ let trans_visitor dst_cell dst_ty src_cell src_ty + | (_, Ast.EXPR_atom (Ast.ATOM_pexp _)) -> + bug () "Trans.trans_copy on ATOM_pexp" + + and trans_init_direct_fn (dst_cell:Il.cell) (flv:Ast.lval) |