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

Bug#790062: FTBFS with OCaml 4.02.2

2015-06-26 Thread Stéphane Glondu
Package: src:monotone-viz Version: 1.0.2-3 Severity: important Dear Maintainer, Your package fails to build with OCaml 4.02.2: > [...] > ocamlopt -I /usr/lib/ocaml/lablgtk2 -I glib -c app.ml > File "app.ml", line 172, characters 5-27: > Error: This expression has type App.status >It has