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 Haskell

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]: **

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 -L

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. > > Runnin

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 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 referen

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.

Re: ANNOUNCE: GHC 6.10.1 beta

2008-09-24 Thread Ian Lynagh
Hi Paul, On Tue, Sep 23, 2008 at 09:09:03PM -0400, Paul Jarc wrote: > I ran into some problems due to having gmp installed in an unusual > place. I passed --with-gmp-{includes,libraries} to ./configure, set > $CPPFLAGS and $LDFLAGS for ./configure, and set the corresponding > -optl, etc., flags

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]: *** [build.st

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: 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 Debia

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' i

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 assumptio

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; yo

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 depen

editline vs haskeline (was: 6.10-candidate tested)

2008-09-24 Thread Claus Reinke
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 out-dated[1]. Haskell bindings (editline) doesn't compile against it (at least I

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 i

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 http://hackage.haskell.org/cgi-bin/ha

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 use

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! Thanks for the explanation, Simon - it clears up some outst

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

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 he

Re: 6.10-candidate tested

2008-09-24 Thread Christian Maeder
Do you have libedit on your linux machine (because I haven't)? In order to check this: Does "ghc-pkg list" the editline package? (And do your arrow keys and backspace work in ghci?) Thanks Christian Serge D. Mechveliani wrote: > This was on Linux, Debian. > >> I have tested ghc-6.10.0.20080921

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 hand

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: Debian stable not supported?

2008-09-24 Thread Ian Lynagh
On Mon, Sep 22, 2008 at 09:52:57AM +0300, Yitzchak Gale wrote: > > Before I delete that chroot build environment - could it > be useful for making GHC 6.8.3 available to others? If someone > points me in the right direction, perhaps I could create a binary > tarball and/or backport deb. You can m

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 http://www.haskell.

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] ___ Glasgow-haskell-us

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 > >

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 gmp

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

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. ___