[Agda] Building Agda with newer haskeline

[Nils Anders Danielsson]

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