HEAD vs Hackage status report

[Richard Eisenberg]

I'll take a look at the roles failures. It would be helpful to know if we've found bugs in libraries' code or if this is just the "no-role-polymorphism" problem.

On Oct 1, 2013, at 4:13 AM, Simon Peyton-Jones wrote:

> Bryan
>  
> That?s amazingly helpful thank you.
>  
> I undertake to fix the dmdTransformDictSelSig: split failed problem, by the end of this week at the latest.
>  
> I?m agnostic about the rest? that is, is there anything we might do to ameliorate?
>  
> Simon
>  
> From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Bryan O'Sullivan
> Sent: 30 September 2013 07:26
> To: ghc-devs at haskell.org
> Subject: HEAD vs Hackage status report
>  
> I spent a little time the other day building all of Hackage with GHC HEAD. Here's a quick writeup of what I found.
> 
>  
> 
> Total packages: 5564
> 
> Succeeded with 7.6.3: 3234
> 
> Succeeded with HEAD: 2061
> 
> Succeeded with 7.6.3 but failed with HEAD: 1186
> 
>  
> 
> (A few dozen packages built with HEAD, but not with 7.6.3, which is why the numbers don't add up.)
> 
>  
> 
> I think the condensed version of the story is that we're actually in good shape, the above numbers notwithstanding. There are only a few categories of build regression, which I detail below. Except for one genuine bug, the rest (at least those I've seen so far) are upgrade details that could be written about in release notes or a blog post.
> 
>  
> 
> There currently exists just one panic-related bug, which prevents all 23 packages in the Snap web framework from building:
> 
>  
> 
> ghc: panic! (the 'impossible' happened)
> 
>   (GHC version 7.7.20130923 for x86_64-unknown-linux):
> 
>         dmdTransformDictSelSig: split failed
> 
>  
> 
> Of the 1186 packages that build with 7.6.3 but not HEAD:
> 
>  
> 
> 311 fail due to cabal being unable to solve dependency constraints. As usual, most (195) have excessively tight constraints on base.
> 
>  
> 
> 37 packages fail due to GeneralizedNewtypeDeriving and the new role infrastructure, due to the following failures in packages upon which they depend.
> 
>  
> 
> 12 language-c-0.4.2        the last parameter of ?Error? is at role Nominal
> 
> 11 logfloat-0.12.1         the last parameter of ?IArray? is at role Nominal
> 
>  5 diagrams-lib-0.7.1.1    the last parameter of ?Transformable? is at role Nominal
> 
>  4 smallcheck-1.0.4        the last parameter of ?MonadLogic? is at role Nominal
> 
>  2 monadiccp-0.7.6         the last parameter of ?ReaderM? is at role Nominal
> 
>  2 histogram-fill-0.8.1.0  the last parameter of ?BinEq? is at role Nominal
> 
>  1 acme-schoenfinkel-0.1.1 the last parameter of ?ArrowApply? is at role Nominal
> 
>  
> 
> There's quite a bit of transitive primop-related breakage.
> 
>  
> 
>     364 template-haskell-2.8.0.0    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>      48 primitive-0.4.1    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       6 primitive-0.5.0.1    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>  
> 
> Most of the breakage could be fixed by loosening the dependencies on the template-haskell and primitive packages, and here are the rest.
> 
>  
> 
>      63 uulib-0.9.15    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>      20 utf8-light-0.4.0.1    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>      19 safeint-0.5.3    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>      16 permutation-0.4.1    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       9 floatshow-0.2.3    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       9 bytestring-show-0.3.5.5    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       8 STMonadTrans-0.3.1    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       7 hashtables-1.1.0.2    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       2 word24-1.0.3    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       2 arithmoi-0.4.0.3    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       1 word8-0.0.3    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>       1 IORefCAS-0.2.0.1    Couldn't match expected type ?Bool? with actual type ?Int#?
> 
>  
> 
> Roughly 45 packages are broken by changes to Typeable.
> 
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131001/16925ef4/attachment-0001.html>