[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Monotone-debian] Bug#790062: [Caml-list] Change in typing between OCaml
From: |
Stéphane Glondu |
Subject: |
[Monotone-debian] Bug#790062: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2... |
Date: |
Sun, 28 Jun 2015 17:15:19 -0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 |
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 through an external
> name was never properly defined (most often it would already fail
> and even when succeeding it was referring to another definition).
> The correct way to do this is either to duplicate the definition of
> status in both app and query (removing the cyclic dependency),
> or to define it in another file, which can be correctly referred to by both.
I did the latter in a patch that fixes the compilation of monotone-viz:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790062#22
> Yet, we should probably try to improve the error message,
> which is indeed confusing. Not so easy, because this kind of
> self-reference can be detected at very unexpected timings.
> Can you add a comment to the above bug report?
Done.
Cheers,
--
Stéphane