let eval_expr e =
match e.expr_type with
| Integer -> Asm_ir.Int (eval_expr_int e)
| Boolean -> Asm_ir.Bool (eval_expr_bool e)
| _ -> raise (Parse_error("internal error in eval_expr function (trying to compute a non-boolean-or-integer expression)", e.expr_pos))