[Agda] Building Agda with newer haskeline

Nils Anders Danielsson nad at chalmers.se
Fri Aug 10 14:51:26 CEST 2012


On 2012-08-08 11:13, Dirk Ullrich wrote:
> it seems that Agda from Darcs can also be built using newer haskeline
> versions: I've tried 7.0.2 - using this haskeline version Agda can be
> built, at least, by GHC 7.2.2 and 7.4.2, and Agda's command line
> frontend seems to remain usable.

I've pushed a patch.

-- 
/NAD


More information about the Agda mailing list