Re: GHC 6.8.3's source is unusable?

2008-09-24 Thread Jules Bean
Magicloud wrote: I see So 6.8.3 is not portable So in my company-customed-linux box, ghc is nothing to me? Any way I can use it? Yes install 6.4.2, as the last poster suggested, and then use 6.4.2 to build 6.8.3. Alternatively, and probably more simply, get a binary dist.

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Christian Maeder
Judah Jacobson wrote: On Tue, Sep 23, 2008 at 6:38 AM, Christian Maeder [EMAIL PROTECTED] wrote: But finally installation succeeded (editline is missing and the arrow keys don't work). This means that the editline package could not be built for some reason. Is this on your OS X machine?

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Christian Maeder
Hi Judah, libedit is simply missing. but ghci used to work with readline! Do I need to install i.e. http://www.thrysoee.dk/editline/libedit-20080712-2.11.tar.gz as a static library in order to create code depending on libedit that can be run on machines without libedit? (This reminds me to the

Re: GADTs and functional dependencies

2008-09-24 Thread Wolfgang Jeltsch
Am Dienstag, 23. September 2008 19:07 schrieben Sie: {-# LANGUAGE GADTs, MultiParamTypeClasses, FunctionalDependencies #-} data GADT a where GADT :: GADT () class Class a b | a - b instance Class () () fun :: (Class a b) = GADT a - b fun GADT = () I’d expect this to

6.10-candidate tested

2008-09-24 Thread Serge D. Mechveliani
Dear GHC developers, I have tested ghc-6.10.0.20080921 on * making it by ghc-6.8.2, * making it by itself, * the DoCon and Dumatel applications. It looks all right. Regards, - Serge Mechveliani [EMAIL PROTECTED] ___

Re: 6.10-candidate tested

2008-09-24 Thread Serge D. Mechveliani
This was on Linux, Debian. I have tested ghc-6.10.0.20080921 on * making it by ghc-6.8.2, * making it by itself, * the DoCon and Dumatel applications. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Re: GADTs and functional dependencies

2008-09-24 Thread Ian Lynagh
On Wed, Sep 24, 2008 at 12:55:29PM +0200, Wolfgang Jeltsch wrote: I thought, someone said that with the new typing machinery in GHC 6.10, more functional dependency programs are accepted because functional dependencies are handled similarly to type families (or something like that). Is

Re: GADTs and functional dependencies

2008-09-24 Thread Wolfgang Jeltsch
Am Mittwoch, 24. September 2008 15:11 schrieb Ian Lynagh: On Wed, Sep 24, 2008 at 12:55:29PM +0200, Wolfgang Jeltsch wrote: I thought, someone said that with the new typing machinery in GHC 6.10, more functional dependency programs are accepted because functional dependencies are handled

RE: GADTs and functional dependencies

2008-09-24 Thread Simon Peyton-Jones
Wolfgang writes | data GADT a where | | GADT :: GADT () | | class Class a b | a - b | | instance Class () () | | fun :: (Class a b) = GADT a - b | fun GADT = () You're right that this program should typecheck. In the case branch we discover (locally) that a~(), and hence by the

Re: 6.10-candidate tested

2008-09-24 Thread Serge D. Mechveliani
On Wed, Sep 24, 2008 at 05:32:51PM +0200, Christian Maeder wrote: Do you have libedit on your linux machine (because I haven't)? I do not know what is libedit and where to find it. In order to check this: Does ghc-pkg list the editline package? (And do your arrow keys and backspace work

Re: GADTs and functional dependencies

2008-09-24 Thread Wolfgang Jeltsch
Hello Simon, thank you for your extensive answer! I think, I’ll try to work around the fundep deficiencies and if that doesn’t work, switch to type families. But your answer raised further questions/comments: class (F a ~ b) = C a b type family F a (Note for 6.10 users:

Re: 6.10-candidate tested

2008-09-24 Thread Christian Maeder
Serge D. Mechveliani wrote: On Wed, Sep 24, 2008 at 05:32:51PM +0200, Christian Maeder wrote: Do you have libedit on your linux machine (because I haven't)? I do not know what is libedit and where to find it. It's the library needed for editline

Re: 6.10-candidate tested

2008-09-24 Thread Roman Cheplyaka
* Christian Maeder [EMAIL PROTECTED] [2008-09-24 19:18:28+0200] Serge D. Mechveliani wrote: On Wed, Sep 24, 2008 at 05:32:51PM +0200, Christian Maeder wrote: Do you have libedit on your linux machine (because I haven't)? I do not know what is libedit and where to find it. It's the

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Judah Jacobson
On Wed, Sep 24, 2008 at 3:09 AM, Christian Maeder [EMAIL PROTECTED] wrote: Hi Judah, libedit is simply missing. but ghci used to work with readline! Do I need to install i.e. http://www.thrysoee.dk/editline/libedit-20080712-2.11.tar.gz as a static library in order to create code depending on

Re: 6.10-candidate tested

2008-09-24 Thread Ian Lynagh
Hi Roman, On Wed, Sep 24, 2008 at 08:35:50PM +0300, Roman Cheplyaka wrote: libedit on Debian is very out-dated[1]. Haskell bindings (editline) doesn't compile against it (at least I could not compile it). 1. http://packages.qa.debian.org/e/editline.html That's the wrong package; you

Re: GADTs and functional dependencies

2008-09-24 Thread Claus Reinke
This has never worked with fundeps, because it involves a *local* type equality (one that holds in some places and not others) and my implementation of fundeps is fundamentally based on *global* equality. Prior to GADTs that was fine! Actually, how does that relate to reasoning under

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Brandon S. Allbery KF8NH
On Sep 22, 2008, at 13:43 , Christian Maeder wrote: Matthias Kilian wrote: 2. /bin/sh: test: argument expected gmake[1]: *** [binary-dist] Error 1 -e does not work for test under sh, so I changed it to -r: ... if [ -r $$FILE ]; then ... I doubt `-e' doesn't work on Solaris, because `-e' is

Re: editline vs haskeline (was: 6.10-candidate tested)

2008-09-24 Thread Judah Jacobson
On Wed, Sep 24, 2008 at 10:56 AM, Claus Reinke [EMAIL PROTECTED] wrote: The advantage is ghci works without editline and readline. The disadvantage is if you want arrow keys and backspace to work, you should have installed http://www.thrysoee.dk/editline/ first. libedit on Debian is very

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Ian Lynagh
On Tue, Sep 23, 2008 at 05:02:23AM +, Wei Hu wrote: I forgot to mention that I was running the binary package -- didn't bother to build ghc from source. Because the binary package relies on libedit.so.0 and Debian only comes with libedit2, I created a symbolic link for libedit.so.0

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Ian Lynagh
On Tue, Sep 23, 2008 at 12:43:53AM -0600, humasect wrote: installPackage: internal error: stg_ap_ppp_ret (GHC version 6.8.3 for i386_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug make[2]: *** [build.stage.1] Abort trap make[1]: ***

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Ian Lynagh
On Mon, Sep 22, 2008 at 03:32:40PM +0200, Christian Maeder wrote: Ian Lynagh wrote: Right now we have the source bundles: http://www.haskell.org/ghc/dist/stable/dist/ghc-6.10.0.20080921-src.tar.bz2 http://www.haskell.org/ghc/dist/stable/dist/ghc-6.10.0.20080921-src-extralibs.tar.bz2

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Paul Jarc
Ian Lynagh [EMAIL PROTECTED] wrote: I'm confused. If the bootstrapping GHC uses a gmp from a non-standard directory, then that directory should be listed in the library-dirs field of the rts package. Running strings on the bootstrap compiler's lib/ghc-6.8.3/libHSrts* shows some references to

Re: editline vs haskeline (was: 6.10-candidate tested)

2008-09-24 Thread Claus Reinke
Would it be possible to use haskeline as a fallback/default, for future Ghc's? http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskeline As the author of haskeline, integrating it into ghc is on my TODO list. :-) Good to hear!-) Note that the earliest this could happen would be

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Ian Lynagh
Hi Paul, On Wed, Sep 24, 2008 at 05:02:28PM -0400, Paul Jarc wrote: Ian Lynagh [EMAIL PROTECTED] wrote: I'm confused. If the bootstrapping GHC uses a gmp from a non-standard directory, then that directory should be listed in the library-dirs field of the rts package. Running strings on

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Paul Jarc
Ian Lynagh [EMAIL PROTECTED] wrote: Running ghc-pkg describe rts will show you library-dirs, amongst other things. Ah, ok. Well, the gmp library directory is indeed listed there. But what exactly is ghc supposed to do with it? From the behavior I'm seeing, it looks like it passes -Ldir

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Simon Marlow
Ian Lynagh wrote: On Tue, Sep 23, 2008 at 12:43:53AM -0600, humasect wrote: installPackage: internal error: stg_ap_ppp_ret (GHC version 6.8.3 for i386_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug make[2]: *** [build.stage.1] Abort trap make[1]:

Is -fvia-C still needed?

2008-09-24 Thread leledumbo
I notice that speed from code generated by -fasm and -fvia-C isn't significant, furthermore -fvia-C takes longer time. So, why ghc still needs gcc (at least on Windows)? -- View this message in context: http://www.nabble.com/Is--fvia-C-still-needed--tp19663119p19663119.html Sent from the