Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Manuel M T Chakravarty
Carsten Keßler: OK, now I get no GMP error any longer, instead, I got my good old OpenGL-error back... Installing: /Library/GHC/lib/ghc-6.8.1/lib/OpenGL-2.2.1.1 installPackage: Error: Could not find module: Graphics.Rendering.OpenGL.GL.PixelRectangles.PixelStorage with any suffix: ["p_hi"]

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread David Menendez
On Dec 11, 2007 1:29 PM, apfelmus <[EMAIL PROTECTED]> wrote: > Without the automatic search, this is already possible > > class Functor f where > fmap :: (a -> b) -> f a -> f b > > class Functor m => Monad m where > return :: a -> m a > (>>=) :: m a -> (a -> m b) -

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread apfelmus
Simon Peyton-Jones wrote: b) having instance declarations silently spring into existence Concerning (b) here's a suggestion. As now, require that every instance requires an instance declaration. So, in the main example of http://haskell.org/haskellwiki/Class_system_extension_proposal, for a n

Re: Installing on Leopard

2007-12-11 Thread Johan Tibell
> You need to install gmp from MacPorts so that you have: > > /opt/local/lib/libgmp.3.dylib Thanks. That did it. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: class default method proposal

2007-12-11 Thread apfelmus
Jules Bean wrote: David Menendez wrote: Duncan Coutts wrote: So my suggestion is that we let classes declare default implementations of methods from super-classes. It creates ambiguity if two classes declare defaults for a common superclass. My standard example involves Functor, Monad, and

Re: Installing on Leopard

2007-12-11 Thread Christian Maeder
Johan Tibell wrote: > On Dec 11, 2007 1:56 PM, Christian Maeder <[EMAIL PROTECTED]> wrote: >> Johan Tibell wrote: >>> I thought GHC shipped with its own GMP lib. >> This is the case for: >> http://www.haskell.org/ghc/dist/6.8.1/chakravarty/ghc-6.8.1-i386-apple-darwin.tar.bz2 > > This is the one I

Re: Installing on Leopard

2007-12-11 Thread Johan Tibell
On Dec 11, 2007 1:56 PM, Christian Maeder <[EMAIL PROTECTED]> wrote: > Johan Tibell wrote: > > I thought GHC shipped with its own GMP lib. > > This is the case for: > http://www.haskell.org/ghc/dist/6.8.1/chakravarty/ghc-6.8.1-i386-apple-darwin.tar.bz2 This is the one I used and I didn't install G

RE: [Haskell-cafe] class default method proposal

2007-12-11 Thread Simon Peyton-Jones
| If it really would work ok we should get it fully specified and | implemented so we can fix the most obvious class hierarchy problems in a | nice backwards compatible way. Things are only supposed to be candidates | for Haskell' if they're already implemented. Getting it fully specified is the f

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread Duncan Coutts
On Tue, 2007-12-11 at 16:38 +, Ross Paterson wrote: > On Tue, Dec 11, 2007 at 04:26:52PM +, Simon Marlow wrote: > > Duncan Coutts wrote: > >> On Tue, 2007-12-11 at 07:07 -0800, Stefan O'Rear wrote: > >>> This is almost exactly the > >>> http://haskell.org/haskellwiki/Class_system_extension

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread Ross Paterson
On Tue, Dec 11, 2007 at 04:26:52PM +, Simon Marlow wrote: > Duncan Coutts wrote: >> On Tue, 2007-12-11 at 07:07 -0800, Stefan O'Rear wrote: >>> This is almost exactly the >>> http://haskell.org/haskellwiki/Class_system_extension_proposal; that >>> page has some discussion of implementation issu

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread Simon Marlow
Duncan Coutts wrote: On Tue, 2007-12-11 at 07:07 -0800, Stefan O'Rear wrote: This is almost exactly the http://haskell.org/haskellwiki/Class_system_extension_proposal; that page has some discussion of implementation issues. Oh yes, so it is. Did this proposal get discussed on any mailing list

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread Duncan Coutts
On Tue, 2007-12-11 at 07:07 -0800, Stefan O'Rear wrote: > This is almost exactly the > http://haskell.org/haskellwiki/Class_system_extension_proposal; that > page has some discussion of implementation issues. Oh yes, so it is. Did this proposal get discussed on any mailing list? I'd like to see

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Christian Maeder
Carsten Keßler wrote: > OK, now I get no GMP error any longer, instead, I got my good old > OpenGL-error back... > > Installing: /Library/GHC/lib/ghc-6.8.1/lib/OpenGL-2.2.1.1 > installPackage: Error: Could not find module: > Graphics.Rendering.OpenGL.GL.PixelRectangles.PixelStorage with any > suff

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread David Menendez
On Dec 11, 2007 9:20 AM, Duncan Coutts <[EMAIL PROTECTED]> wrote: > So my suggestion is that we let classes declare default implementations > of methods from super-classes. Does this proposal have any unintended consequences? I'm not sure. > Please discuss :-) It creates ambiguity if two class

