Re: Conflicts in typed token constructors with identical types

[Akim Demaille]

Hi Frank,

> Le 23 mai 2019 à 03:16, Frank Heckenbach <address@hidden> a écrit :
> 
> I should mention that this is not an urgent problem to me. I just
> stumbled upon a situation as in the original example by accidentally
> putting a space too many (and after removing it, my code works
> again), but kept thinking about the ramifications.

Just acknowledging I saw your report.  I don't know what to do with it yet,
but seen it.  And good catch!

Thanks!