Re: Integrating editline with ghc

2008-01-17 Thread Christian Maeder
Judah Jacobson wrote: - System.Console.Editline.Readline contains the readline APIs provided by the editline library (mostly a cut/paste of System.Console.Readline). I would like to see a restructuring of the old readline package: 1. a _new_ readline package that only contains the interface

Re: Integrating editline with ghc

2008-01-17 Thread Isaac Dupree
Yitzchak Gale wrote: Christian Maeder wrote: The extended packages 2 could go under extra libs or hackageDB, while 1 remains a boot package for ghc that can link to editline on macs and readline under linux, but has the same interface and package name! I would hope that ghc will link to

Re: Integrating editline with ghc

2008-01-17 Thread Yitzchak Gale
Christian Maeder wrote: The extended packages 2 could go under extra libs or hackageDB, while 1 remains a boot package for ghc that can link to editline on macs and readline under linux, but has the same interface and package name! I would hope that ghc will link to editline-ext on all

Re: Integrating editline with ghc

2008-01-17 Thread Christian Maeder
Yitzchak Gale wrote: Christian Maeder wrote: The extended packages 2 could go under extra libs or hackageDB, while 1 remains a boot package for ghc that can link to editline on macs and readline under linux, but has the same interface and package name! I would hope that ghc will link to

Re: Re[4]: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Yitzchak Gale
Bulat Ziganshin wrote: for me, GMP is much more problematic issue. strictly speaking, we can't say that GHC is BSD-licensed because it includes LGPL-licensed code (and that much worse, it includes this code in run-time libs) Manuel M T Chakravarty wrote: ..binary distributions of GHC that

Re: Integrating editline with ghc

2008-01-17 Thread Yitzchak Gale
Isaac Dupree wrote: GHC is in no legal trouble whatsoever... only if proprietary Haskell code uses the readline library and doesn't switch to using the editline backend. Agreed. I didn't mean that GHC itself was ever in any legal trouble. But as a compiler, it must be possible for users to

gmp

2008-01-17 Thread Christian Maeder
I understand that gmp is needed for the certain libraries like the Prelude with Double and Integer. But I do not understand why gmp is so deeply buried in the rts. Are the basic types Int and Pointer not enough to write a compiler like ghc? Cheers Christian

Re: gmp

2008-01-17 Thread Yitzchak Gale
Don Stewart wrote: However, its buried in the rts/distributed with the runtime, so that users may optionally use that version, rather than finding and installing their own external gmp package. On almost all platforms though, the distributed-with-ghc gmp is unused. But doesn't that mean that

Re: gmp

2008-01-17 Thread Don Stewart
Christian.Maeder: I understand that gmp is needed for the certain libraries like the Prelude with Double and Integer. But I do not understand why gmp is so deeply buried in the rts. Are the basic types Int and Pointer not enough to write a compiler like ghc? Integer is a good type :)

Re: Integrating editline with ghc

2008-01-17 Thread Alex Young
Yitzchak Gale wrote: Isaac Dupree wrote: GHC is in no legal trouble whatsoever... only if proprietary Haskell code uses the readline library and doesn't switch to using the editline backend. Agreed. I didn't mean that GHC itself was ever in any legal trouble. But as a compiler, it must be

Re: gmp

2008-01-17 Thread Don Stewart
phercek: Christian Maeder wrote: I understand that gmp is needed for the certain libraries like the Prelude with Double and Integer. Why is GMP needed for Double? Based on the online report Double is double precision floating; it does not need to represent arbitrary big numbers. I

Re: gmp

2008-01-17 Thread Don Stewart
gale: Don Stewart wrote: However, its buried in the rts/distributed with the runtime, so that users may optionally use that version, rather than finding and installing their own external gmp package. On almost all platforms though, the distributed-with-ghc gmp is unused. But doesn't

Re: gmp

2008-01-17 Thread Yitzchak Gale
Don Stewart wrote: on any system where an external libgmp is available, it will be dynamically linked into the generated haskell programs, and in-tree gmp isn't used at all (or compiled, or installed) So on linux and *bsd, that should be fine. On Mac OS X (as a special case of *bsd), we have

Re[6]: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Bulat Ziganshin
Hello Manuel, Thursday, January 17, 2008, 7:49:00 AM, you wrote: for me, GMP is much more problematic issue. strictly speaking, we can't say that GHC is BSD-licensed because it includes LGPL-licensed code (and that much worse, it includes this code in run-time libs) use of GMP in the code

Re: Integrating editline with ghc

