[Agda] Patch for compilation with GHC-7

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Nov 6 22:32:33 CET 2010


On 2010-11-06 18:59, kahl at cas.mcmaster.ca wrote:
> Are you aware of any other suspicious corners of Agda?
> (unsafeCoerce or FFI)

Agda doesn't use unsafeCoerce or the FFI directly. I think syb uses
unsafeCoerce.

> Of course it links with haskeline, but I don't think this could
> possibly be an issue in non-interactive agda runs.

Haskeline is only used by the deprecated interactive mode. It should not
take long for you to remove that dependency.

-- 
/NAD


More information about the Agda mailing list