[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Conflicts in typed token constructors with identical types
From: |
Akim Demaille |
Subject: |
Re: Conflicts in typed token constructors with identical types |
Date: |
Tue, 11 Jun 2019 20:25:44 +0200 |
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!
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: Conflicts in typed token constructors with identical types,
Akim Demaille <=