2008-01-17 Thread Yitzchak Gale
Christian Maeder wrote: ghc will link to libedit if it is available on your platform, but the Haskell package will still have the name readline and give ghc all the functionality it needs (without licence problems). Only the current readline Haskell package needs libreadline and supplies more

Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Isaac Dupree
Yitzchak Gale wrote: Bulat Ziganshin wrote: for me, GMP is much more problematic issue. strictly speaking, we can't say that GHC is BSD-licensed because it includes LGPL-licensed code (and that much worse, it includes this code in run-time libs) Manuel M T Chakravarty wrote: ..binary

Re: Integrating editline with ghc

2008-01-17 Thread Judah Jacobson
On Jan 17, 2008 6:00 AM, Christian Maeder [EMAIL PROTECTED] wrote: Yitzchak Gale wrote: Christian Maeder wrote: The extended packages 2 could go under extra libs or hackageDB, while 1 remains a boot package for ghc that can link to editline on macs and readline under linux, but has

Re: Integrating editline with ghc

2008-01-17 Thread Felix Martini
On Jan 17, 2008 2:08 PM, Yitzchak Gale wrote: I would hope that ghc will link to editline-ext on all platforms. Unfortunately it seems that editline cannot currently be build on Windows. I have tried to build the editline source from http://www.thrysoee.dk/editline/ with MinGW/msys. Pdcurses

Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Yitzchak Gale
Isaac Dupree wrote: It's also possible to just distribute, for example, the .o file(s) and a way to link them with a GMP to get the final result; this doesn't even reveal your source-code any more than your program being dynamically linked, at least if you do it right -- right? It doesn't

Re: gmp

2008-01-17 Thread Peter Hercek
Christian Maeder wrote: I understand that gmp is needed for the certain libraries like the Prelude with Double and Integer. Why is GMP needed for Double? Based on the online report Double is double precision floating; it does not need to represent arbitrary big numbers. I thought it is there

Re[2]: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Bulat Ziganshin
Hello Isaac, Thursday, January 17, 2008, 8:05:56 PM, you wrote: (b) is a sufficient condition, but not necessary; there are other ways to satisfy the license. It's also possible to just distribute, for example, the .o file(s) and a way to link them with a GMP to get the final result; this

Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Thorkil Naur
Hello, On Thursday 17 January 2008 05:24, Manuel M T Chakravarty wrote: Thorkil Naur: Hello, On Tuesday 08 January 2008 15:07, Christian Maeder wrote: Hi, I've succeeded in building a binary distribution that uses static libraries for gmp and readline. libreadline.a, libncurses.a

Re: gmp

2008-01-17 Thread Neil Mitchell
Hi What is the situation on Windows? Does the standard GHC binary on Windows have dynamically linked gmp for binaries produced by ghc? No, they are statically linked. (Please, can no one start discussing licensing, people already know there are issues with it, and I get plenty of traffic

Re: gmp

2008-01-17 Thread Thorkil Naur
Hello, On Thursday 17 January 2008 17:57, Christian Maeder wrote: I understand that gmp is needed for the certain libraries like the Prelude with Double and Integer. But I do not understand why gmp is so deeply buried in the rts. Are the basic types Int and Pointer not enough to write a

Re: Re[4]: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Manuel M T Chakravarty
Yitzchak Gale: Bulat Ziganshin wrote: for me, GMP is much more problematic issue. strictly speaking, we can't say that GHC is BSD-licensed because it includes LGPL-licensed code (and that much worse, it includes this code in run-time libs) Manuel M T Chakravarty wrote: ..binary distributions

Re: Integrating editline with ghc

2008-01-17 Thread Manuel M T Chakravarty
Alex Young: Yitzchak Gale wrote: Isaac Dupree wrote: GHC is in no legal trouble whatsoever... only if proprietary Haskell code uses the readline library and doesn't switch to using the editline backend. Agreed. I didn't mean that GHC itself was ever in any legal trouble. But as a compiler,

Re: Integrating editline with ghc

2008-01-17 Thread Manuel M T Chakravarty
Christian Maeder: Judah Jacobson wrote: - System.Console.Editline.Readline contains the readline APIs provided by the editline library (mostly a cut/paste of System.Console.Readline). I would like to see a restructuring of the old readline package: 1. a _new_ readline package that only

Re: gmp

2008-01-17 Thread Manuel M T Chakravarty
Yitzchak Gale: OK for the time being, but it would be really, really good to be able to compile ghc without gmp. Well, just go ahead and write an alternative portable high- performance implementation of Integer. This idea of a Mac OS X binary with statically-linked gmp is nice, it is