Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove dead code 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2002-06-18 23:48:44 +00:00
parent 491d1da4a1
commit cf97530787
1 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
typing/ctype.ml
View File

@ -1872,12 +1872,6 @@ let rec moregen inst_nongen type_pairs env t1 t2 =
moregen_fields inst_nongen type_pairs env fi1 fi2
| (Tfield _, Tfield _) -> (* Actually unused *)
moregen_fields inst_nongen type_pairs env t1' t2'
| (Tfield (_, kind, _, t1''), _)
when field_kind_repr kind = Fabsent ->
moregen inst_nongen type_pairs env t1'' t2'
| (_, Tfield (_, kind, _, t2''))
when field_kind_repr kind = Fabsent ->
moregen inst_nongen type_pairs env t1' t2''
| (Tnil, Tnil) ->
()
| (Tpoly (t1, []), Tpoly (t2, [])) ->
@ -2058,12 +2052,6 @@ let rec eqtype rename type_pairs subst env t1 t2 =
eqtype_fields rename type_pairs subst env fi1 fi2
| (Tfield _, Tfield _) -> (* Actually unused *)
eqtype_fields rename type_pairs subst env t1' t2'
| (Tfield (_, kind, _, t1''), _)
when field_kind_repr kind = Fabsent ->
eqtype rename type_pairs subst env t1'' t2'
| (_, Tfield (_, kind, _, t2''))
when field_kind_repr kind = Fabsent ->
eqtype rename type_pairs subst env t1' t2''
| (Tnil, Tnil) ->
()
| (Tpoly (t1, []), Tpoly (t2, [])) ->