ANNOUNCE: GHC 6.6 Release Candidate

Only a week late, we are pleased to announce the Release Candidate phase for GHC 6.6. Snapshots beginning with 6.5.20060831 are release candidates for 6.6 Download snapshots from here: http://www.haskell.org/ghc/dist/current/dist/ Right now we have the source bundles: http://www.haskell.org/ghc/dist/current/dist/ghc-6.5.20060831-src.tar.bz2 http://www.haskell.org/ghc/dist/current/dist/ghc-6.5.20060831-src-extralibs.... Only the first of these is necessary. The "extralibs" package contains various extra packages that we normally supply with GHC (and a couple of new ones) - unpack the extralibs tarball on top of the source tree to add them, they will be included in the build automatically. There are also currently binary distributions for x86_64/Linux (Fedora Core 5), i386/Linux (RedHat 7(!)), and Windows. More may appear later. Please test as much as possible, bugs are much cheaper if we find them before the release! Which brings me on to the release itself: we had planned to release before ICFP, but that only leaves just over a week, which isn't really enough time to test the RC thoroughly, so it's looking like the 6.6 release will happen after ICFP now. In the meantime we have the RC to play with, so enjoy... Cheers, Simon

Hello Simon, Friday, September 1, 2006, 2:03:09 PM, you wrote:
Only a week late, we are pleased to announce the Release Candidate phase for GHC 6.6.
Release Notes don't mention new features added to "7.4.12. Generalised derived instances for newtypes", namely automatic deriving instances for constructor classes and MPTC also, section 7.4.7 of GHC documentation ( http://www.haskell.org/ghc/dist/current/docs/users_guide/type-extensions.htm... ) mentions linear implicit parameters what was planned to omit from GHC 6.6 http://www.haskell.org/ghc/dist/current/docs/users_guide/ghc-language-featur... still don't mention -fparr option :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

