ANNOUNCE: GHC version 6.10.1 - EditLine / terminal
igloo at earth.li
Thu Nov 20 20:26:25 EST 2008
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
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).
More information about the Glasgow-haskell-users