]> Hi, I've come across a very strange error, and I'm not sure if it is a bug or a feature. The following code : type 'a p = R of 'a t | E of float and 'a t = { mutable p : 'a p; c : 'a } let f = let x = sqrt(2.0) in fun () -> { c = `A; p = E 0.0 } generates the error : The type of this expression, unit -> _[> `A ] t, contains type variables that cannot be generalized but if I change the x definition to "let x = 2.0 in" then it works. Another solution is to add a dummy parameter "let f ?(dummy=())" this works too. When I say that it works, I mean that the resulting type of f is val f : unit -> [> `A ] t I've seen that in the dev version of ocaml this error has been removed but the type of f is still "val f : unit -> _[> `A] t" which is not the thing that I want. Is that an expected behavior ? Marc