Bug#790062: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2...

2015-06-28 Thread Stéphane Glondu
Le 28/06/2015 11:44, Jacques Garrigue a écrit : >> I think this is a result of tighter checks against self-references >> when compiling modules: >> >> http://caml.inria.fr/mantis/view.php?id=6886 > > Indeed, this seems to be the direct cause. > Note that the behavior of referring to oneself thro

Bug#790062: [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