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