[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