diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-10-21 04:02:02 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-10-21 04:02:02 +0000 |
| commit | 304dba8a0fad4714e916b6947e6d572dd5f9dd88 (patch) | |
| tree | ffb2b80cdfccb511820727f4e53bd6fd8bdbd200 /toplevel | |
| parent | f46f78fd99b42a89d3690325a1325baedb68cfc6 (diff) | |
removed Type_variant, fixed bug in GADT exhaustive check
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/genprintval.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toplevel/genprintval.ml b/toplevel/genprintval.ml index e8b566e4e..43ec4089d 100644 --- a/toplevel/genprintval.ml +++ b/toplevel/genprintval.ml @@ -258,8 +258,6 @@ module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) = struct tree_of_val depth obj (try Ctype.apply env decl.type_params body ty_list with Ctype.Cannot_apply -> abstract_type) - | {type_kind = Type_variant constr_list} -> - process_variants (List.map (fun (a,b) -> (a,b,None)) constr_list) | {type_kind = Type_generalized_variant constr_list} -> process_variants constr_list | {type_kind = Type_record(lbl_list, rep)} -> |