[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Monotone-debian] Bug#790062: [Caml-list] Change in typing between OCaml
From: |
Jeremy Yallop |
Subject: |
[Monotone-debian] Bug#790062: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2... |
Date: |
Fri, 26 Jun 2015 19:18:11 -0000 |
On 26 June 2015 at 19:07, Stéphane Glondu <address@hidden> 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