diff options
Diffstat (limited to 'src/jib/jib_optimize.ml')
| -rw-r--r-- | src/jib/jib_optimize.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/jib/jib_optimize.ml b/src/jib/jib_optimize.ml index 331cf65e..0ec92b97 100644 --- a/src/jib/jib_optimize.ml +++ b/src/jib/jib_optimize.ml @@ -160,8 +160,6 @@ let rec cval_subst id subst = function | V_id (id', ctyp) -> if Name.compare id id' = 0 then subst else V_id (id', ctyp) | V_ref (reg_id, ctyp) -> V_ref (reg_id, ctyp) | V_lit (vl, ctyp) -> V_lit (vl, ctyp) - | V_op (cval1, op, cval2) -> V_op (cval_subst id subst cval1, op, cval_subst id subst cval2) - | V_unary (op, cval) -> V_unary (op, cval_subst id subst cval) | V_call (op, cvals) -> V_call (op, List.map (cval_subst id subst) cvals) | V_field (cval, field) -> V_field (cval_subst id subst cval, field) | V_tuple_member (cval, len, n) -> V_tuple_member (cval_subst id subst cval, len, n) @@ -169,22 +167,16 @@ let rec cval_subst id subst = function | V_ctor_unwrap (ctor, cval, unifiers, ctyp) -> V_ctor_unwrap (ctor, cval_subst id subst cval, unifiers, ctyp) | V_struct (fields, ctyp) -> V_struct (List.map (fun (field, cval) -> field, cval_subst id subst cval) fields, ctyp) | V_poly (cval, ctyp) -> V_poly (cval_subst id subst cval, ctyp) - | V_hd cval -> V_hd (cval_subst id subst cval) - | V_tl cval -> V_tl (cval_subst id subst cval) let rec cval_map_id f = function | V_id (id, ctyp) -> V_id (f id, ctyp) | V_ref (id, ctyp) -> V_ref (f id, ctyp) | V_lit (vl, ctyp) -> V_lit (vl, ctyp) | V_call (call, cvals) -> V_call (call, List.map (cval_map_id f) cvals) - | V_op (cval1, op, cval2) -> V_op (cval_map_id f cval1, op, cval_map_id f cval2) - | V_unary (op, cval) -> V_unary (op, cval_map_id f cval) | V_field (cval, field) -> V_field (cval_map_id f cval, field) | V_tuple_member (cval, len, n) -> V_tuple_member (cval_map_id f cval, len, n) | V_ctor_kind (cval, ctor, unifiers, ctyp) -> V_ctor_kind (cval_map_id f cval, ctor, unifiers, ctyp) | V_ctor_unwrap (ctor, cval, unifiers, ctyp) -> V_ctor_unwrap (ctor, cval_map_id f cval, unifiers, ctyp) - | V_hd cval -> V_hd (cval_map_id f cval) - | V_tl cval -> V_tl (cval_map_id f cval) | V_struct (fields, ctyp) -> V_struct (List.map (fun (field, cval) -> field, cval_map_id f cval) fields, ctyp) | V_poly (cval, ctyp) -> V_poly (cval_map_id f cval, ctyp) |