Dear camlers,

I obtain an unexpected answer from the toplevel when I enter the following definition:

        OCaml version 4.03.0+dev7-2015-02-08

# class type ['a] c =
object
    method m : d
end
and d =
object
    inherit [int] c
end
;;
class type ['a] c = object constraint 'a = int method m : d end
and d = object method m : d end

What surprises me is the constraint 'a = int in the definition of c. Is this is a bug or feature?

Cheers,

Philippe.