Re: GeneralizedNewtypeDeriving regression in HEAD?

[Richard Eisenberg]

I would say you do indeed need impredicative types to compile the instance you 
request -- you need to instantiate a type variable with a forall-type. But, 
whether or not we should require users to actually specify ImpredicativeTypes 
to compile code that we're generating is another question. And, the error 
message is terrible, regardless.

I'll post.

Thanks for bringing this up!
Richard

On Dec 26, 2013, at 10:30 PM, Nathan Howell  wrote:

> I can't file a trac ticket at the meny but wanted to see if this is a bug... 
> This is an excerpt from llvm-general that compiles on 7.6.3 but doesn't 
> without ImpredicativeTypes enabled on HEAD: 
> https://gist.github.com/NathanHowell/8138977
> 
> thanks,
> -n
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs

___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

GeneralizedNewtypeDeriving regression in HEAD?

[Nathan Howell]

I can't file a trac ticket at the meny but wanted to see if this is a
bug... This is an excerpt from llvm-general that compiles on 7.6.3 but
doesn't without ImpredicativeTypes enabled on HEAD:
https://gist.github.com/NathanHowell/8138977

thanks,
-n
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

Re: panic when compiling SHA

[Manuel Gómez]

On Thu, Dec 26, 2013 at 8:37 PM, Kazu Yamamoto  wrote:
> When I tried to build the SHA library with GHC head on on 32bit Linux,
> GHC head got panic. GHC 7.4.2 can build SHA on the same machine.
>
> [1 of 1] Compiling Data.Digest.Pure.SHA ( Data/Digest/Pure/SHA.hs, 
> dist/dist-sandbox-ef3aaa11/build/Data/Digest/Pure/SHA.o )
> ghc: panic! (the 'impossible' happened)
>   (GHC version 7.7.20131202 for i386-unknown-linux):
> regSpill: out of spill slots!
>regs to spill = 1129
>slots left= 677

I ran into this a while ago.  Turns out it’s a known bug[0], but it
seems like it’s been hard to reproduce.  FWIW, I also hit it on 32bit
Linux.  You can probably work around it with `-fno-regs-graph`.

[0]: 
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

panic when compiling SHA

[山本和彦]

Hi,

When I tried to build the SHA library with GHC head on on 32bit Linux,
GHC head got panic. GHC 7.4.2 can build SHA on the same machine.

Configuring SHA-1.6.1...
Building SHA-1.6.1...
Failed to install SHA-1.6.1
Last 10 lines of the build log ( 
/home/kazu/work/rpf/.cabal-sandbox/logs/SHA-1.6.1.log ):
Preprocessing library SHA-1.6.1...
[1 of 1] Compiling Data.Digest.Pure.SHA ( Data/Digest/Pure/SHA.hs, 
dist/dist-sandbox-ef3aaa11/build/Data/Digest/Pure/SHA.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 7.7.20131202 for i386-unknown-linux):
regSpill: out of spill slots!
   regs to spill = 1129
   slots left= 677

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

--Kazu
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs