[Agda] Patch for compilation with GHC-7

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Fri Nov 5 12:42:00 CET 2010


On 2010-11-05 02:48, kahl at cas.mcmaster.ca wrote:
> Upon this, I discovered dist/build/Agda/Syntax/Parser/Parser.hs in my Agda
> build directory. Is this used anywhere?

This file is generated by Happy, the parser generator (written by Simon
Marlow). One can instruct Happy not to use unsafeCoerce, see
happy --help.

-- 
/NAD


More information about the Agda mailing list