Re: 4221 on new codegen

2011-02-01 Thread Edward Z. Yang
More Hoopling later, I see this segment in the rewrite function: middle m@(CmmUnsafeForeignCall _ fs _) live = return $ case map spill (filter (flip elemRegSet (on_stack live)) fs) ++ map reload (uniqSetToList (kill fs (in_regs live))) of [] -> Nothing

Re: Type system compiler flags

2011-02-01 Thread Carsten Schultz
Am 01.02.11 12:34, schrieb Daniel Fischer: > On Tuesday 01 February 2011 11:45:58, Julian Bean wrote: >>> It indeed does, even though I doubted it at first. As far as I >>> remember the type in >>> >>>getnArrayST n bs :: ST s (Maybe (UArray Int Word8, [Word8])) = >>> >>> used to be necessary t

GHCi+Cairo, Windows

2011-02-01 Thread Alexey Shumitsky
Hi, I have problem with ghci+cairo on windows. When I try to load, for example like this "ghci -package cairo" it fails with the following error: Loading package random-1.0.0.2 ... linking ... done. Loading package haskell98 ... linking ... done. Loading package syb-0.1.0.2 ... linking ... done.

Re: Trying to build Agda 2.2.9 with ghc-7.1.20110131

2011-02-01 Thread kahl
On Tue, Feb 01, 2011 at 06:01:04PM +0300, Pavel Perikov wrote: > If anyone interested... > > Agda-2.2.9 compiled perfectly with 7.0.1 release but with 7.1.20110131 the > compiler had a few problems including "impossible happened" when building > profiling library. Possibly related: http://ha

Trying to build Agda 2.2.9 with ghc-7.1.20110131

2011-02-01 Thread Pavel Perikov
If anyone interested... Agda-2.2.9 compiled perfectly with 7.0.1 release but with 7.1.20110131 the compiler had a few problems including "impossible happened" when building profiling library. Another one was in src/full/Agda/TypeChecking/Positivity.hs @ 260: instance ComputeOccurrences Term wh

Re: RFC: migrating to git

2011-02-01 Thread Lars Viklund
On Mon, Jan 10, 2011 at 11:19:23AM +, Simon Marlow wrote: > It's time to consider again whether we should migrate GHC development > from darcs to (probably) git. The Boost project has been having similar discussions about when, how and if to migrate to Git, together with discussions on wheth

Re: Bug in undecidable instances?

2011-02-01 Thread Claus Reinke
You are misunderstanding what 'undecidable instances' does. s/undecidable/incoherent/g Claus GHC wants to solve the constraint (D Foo beta) where beta is as-yet-unconstrained type variable. It finds that one instance *matches* (by instantiating only the instance declaration, not the constra

Re: OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread Max Cantor
On OSX, as of 10.5, both the 32-bit kernel and the 64-bit kernel can seamlessly run x86_64 binaries in 64-bit mode. MacPorts now defaults to 64-bit for instance. mc On Feb 1, 2011, at 8:10 PM, John Meacham wrote: > Even though the hardware is x86_64, I thought the vast majority of > macs use

Re: OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread Pavel Perikov
To make it clear. Leopard (released October 2007) fully supports x86_64 executables. Given upgrade rate of Mac community I think it's pretty safe to state that majority of mac owners have x86-64 capable systems. pavel On 01.02.2011, at 15:30, malcolm.wallace wrote: > MacOS 10.5 is still largel

Re: OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread malcolm.wallace
MacOS 10.5 is still largely 32-bit.  MacOS 10.6 is largely 64-bit.  Both are capable of compiling and running for the alternative word-size choice, fairly transparently.  10.6 was released August 2009, but there are likely plenty of people still running 10.5.Regards, MalcolmOn 01 Feb, 2011,at 1

Re: OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread Tim Whelan
Max Cantor writes: Thanks Debbie, I've confirmed with the other chaps (for the second chalet). Is there any news on a boat for us? Regards Tim > The last 32-bit, Intel Mac was the Mac Mini, discontinued in August > 2007. The bulk of them were discontinued in 2006, along with PowerPC > Macs.

Re: OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread Pavel Perikov
On 01.02.2011, at 15:10, John Meacham wrote: > Even though the hardware is x86_64, I thought the vast majority of > macs used a 32 bit build of OSX and 32 bit programs? Mac OS X started supporting 64-bit console application since Tiger. Since Leopard it supports 64-bit gui apps. Currently we a

Re: OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread John Meacham
Even though the hardware is x86_64, I thought the vast majority of macs used a 32 bit build of OSX and 32 bit programs? John On Tue, Feb 1, 2011 at 3:38 AM, Max Cantor wrote: > The last 32-bit, Intel Mac was the Mac Mini, discontinued in August 2007. The > bulk of them were discontinued in

OSX i386/x86 and x86_64 - time to switch supported platforms?

2011-02-01 Thread Max Cantor
The last 32-bit, Intel Mac was the Mac Mini, discontinued in August 2007. The bulk of them were discontinued in 2006, along with PowerPC Macs. Does it make sense to relegate OSX x86_64 to community status while the 32-bit version is considered a supported platform? Given that I'm far from ex

RE: Bug in undecidable instances?

2011-02-01 Thread Simon Peyton-Jones
You are misunderstanding what 'undecidable instances' does. GHC wants to solve the constraint (D Foo beta) where beta is as-yet-unconstrained type variable. It finds that one instance *matches* (by instantiating only the instance declaration, not the constraint we are solving): D a b bu

Re: Type system compiler flags

2011-02-01 Thread Daniel Fischer
On Tuesday 01 February 2011 11:45:58, Julian Bean wrote: > > It indeed does, even though I doubted it at first. As far as I > > remember the type in > > > >getnArrayST n bs :: ST s (Maybe (UArray Int Word8, [Word8])) = > > > > used to be necessary to bind the type variable s. Apparently thing

Re: building ghc-7.1.20110125 under Mac OS X

2011-02-01 Thread Pavel Perikov
On 01.02.2011, at 14:30, John Lato wrote: > > The key point is you need a 64-bit bootstrap compiler Ok, I see :) I thought if I have 64-bit compiler I wouldn't have to build one :) pavel ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@

