Hello, 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. Dirk