0000151: Optional class arguments

Notes
(0000410) administrator (administrator) 2000-06-30 03:28	> Full_Name: Gerd Stolpmann > > this does not work (classical mode): > > class x ?(p = 1) () = > object method m = new x ~p:2 () end > > Error: "The expression "new x" has type ?p:int -> unit -> x but is used with > type > int -> unit -> 'a" > > This looks very strange, and I think it is a bug. This is again due to the the non-principality of the typing of optionals. That is, in 3.00 the type information for the constructor is not available inside the class, only after it has been defined. I admit this can be disturbing, since for "let rec" definitions special processing is done in order to provide such type information. I added such preprocessing for classes too, and your example now compiles correctly. Jacques

(0000411) administrator (administrator) 2000-06-30 03:29	Fixed by Jacques on 2000-06-30. (Added an approximation of the class constructor)

Relationships