Re: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2...
On 26 June 2015 at 19:07, Stéphane Glondu <steph@glondu.net> 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
> It has no method pop
>
> which looks wrong. With OCaml 4.01.0, there is no error.
>
> Does anyone understand what is going on?
I think this is a result of tighter checks against self-references
when compiling modules:
http://caml.inria.fr/mantis/view.php?id=6886
Reply to: