RFC: "Native -XCPP" Proposal
Andrés Sicard-Ramírez
asr at eafit.edu.co
Wed May 6 21:47:50 UTC 2015
Hi Janek,
On 6 May 2015 at 14:55, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
> Yes, and that's what gets me worried. I suppose the problem was somehow related to my locale
> settings although we were unable to track down the cause. I also recall someone else reported
> being affected by the same problem.
AFIK, the only cpphs-Agda open problem is your problem. I would like
to know if anyone else has some problem. If so, I propose to move the
discussion to the Agda developers list (agda-dev at lists.chalmers.se).
Best,
--
Andrés
More information about the ghc-devs
mailing list