[Caml-list] type checking divergence for coercion

[zze-MARCHEGAY Michael stagiaire FTRD/DTL/LAN <michael.marchegay@rd.francetelecom.com>]

[-- Attachment #1.1: Type: text/plain, Size: 834 bytes --]

In the following exemple:

class x = object
  method bar (x0:a0) (x1:a1) (x2:a2) (x3:a3) (x4:a4) (x5:a5) (x6:a6) (x7:a7)
= 
    (x0, x1, x2, x3, x4, x5, x6, x7)
end        

and a0 = object inherit x end 
and a1 = object inherit x end 
and a2 = object inherit x end 
and a3 = object inherit x end 
and a4 = object inherit x end 
and a5 = object inherit x end
and a6 = object inherit x end
and a7 = object inherit x end

let _ = (new x :> x)

the computation time required to evaluate the type of the expression 
"let _ = (new x :> x)" diverges when paramters are added to the method bar.

Do you have any idea on the origin of this divergence?

--
Michaël Marchegay, Stagiaire France Telecom R&D du 11/02/2002 au 26/07/2002
Sous la responsabilité d'Olivier Dubuisson
DTL/TAL - 22307 Lannion Cedex - France

[-- Attachment #1.2: Type: text/html, Size: 1753 bytes --]