diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index cd44fd58..5c72983a 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -3675,7 +3675,6 @@ let check_type_union env variant typq (Tu_aux (tu, l)) = env |> Env.add_union_id v (typq, typ') |> Env.add_val_spec v (typq, typ') - | Tu_ty_anon_rec _ -> typ_error l "Unrewritten Tu_ty_anon_rec seen by typechecker" (* FIXME: This code is duplicated with general kind-checking code in environment, can they be merged? *) let mk_synonym typq typ = |