[Caml-list] Re: Numbered modules in error messages

[Dawid Toton <d0@wp.pl>]

On 06/06/2012 06:23 PM, Jacques Garrigue wrote:
> On 2012/06/06, at 19:04, Dawid Toton wrote:
>
>>
>> I'm asking this, because from time to time I deal with error messages like "type abc is not compatible with abc" with both abc being exactly the same strings. I'm wondering whether it is possible to force the compiler to say something more, to explain the difference between these types.
>
> The output of numbers is triggered when the same identifier appears
> twice for different entities.
> So you should never have just "abc is not compatible with abc", as
> the internal unique identifiers should be printed also.
>
> Jacques Garrigue

I have checked that indeed I get these messages without the unique stamps mostly on the computer where the installed compiler is old.
Still it seems that identifiers are not always made unique, e.g. I just got the following message with 3.12.1:

Error: In this `with' constraint, the new definition of decor
        does not match its original definition in the constrained signature:
        Type declarations do not match:
          type decor = Decor.t
        is not included in
          type decor = Decor.t

In this particular case the stamps would be not useful anyway.
But in general it would be nice if the Ident.stamp values could be translated to some corresponding locations in the source code.
For example Typecore.enter_variable could feed the available loc to Ident.create?

Dawid Toton