Re: GHC on powerpc (OS X): segmentation fault

2008-11-11 Thread Christian Maeder
I can offer a Tiger PPC built that works for me: http://www.dfki.de/sks/hets/intel-mac/ghcs/ghc-6.10.1-i386-apple-darwin.tar.bz2 (linked against /opt/local/lib/libgmp.dylib) Cheers Christian Chris Kuklewicz wrote: I am having trouble compiling GHC using mac ports on powerpc OS X (10.5.5)

Re: GHC on powerpc (OS X): segmentation fault

2008-11-11 Thread Chris Kuklewicz
Christian Maeder wrote: I can offer a Tiger PPC built that works for me: http://www.dfki.de/sks/hets/intel-mac/ghcs/ghc-6.10.1-i386-apple-darwin.tar.bz2 (linked against /opt/local/lib/libgmp.dylib) Cheers Christian But the filename says -i386- so I suspect it is not a powerpc build.

GHC on powerpc (OS X): segmentation fault

2008-11-11 Thread Chris Kuklewicz
I am having trouble compiling GHC using mac ports on powerpc OS X (10.5.5) (using XCode 3.1). I have also opened a ticket at http://trac.macports.org/ticket/17184 which has the full build log attached. The build starts with nice port -c upgrade ghc --- Staging gmp into destroot ---

Re[2]: [Haskell-cafe] How to getCh on MS Windows command line?

2008-11-11 Thread Bulat Ziganshin
Hello Ki, Tuesday, November 11, 2008, 4:04:11 AM, you wrote: i have also linux getCh if you need it, although afaik it's not perfect and actually you should use something inside Unix package -- Best regards, Bulatmailto:[EMAIL PROTECTED]

Re: Linking error during stage2

2008-11-11 Thread Matthias Kilian
On Tue, Nov 11, 2008 at 06:38:02PM +0100, dermiste wrote: I've successfully built GHC-6.10.1 from 6.6.1 on OpenBSD 4.4, and would like now to generate a hc-file-bundle to build it without pre-existing GHC. I followed the instructions in [1], but I'm stuck with this error : Linking

Re: impredicative type checking

2008-11-11 Thread Jules Bean
Jeff Polakow wrote: However, I don't see how they are not equivalent (in the presence of impredicative polymorphism) since I can write derivations for both forall b. (b - String /\ Int) |- (forall b. b - String) /\ Int and (forall b. b - String) /\ Int |- forall b. (b - String

Linking error during stage2

2008-11-11 Thread dermiste
Hi, I've successfully built GHC-6.10.1 from 6.6.1 on OpenBSD 4.4, and would like now to generate a hc-file-bundle to build it without pre-existing GHC. I followed the instructions in [1], but I'm stuck with this error : [] gmake[2]: Leaving directory

Re: impredicative type checking

2008-11-11 Thread Chris Kuklewicz
Jeff Polakow wrote: Hello, I filed the following bug report: This produces a type error: foo :: forall b. (b - String, Int) foo = (const hi, 0) bar :: (forall b. b - String, Int) bar = foo But the types are equivalent. Once you cross the forall

Re: problem with echo prompting in ghci (visible in emacs)

2008-11-11 Thread Andrea Vezzosi
I get the same behaviour, and when I open ghci in xterm and press Ctrl-D it also echoes ^D before quitting, which is similar to the problem with haskell-mode which seems to don't like the echoing of ^J from ghci when one uses commands like C-u C-c C-t (which should copy the inferred type from the

how is Linux GHC formed?

2008-11-11 Thread Jason Dusek
How was the Linux binary for GHC created? I am looking at ways to compile Haskell binaries for Linux that work across distros. So far, I have been using `-static -optl-static` but today there was a weird hiccup with IO -- the Gentoo built binary worked fine on Gentoo but caught SIGPIPE

Re: problem with echo prompting in ghci (visible in emacs)

2008-11-11 Thread Reiner Pope
2008/11/12 Andrea Vezzosi [EMAIL PROTECTED]: I get the same behaviour, and when I open ghci in xterm and press Ctrl-D it also echoes ^D before quitting, which is similar to the problem with haskell-mode which seems to don't like the echoing of ^J from ghci when one uses commands like C-u C-c

Re: ANNOUNCE: GHC version 6.10.1

2008-11-11 Thread Magicloud
Hi, It is a few days after the release. But why the darcs repos of 6.10 is still changing? Ian Lynagh wrote: == The (Interactive) Glasgow Haskell Compiler -- version 6.10.1

Re: [Haskell-cafe] How to getCh on MS Windows command line?

2008-11-11 Thread Ahn, Ki Yung
Bulat Ziganshin wrote: Hello Ki, Tuesday, November 11, 2008, 4:04:11 AM, you wrote: i have also linux getCh if you need it, although afaik it's not perfect and actually you should use something inside Unix package On Unix it is not a problem. We can just use the hSetBuffering and hSetEcho

libedit.so.0

2008-11-11 Thread James Swaine
I can't seem to get the latest source bundle to build (running on Red Hat). I run the configure script, then make on the source tree root, and ghc gives an error to the effect of 'could not load shared object file or library libedit.so.0'. I don't have root permissions on this machine so I can't