Re: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2...

["Stéphane Glondu" <steph@glondu.net>]

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