Re: building ghc-7.1.20110125 under Mac OS X

2011-02-01 Thread John Lato
> > Subject: building ghc-7.1.20110125 under Mac OS X > > hi list. > > i have to build ghc-7.1.20110125 under mac os x, so i grabbed the stable > snapshot. Everything builds fine but the resulting compiler has problems > with ld. It passes gcc flags to ld like "-march=-i686". Any ideas? > > BTW wh

Re: Type system compiler flags

2011-02-01 Thread Julian Bean
> It indeed does, even though I doubted it at first. As far as I remember > the type in > >getnArrayST n bs :: ST s (Maybe (UArray Int Word8, [Word8])) = > > used to be necessary to bind the type variable s. Apparently things > have become easier. The higher-rank inference has been change

Re: Type system compiler flags

2011-02-01 Thread Carsten Schultz
Am 01.02.11 11:05, schrieb Daniel Fischer: > On Tuesday 01 February 2011 10:20:26, Carsten Schultz wrote: >> Hello everyone, >> >> I am trying to compile some code that I have written a long time ago >> (might have been for ghc 6.3), and I have not done much Haskell in the >> meantime. I have trou

Re: Type system compiler flags

2011-02-01 Thread Daniel Fischer
On Tuesday 01 February 2011 10:20:26, Carsten Schultz wrote: > Hello everyone, > > I am trying to compile some code that I have written a long time ago > (might have been for ghc 6.3), and I have not done much Haskell in the > meantime. I have trouble compiling the code, maybe only because I do >

RE: panic parsing a stmt in ghc 7 (possible regression?)

2011-02-01 Thread Simon Peyton-Jones
A panic is always a bug. Thanks for the test case. I've created a ticket http://hackage.haskell.org/trac/ghc/ticket/4939 Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of Daniel Gorín | Sent: 3

Type system compiler flags

2011-02-01 Thread Carsten Schultz
Hello everyone, I am trying to compile some code that I have written a long time ago (might have been for ghc 6.3), and I have not done much Haskell in the meantime. I have trouble compiling the code, maybe only because I do not remember the necessary flags (yes, these should be in the source fil

Re: 4221 on new codegen

2011-02-01 Thread Simon Marlow
On 01/02/2011 00:01, Edward Z. Yang wrote: Current theory: c1jj: _s1ep::I32 = I32[(slot<_s1ep::I32> + 4)]; // CmmAssign _s1fP::I32 = I32[(slot<_s1fP::I32> + 4)]; // CmmAssign // outOfLine should follow: _s1eq::F64 = F64[_s1fP::I32 + 3]; // CmmAssign