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