Re: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2...

2015-06-26 Thread Jeremy Yallop
On 26 June 2015 at 19:07, Stéphane Glondu wrote: > $ cat query.mli > val make : #App.t -> unit > $ cat app.ml [...] > Query.make self; [...] > With OCaml 4.02.2, I get the following error message: > > File "app.ml", line 15, characters 6-12: > Error: This expression has type App.status

Change in typing between OCaml 4.01.0 and 4.02.2...

2015-06-26 Thread Stéphane Glondu
Hello, I am debugging why monotone-viz doesn't compile with OCaml 4.02.2. I have reduced the problem to the following: $ cat query.mli val make : #App.t -> unit $ cat app.mli class type status = object method pop : unit -> unit end class type t = object method query : status -> uni