On Thu, Nov 20, 2008 at 06:43:49PM +0000, Duncan Coutts wrote:
On Thu, 2008-11-20 at 15:16 +0000, Ian Lynagh wrote:
On Thu, Nov 20, 2008 at 01:52:12PM +0000, Duncan Coutts wrote:
My selfish suggestion is that we maintain the readline configuration and let the people who originally wanted editline support do the work to maintain that configuration.
Those people are GHC HQ: readline is GPL (not LGPL), so if GHC wants to be BSD then it can't use it.
It's not quite that simple. GHC HQ does not ship readline, it's just shipping BSD code. If I link ghc against readline then the result must be distributed in compliance with the GPL, but that's ok, all linux distros do that. When GHC HQ ship binaries they can configure it to use editline.
OK, so I should have said "... it can't use it exclusively". But it's still GHC HQ that needs editline support (or a switch to haskeline, or splitting ghci off, or some other solution. But just reverting to readline-only won't work). Thanks Ian