[Agda] Agda and GHC 7.8

[Andrés Sicard-Ramírez]

On 26 September 2014 08:42, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:

> On 26 September 2014 07:16, Kyra <kyrab at mail.ru> wrote:
>
>> I remember some time ago the similar problem popped up in front of me.
>> I've tracked it down to Agda build process switching to 'cpphs'. Removing
>> 'cpphs' from 'build-tools' field and removing '-pgmPcpphs -optP--cpp'
>> option fixed the things for me that time.
>>
>> OTOH, later I didn't experienced problems even with 'cpphs' turned on.
>>
>> (I'm on Windows, though).
>>
>>
> There was an issue with cpphs on Windows which was fixed by Malcolm
> Wallace.


I forgot to mention that the issue was narrowed down by Nick Smallbone
(sorry Nick).

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140929/baf45e1a/attachment.html