diff options
| author | Jon French | 2018-04-19 11:43:44 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:54:54 +0100 |
| commit | 60789530d9ea6bb6a6cf8a30e8584e45afda31e8 (patch) | |
| tree | 27f060e9c09ea9605fea21e4382788ddad4e53d4 /src | |
| parent | 54cde60d7e67872bb98b07ad03acd536cd7626d0 (diff) | |
fix warnings
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 = |