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

construit supertypes pour constructeurs contravariants 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2000-09-07 05:13:09 +00:00
parent 3d234f9659
commit 4d30d52fb6
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
typing/ctype.ml
View File

@ -2075,7 +2075,7 @@ let match_class_declarations env patt_params patt_type subj_params subj_type =
let subtypes = ref []
let rec build_subtype env visited posi t =
if not posi then (t, false) else
(* if not posi then (t, false) else *)
let t = repr t in
match t.desc with
Tvar ->
@ -2089,7 +2089,8 @@ let rec build_subtype env visited posi t =
| Tarrow(l, t1, t2) ->
if List.memq t visited then (t, false) else
let visited = t :: visited in
let (t1', c1) = build_subtype env visited (not posi) t1 in
(* let (t1', c1) = build_subtype env visited (not posi) t1 in *)
let (t1', c1) = (t1, false) in
let (t2', c2) = build_subtype env visited posi t2 in
if c1 or c2 then (newty (Tarrow(l, t1', t2')), true)
else (t, false)