Re: [Haskell-cafe] class default method proposal

2007-12-11 Thread Stefan O'Rear
On Tue, Dec 11, 2007 at 02:20:52PM +, Duncan Coutts wrote: > I'd just like to float an idea that's related to the Class Alias > proposal[1] but is perhaps somewhat simpler. > > We all know that Functor should have been a superclass of Monad, and > indeed we now know that Applicative should be

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Carsten Keßler
OK, now I get no GMP error any longer, instead, I got my good old OpenGL-error back... Installing: /Library/GHC/lib/ghc-6.8.1/lib/OpenGL-2.2.1.1 installPackage: Error: Could not find module: Graphics.Rendering.OpenGL.GL.PixelRectangles.PixelStorage with any suffix: ["p_hi"] make[1]: *** [inst

class default method proposal

2007-12-11 Thread Duncan Coutts
I'd just like to float an idea that's related to the Class Alias proposal[1] but is perhaps somewhat simpler. We all know that Functor should have been a superclass of Monad, and indeed we now know that Applicative should be too. Making such a change would break lots of things however so the chang

Re: Which ghc versions can build ghc-6.8.1?

2007-12-11 Thread Gregory Wright
Hi Simon, On Dec 11, 2007, at 6:13 AM, Simon Marlow wrote: Gregory Wright wrote: Can 6.4 build 6.8.1? Or is a later version required? We test the GHC build with 6.2.2, and the latest released version (previously 6.6.1, now 6.8.1). It's not unlikely that bugs have crept in that make th

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Christian Maeder
Carsten Keßler wrote: > I'm now using the binaries from > >> http://www.haskell.org/ghc/dist/6.8.1/chakravarty/ghc-6.8.1-i386-apple-darwin.tar.bz2 >> > > Configure still runs without problems, but now I get a new error during > make install: > > /Users/Carsten/Desktop/ghc-6.8.1/utils/ghc-pkg/ghc

RE: Encoding Lists with Lengths by Type Family

2007-12-11 Thread Simon Peyton-Jones
I've typechecked this by hand, and indeed it looks to me as if it should work. (Admittedly, your inAssocL function is making an unsubstantiated claim (since you define it as 'undefined'), but that is still sound since any attempt to run the program will diverge. But it should tpyecheck.) Here

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Joel Reymont
Carsten, This says that you must install the MacPorts GMP package. Do this, repeat the installation and let us know how it goes. On Dec 11, 2007, at 1:30 PM, Carsten Keßler wrote: /Users/Carsten/Desktop/ghc-6.8.1/utils/ghc-pkg/ghc-pkg.bin --global- conf /Library/GHC/lib/ghc-6.8.1/package.conf

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Carsten Keßler
I'm now using the binaries from http://www.haskell.org/ghc/dist/6.8.1/chakravarty/ghc-6.8.1-i386-apple-darwin.tar.bz2 Configure still runs without problems, but now I get a new error during make install: /Users/Carsten/Desktop/ghc-6.8.1/utils/ghc-pkg/ghc-pkg.bin --global-conf /Library/GHC/

Re: Installing on Leopard

2007-12-11 Thread Christian Maeder
Johan Tibell wrote: > I thought GHC shipped with its own GMP lib. This is the case for: http://www.haskell.org/ghc/dist/6.8.1/chakravarty/ghc-6.8.1-i386-apple-darwin.tar.bz2 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://

Re: Installing on Leopard

2007-12-11 Thread Christian Maeder
Johan Tibell wrote: > I have some problems installing 6.8.1 on Mac OS X Leopard. First I > installed readline using ports: Again, I don't know what binary distribution you've got, but try to install gmp, too > $ sudo port install readline > > --force > dyld: Library not loaded: /opt/local/lib/l

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Christian Maeder
Carsten Keßler wrote: > Installing: /Library/GHC/lib/ghc-6.8.1/lib/OpenGL-2.2.1.1 > installPackage: Error: Could not find module: > Graphics.Rendering.OpenGL.GL.PixelRectangles.PixelStorage with any > suffix: ["p_hi"] I don't know what binary-distribution you've got, but the file libraries/OpenGL/

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Christian Maeder
Carsten Keßler wrote: > No, I'm using the binaries from > http://www.haskell.org/ghc/dist/6.8.1/chakravarty/ghc-6.8.1-i386-apple-darwin.tar.bz2 Are you sure that you've downloaded chakravarty's binary-dist? This one does not require frameworks (and should not fail as below) >>> checking for path

Installing on Leopard

2007-12-11 Thread Johan Tibell
I have some problems installing 6.8.1 on Mac OS X Leopard. First I installed readline using ports: $ sudo port install readline Then GHC $ ./configure --prefix=$HOME && make install make -C rts install DOING_BIN_DIST=YES cc -E -undef -traditional -P -DINSTALLING \ -DIM

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Carsten Keßler
Hi Christian, Is there another way to download / install GMP other than through MacPorts? http://www.haskell.org/ghc/dist/mac_frameworks/mac_e.htm Thanks for the link, configure now works like a charm, but make install fails with the following error: - snip ... Installing: /Library/GHC/l

New woes regarding ghc-6.8.1 on FreeBSD-amd64

2007-12-11 Thread Wilhelm B. Kloke
Some days ago I announced having success in porting ghc-6.8.1 to FreeBSD-7.0-amd64. As the compiler seemed to be able to compile itself, I was confident to make the binary package available to the public. Now I have found out that the port is rooten in a very weird way. >From the files in testsui

Re: More spam problems on trac

2007-12-11 Thread Simon Marlow
Tim Chevalier wrote: It seems the new thing for spammers to do is to add spam text wrapped in the tag. For example, http://hackage.haskell.org/trac/ghc/wiki/WikiStart?action=diff&version=106 I don't know if anyone else has noticed this. Maybe it's time to require captchas for account creation o

Re: Which ghc versions can build ghc-6.8.1?

2007-12-11 Thread Simon Marlow
Gregory Wright wrote: Can 6.4 build 6.8.1? Or is a later version required? We test the GHC build with 6.2.2, and the latest released version (previously 6.6.1, now 6.8.1). It's not unlikely that bugs have crept in that make the build fail with 6.4.x; if you find any such bugs then please

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Gregory Wright
On Dec 11, 2007, at 3:23 AM, Carsten Keßler wrote: Hi, so does the GMP.framework installed via MacPorts do it, or not?! Apparently, it doesn't: -snip Macintosh-4:~ Carsten$ port installed The following ports are currently installed: ... gmp @4.2.2_0 (active) readline @5.2.007_0+darwi

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Christian Maeder
Carsten Keßler wrote: > Hi, > > so does the GMP.framework installed via MacPorts do it, or not?! > Apparently, it doesn't: > > -snip > > Macintosh-4:~ Carsten$ port installed > The following ports are currently installed: > ... > gmp @4.2.2_0 (active) This does not look like a framework > Is

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Carsten Keßler
Hi greg, Gregory Wright schrieb: The ghc distribution on MacPorts doesn't support 6.8.1 yet because I haven't finished porting it. I have already figured out that ghc via MacPorts only works if you have a working version of ghc on board, which I have not, so this is not an option for me righ

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Carsten Keßler
Hi, so does the GMP.framework installed via MacPorts do it, or not?! Apparently, it doesn't: -snip Macintosh-4:~ Carsten$ port installed The following ports are currently installed: ... gmp @4.2.2_0 (active) readline @5.2.007_0+darwin_9 (active) ... Macintosh-4:ghc-6.8.1 Carsten$ ./confi

Re: GHC 6.8.1 on Mac OS 10.5 Leopard (Intel) - Configure fails

2007-12-11 Thread Gregory Wright
On Dec 10, 2007, at 3:21 PM, Carsten Keßler wrote: Basically, I just wanted to get this thing running without too much hassle... Does anyone have an idea why the GHC distribution available via MacPorts does not work at the moment? Hi Carsten, The ghc distribution on MacPorts doesn't su