Bulat Ziganshin wrote:
Hello Simon,
Friday, September 1, 2006, 2:03:09 PM, you wrote:
Only a week late, we are pleased to announce the Release Candidate phase for GHC 6.6.
Release Notes don't mention new features added to "7.4.12. Generalised derived instances for newtypes", namely automatic deriving instances for constructor classes and MPTC
also, section 7.4.7 of GHC documentation ( http://www.haskell.org/ghc/dist/current/docs/users_guide/type-extensions.htm... ) mentions linear implicit parameters what was planned to omit from GHC 6.6
I don't remember saying that we were going to omit them... in any case they're still in.
http://www.haskell.org/ghc/dist/current/docs/users_guide/ghc-language-featur... still don't mention -fparr option :)
-fparr is definitely not working in 6.6, so documenting it would almost certainly be a bad idea. Cheers, Simon

| > also, section 7.4.7 of GHC documentation | > ( http://www.haskell.org/ghc/dist/current/docs/users_guide/type-extensions .html#linear-implicit- | parameters ) | > mentions linear implicit parameters what was planned to omit from GHC 6.6 I've now removed linear implicit parameters from the User Manual. They will probably disappear from the code base in 6.6.1. Simon

Hello Simon, Monday, September 4, 2006, 1:16:22 PM, you wrote:
http://www.haskell.org/ghc/dist/current/docs/users_guide/ghc-language-featur... still don't mention -fparr option :)
-fparr is definitely not working in 6.6, so documenting it would almost certainly be a bad idea.
it definitely works in my program, can i now apply as GHC wizard? :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

On Fri, Sep 01, 2006 at 11:03:09AM +0100, Simon Marlow wrote:
Please test as much as possible, bugs are much cheaper if we find them before the release!
I was playing with impredicativity, when I got this strange error message: Prelude> :l Imp [1 of 1] Compiling Imp ( Imp.hs, interpreted ) Imp.hs:15:17: Couldn't match expected type `forall a. (Show a) => a -> String' against inferred type `a -> String' Expected type: forall a1. (Show a1) => a1 -> String Inferred type: forall a1. (Show a1) => a1 -> String In the second argument of `putMVar', namely `(show :: forall a. (Show a) => a -> String)' In the expression: putMVar var (show :: forall a. (Show a) => a -> String) Failed, modules loaded: none. I am still trying to understand this extension, so my code probably makes not much sense, but it's alarming that the compiler cannot unify two types that are even equal. Maybe the bug is in the error message? Here is the code: module Imp where import Control.Concurrent main = do var <- newEmptyMVar :: IO (MVar (forall a. Show a => a -> String)) let thread x = do forkIO $ sequence_ $ repeat $ do f <- takeMVar var putStrLn (f x) threadDelay 100000 thread (1 :: Integer) thread "abcdef" putMVar var (show :: forall a. Show a => a -> String) threadDelay 10000000 I am using ghc-6.5.20060831 with -fglasgow-exts Best regards Tomasz

Excellent example. It's very hard to give good error messages for impredicative polymorphism. I've tried to improve this one a bit. (Test is tcfail165.hs) Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Tomasz Zielonka | Sent: 01 September 2006 19:55 | To: Simon Marlow | Cc: glasgow-haskell-users@haskell.org | Subject: Re: ANNOUNCE: GHC 6.6 Release Candidate | | On Fri, Sep 01, 2006 at 11:03:09AM +0100, Simon Marlow wrote: | > Please test as much as possible, bugs are much cheaper if we find them | > before the release! | | I was playing with impredicativity, when I got this strange error | message: | | Prelude> :l Imp | [1 of 1] Compiling Imp ( Imp.hs, interpreted ) | | Imp.hs:15:17: | Couldn't match expected type `forall a. (Show a) => a -> String' | against inferred type `a -> String' | Expected type: forall a1. (Show a1) => a1 -> String | Inferred type: forall a1. (Show a1) => a1 -> String | In the second argument of `putMVar', namely | `(show :: forall a. (Show a) => a -> String)' | In the expression: | putMVar var (show :: forall a. (Show a) => a -> String) | Failed, modules loaded: none. | | I am still trying to understand this extension, so my code probably | makes not much sense, but it's alarming that the compiler cannot unify | two types that are even equal. Maybe the bug is in the error message? | | Here is the code: | | module Imp where | | import Control.Concurrent | | main = do | var <- newEmptyMVar :: IO (MVar (forall a. Show a => a -> String)) | let thread x = do | forkIO $ sequence_ $ repeat $ do | f <- takeMVar var | putStrLn (f x) | threadDelay 100000 | thread (1 :: Integer) | thread "abcdef" | putMVar var (show :: forall a. Show a => a -> String) | threadDelay 10000000 | | I am using ghc-6.5.20060831 with -fglasgow-exts | | Best regards | Tomasz | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Hi Simon, Which version of the testsuite should I be using to test my builds of the release candidates? Best Wishes, Greg On Sep 1, 2006, at 6:03 AM, Simon Marlow wrote:
Only a week late, we are pleased to announce the Release Candidate phase for GHC 6.6.
Snapshots beginning with 6.5.20060831 are release candidates for 6.6
Download snapshots from here:
http://www.haskell.org/ghc/dist/current/dist/
Right now we have the source bundles:
http://www.haskell.org/ghc/dist/current/dist/ghc-6.5.20060831- src.tar.bz2 http://www.haskell.org/ghc/dist/current/dist/ghc-6.5.20060831-src- extralibs.tar.bz2
Only the first of these is necessary. The "extralibs" package contains various extra packages that we normally supply with GHC (and a couple of new ones) - unpack the extralibs tarball on top of the source tree to add them, they will be included in the build automatically.
There are also currently binary distributions for x86_64/Linux (Fedora Core 5), i386/Linux (RedHat 7(!)), and Windows. More may appear later.
Please test as much as possible, bugs are much cheaper if we find them before the release!
Which brings me on to the release itself: we had planned to release before ICFP, but that only leaves just over a week, which isn't really enough time to test the RC thoroughly, so it's looking like the 6.6 release will happen after ICFP now. In the meantime we have the RC to play with, so enjoy...
Cheers, Simon
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Simon Marlow schrieb:
Only a week late, we are pleased to announce the Release Candidate phase for GHC 6.6.
Snapshots beginning with 6.5.20060831 are release candidates for 6.6
Download snapshots from here:
I've downloaded the source bundle ghc-6.5.20060918-src.tar.bz After ./configure and make, I realized that I have no root permissions for installation. So called ./configure --prefix=/local/home/maeder/ghc-6.5 followed by "make" and "make install" only to find out that /usr/local/lib/ghc-6.5.20060918/ghc-6.5.20060918 cannot be found by my /local/home/maeder/ghc-6.5/bin/ghc (in line 5). What do I have to clean after "configure" with a new prefix? (I hope not everything. And I hope it works at all with a different prefix) Thanks, Christian

Christian Maeder wrote:
Simon Marlow schrieb:
Only a week late, we are pleased to announce the Release Candidate phase for GHC 6.6.
Snapshots beginning with 6.5.20060831 are release candidates for 6.6
Download snapshots from here:
I've downloaded the source bundle ghc-6.5.20060918-src.tar.bz
After ./configure and make, I realized that I have no root permissions for installation. So called
./configure --prefix=/local/home/maeder/ghc-6.5
followed by "make" and "make install" only to find out that
/usr/local/lib/ghc-6.5.20060918/ghc-6.5.20060918
cannot be found by my /local/home/maeder/ghc-6.5/bin/ghc (in line 5).
What do I have to clean after "configure" with a new prefix? (I hope not everything. And I hope it works at all with a different prefix)
I think this is just because you tried to re-configure with a new prefix after the first failed installation, and the (slightly hacky) binary distribution Makefile didn't know to re-generate the scripts. If you unpacked the distribution and tried from scratch with a new prefix, it should work. Cheers, Simon

Simon Marlow schrieb:
Christian Maeder wrote:
I've downloaded the source bundle ghc-6.5.20060918-src.tar.bz
After ./configure and make, I realized that I have no root permissions for installation. So called
./configure --prefix=/local/home/maeder/ghc-6.5
followed by "make" and "make install" only to find out that
/usr/local/lib/ghc-6.5.20060918/ghc-6.5.20060918
cannot be found by my /local/home/maeder/ghc-6.5/bin/ghc (in line 5).
What do I have to clean after "configure" with a new prefix? (I hope not everything. And I hope it works at all with a different prefix)
I think this is just because you tried to re-configure with a new prefix after the first failed installation, and the (slightly hacky) binary distribution Makefile didn't know to re-generate the scripts. If you unpacked the distribution and tried from scratch with a new prefix, it should work.
You're right, I re-configured with a new prefix. (I never tried to install with the wrong prefix but only called "make" in the sources.) Rather than recompiling the whole sources I grabbed a new binary distribution from the dist site. So I solved my problem but it discouraged me to compile the ghc sources (again). Aren't there just a few spots to be removed to allow changing the prefix? Christian
participants (7)
-
Bulat Ziganshin
-
Christian Maeder
-
Gregory Wright
-
Simon Marlow
-
Simon Marlow
-
Simon Peyton-Jones
-
Tomasz Zielonka