Skip to content

Commit

Permalink
hygiene
Browse files Browse the repository at this point in the history
  • Loading branch information
t6s committed Jul 29, 2021
1 parent 5ff5764 commit 2e872fa
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions typing/types.ml
Original file line number Diff line number Diff line change
Expand Up @@ -544,7 +544,8 @@ let rec repr_link (t : type_expr) d : type_expr -> type_expr =
function
{desc = Tlink t' as d'} ->
repr_link t d' t'
| {desc = Tfield (_, k, _, t') as d'} when field_kind_internal_repr k = FKabsent ->
| {desc = Tfield (_, k, _, t') as d'}
when field_kind_internal_repr k = FKabsent ->
repr_link t d' t'
| t' ->
log_change (Ccompress (t, t.desc, d));
Expand All @@ -554,7 +555,8 @@ let rec repr_link (t : type_expr) d : type_expr -> type_expr =
let repr_link1 t = function
{desc = Tlink t' as d'} ->
repr_link t d' t'
| {desc = Tfield (_, k, _, t') as d'} when field_kind_internal_repr k = FKabsent ->
| {desc = Tfield (_, k, _, t') as d'}
when field_kind_internal_repr k = FKabsent ->
repr_link t d' t'
| t' -> t'

Expand Down

0 comments on commit 2e872fa

Please sign in to comment.