RE: GHC on MacOS

2006-10-02 Thread Simon Peyton-Jones
Thanks -- in fact we've had a few helpful offers of access (which is v helpful). We may still yet take you up, but meanwhile don't do too much work. So far, no one has offered to help investigate/fix GHC on MacOS, so progress may be slow. We'd love to hear from keen MacOS users who are willing

ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-02 Thread Ian Lynagh
We are pleased to announce the Second Release Candidate phase for GHC 6.6. Snapshots beginning with 6.5.20061001 are release candidates for 6.6 We would be particularly interested to hear whether or not the 6.6 RC works for people who were having trouble with 6.4.2. Also, please note

Re: Map.genericSize

2006-10-02 Thread Max Vasin
Bulat == Bulat Ziganshin [EMAIL PROTECTED] writes: Bulat Hello Christian, Bulat Friday, September 29, 2006, 1:02:07 PM, you wrote: Map (and Set) use (unboxed) Int internally. So bigger Maps and Sets are not possible. Bulat interfaces has their own lives :) someone can write DiskMap Bulat

Problem with lexically scoped type variables.

2006-10-02 Thread Mirko Rahn
Dear all, in http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html Simon Peyton-Jones asks for programs that are broken by the proposed change. Here is a nearly real world one: {-# OPTIONS_GHC -fglasgow-exts #-} import Control.Monad import Control.Monad.ST import

Re: Problem with lexically scoped type variables.

2006-10-02 Thread Brian Hulley
Mirko Rahn wrote: In ghc-6.4.2 this works as expected, but ghc-6.5.20061001 says B.hs:40:44: A pattern type signature cannot bind scoped type variables `s' unless the pattern has a rigid type context Why are the rules for lexically scoped type variables so complicated? Could we not

RE: Problem with lexically scoped type variables.

2006-10-02 Thread Simon Peyton-Jones
| Simon Peyton-Jones asks for programs that are broken by the proposed | change. Here is a nearly real world one: You may not like this but this should work: Instead of | t1 = runST (trav f [1..10] (1,52) = \ (s::STRef s (Set Int)) - seen s) try t1 = runST ( (trav f [1..10] (1,52) = \ s -

Re: Problem with lexically scoped type variables.

2006-10-02 Thread Mirko Rahn
Simon Peyton-Jones wrote: | t1 = runST (trav f [1..10] (1,52) = \ (s::STRef s (Set Int)) - seen s) try t1 = runST ( (trav f [1..10] (1,52) = \ s - seen s) :: forall s. ST s [Int] ) No, the problem is that t1 should use another implementation than t2. This version cannot

RE: Problem with lexically scoped type variables.

2006-10-02 Thread Simon Peyton-Jones
| | t1 = runST (trav f [1..10] (1,52) = \ (s::STRef s (Set Int)) - seen | s) | | try | | t1 = runST ( (trav f [1..10] (1,52) = \ s - seen s) | :: forall s. ST s [Int] ) | | No, the problem is that t1 should use another implementation than t2. | This version cannot discriminate

Re: Problem with lexically scoped type variables.

2006-10-02 Thread Mirko Rahn
Oh I see. Well, you'd need to put the type annotation for s back in: t1 = runST ( (trav f [1..10] (1,52) = \ (s::STRef s (Set Int)) - seen s) :: forall s. ST s [Int] ) ...and reach the starting point again. This version gives the same error message as the original one. But

Re: ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-02 Thread Christian Maeder
Ian Lynagh schrieb: We are pleased to announce the Second Release Candidate phase for GHC 6.6. Snapshots beginning with 6.5.20061001 are release candidates for 6.6 We would be particularly interested to hear whether or not the 6.6 RC works for people This RC works for our (about

Re: (Windows) ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-02 Thread Rene de Visser
Ian Lynagh [EMAIL PROTECTED] schrieb im Newsbeitrag news:[EMAIL PROTECTED] http://www.haskell.org/ghc/dist/current/dist/ Hello Ian, Is it on purpose that the lastest windows build does not include cabal-install? Since the September builds I don't see any logs for the mingw build? Rene.

Re: GHC on MacOS

2006-10-02 Thread Thorkil Naur
Hello, Let me make that offer, then, that I would like to help investigate and fix GHC on MacOS. The obstacles that I have mentioned earlier are ones that I would eventually have removed in any case, so don't worry, I will not be wasting any time. Regards Thorkil On Monday 02 October 2006

Re: GHC on MacOS

2006-10-02 Thread Rodney D Price
Simon, I would like to help, but my time is limited and my knowledge of GHC internals is nearly non-existent. I am, however, very interested in seeing GHC run on Mac Intel. I particularly want to see the full STM mechanism, including check, running on the Mac. Are there small pieces of this

Re: GHC on MacOS

2006-10-02 Thread Mathew Mills
I won't have an Intel mac for another 30 days or so. I intend to do whatever it takes to get a working ghc 6.6 on that platform. Is no one working on this port? It seems to me that this should be a very simple port ( as simple as GHC ports get... ). I am surprised it isn't done yet.

Re: (Windows) ANNOUNCE: GHC 6.6 Second Release Candidate

2006-10-02 Thread Duncan Coutts
On Mon, 2006-10-02 at 17:06 +0200, Rene de Visser wrote: Ian Lynagh [EMAIL PROTECTED] schrieb im Newsbeitrag news:[EMAIL PROTECTED] http://www.haskell.org/ghc/dist/current/dist/ Hello Ian, Is it on purpose that the lastest windows build does not include cabal-install? Yes that is

Re: Map.genericSize

2006-10-02 Thread Duncan Coutts
On Fri, 2006-09-29 at 11:02 +0200, Christian Maeder wrote: Map (and Set) use (unboxed) Int internally. So bigger Maps and Sets are not possible. Furthermore, unlike lists which can be bigger than can fit in memory, Data.Map and .Set are strict structures, so you can never have more than 2^32

GHC on MacOS

2006-10-02 Thread Aaron Tomb
Hello, I have an Intel Mac laptop which isn't reliably accessible remotely, but which I'm happy to use to test and (hopefully) help fix GHC builds. I'm not positive that I'll have tons of available time, but I suspect I'll have enough to do at least some good. Right now, I have the