Tighten up the definition of arityType a bit further, to make Trac #5625 work.  The main change is that we eta-expand (case x of p -> \y. blah) only if the case-expression is in the context of a \x.  That is still technically unsound, but it makes a big difference to performance; and the change narrows the unsound cases a lot.
Tighten up the definition of arityType a bit further,
to make Trac #5625 work.  The main change is that
we eta-expand (case x of p -> \y. blah) only if the
case-expression is in the context of a \x.  That is still
technically unsound, but it makes a big difference to
performance; and the change narrows the unsound cases
a lot.

wxwxwwxxx/ghc,christiaanb/ghc,AlexanderPankiv/ghc,ezyang/ghc,forked-upstream-packages-for-ghcjs/ghc,gridaphobe/ghc,oldmanmike/ghc,TomMD/ghc,christiaanb/ghc,elieux/ghc,oldmanmike/ghc,tibbe/ghc,fmthoma/ghc,nathyong/microghc-ghc,TomMD/ghc,mfine/ghc,vikraman/ghc,gridaphobe/ghc,elieux/ghc,vikraman/ghc,tjakway/ghcjvm,jstolarek/ghc,anton-dessiatov/ghc,sgillespie/ghc,mettekou/ghc,ml9951/ghc,lukexi/ghc,GaloisInc/halvm-ghc,nushio3/ghc,forked-upstream-packages-for-ghcjs/ghc,shlevy/ghc,sdiehl/ghc,spacekitteh/smcghc,hferreiro/replay,ryantm/ghc,nushio3/ghc,anton-dessiatov/ghc,lukexi/ghc-7.8-arm64,AlexanderPankiv/ghc,fmthoma/ghc,spacekitteh/smcghc,mcmaniac/ghc,holzensp/ghc,gcampax/ghc,da-x/ghc,urbanslug/ghc,mcschroeder/ghc,ilyasergey/GHC-XAppFix,sdiehl/ghc,ezyang/ghc,snoyberg/ghc,sgillespie/ghc,bitemyapp/ghc,lukexi/ghc-7.8-arm64,TomMD/ghc,gcampax/ghc,nathyong/microghc-ghc,frantisekfarka/ghc-dsi,mettekou/ghc,olsner/ghc,bitemyapp/ghc,AlexanderPankiv/ghc,wxwxwwxxx/ghc,ezyang/ghc,elieux/ghc,tjakway/ghcjvm,forked-upstream-packages-for-ghcjs/ghc,siddhanathan/ghc,spacekitteh/smcghc,sgillespie/ghc,ml9951/ghc,green-haskell/ghc,ghc-android/ghc,da-x/ghc,bitemyapp/ghc,vTurbine/ghc,GaloisInc/halvm-ghc,snoyberg/ghc,acowley/ghc,elieux/ghc,acowley/ghc,ilyasergey/GHC-XAppFix,vikraman/ghc,acowley/ghc,acowley/ghc,tibbe/ghc,nushio3/ghc,frantisekfarka/ghc-dsi,frantisekfarka/ghc-dsi,nomeata/ghc,urbanslug/ghc,mcschroeder/ghc,hferreiro/replay,mcschroeder/ghc,mfine/ghc,da-x/ghc,nomeata/ghc,forked-upstream-packages-for-ghcjs/ghc,nushio3/ghc,AlexanderPankiv/ghc,ryantm/ghc,ml9951/ghc,acowley/ghc,ml9951/ghc,ekmett/ghc,forked-upstream-packages-for-ghcjs/ghc,gcampax/ghc,vikraman/ghc,shlevy/ghc,christiaanb/ghc,lukexi/ghc,anton-dessiatov/ghc,olsner/ghc,green-haskell/ghc,fmthoma/ghc,AlexanderPankiv/ghc,ekmett/ghc,bitemyapp/ghc,jstolarek/ghc,holzensp/ghc,anton-dessiatov/ghc,shlevy/ghc,olsner/ghc,da-x/ghc,nomeata/ghc,ryantm/ghc,frantisekfarka/ghc-dsi,da-x/ghc,TomMD/ghc,nathyong/microghc-ghc,mcschroeder/ghc,lukexi/ghc-7.8-arm64,nathyong/microghc-ghc,sdiehl/ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,nkaretnikov/ghc,ekmett/ghc,green-haskell/ghc,snoyberg/ghc,ml9951/ghc,gridaphobe/ghc,spacekitteh/smcghc,gridaphobe/ghc,siddhanathan/ghc,AlexanderPankiv/ghc,forked-upstream-packages-for-ghcjs/ghc,gcampax/ghc,mfine/ghc,holzensp/ghc,nkaretnikov/ghc,shlevy/ghc,ryantm/ghc,nathyong/microghc-ghc,da-x/ghc,christiaanb/ghc,lukexi/ghc,hferreiro/replay,nkaretnikov/ghc,vTurbine/ghc,wxwxwwxxx/ghc,gridaphobe/ghc,fmthoma/ghc,nkaretnikov/ghc,olsner/ghc,ilyasergey/GHC-XAppFix,siddhanathan/ghc,vikraman/ghc,christiaanb/ghc,acowley/ghc,snoyberg/ghc,vTurbine/ghc,sdiehl/ghc,ghc-android/ghc,elieux/ghc,fmthoma/ghc,ekmett/ghc,mcschroeder/ghc,anton-dessiatov/ghc,mcmaniac/ghc,mcschroeder/ghc,fmthoma/ghc,TomMD/ghc,nomeata/ghc,shlevy/ghc,elieux/ghc,gridaphobe/ghc,mcmaniac/ghc,shlevy/ghc,nathyong/microghc-ghc,lukexi/ghc-7.8-arm64,nkaretnikov/ghc,ezyang/ghc,ghc-android/ghc,snoyberg/ghc,nathyong/microghc-ghc,sgillespie/ghc,tibbe/ghc,sdiehl/ghc,mettekou/ghc,hferreiro/replay,jstolarek/ghc,siddhanathan/ghc,tibbe/ghc,mfine/ghc,oldmanmike/ghc,da-x/ghc,christiaanb/ghc,gcampax/ghc,anton-dessiatov/ghc,TomMD/ghc,sdiehl/ghc,vTurbine/ghc,mcmaniac/ghc,AlexanderPankiv/ghc,siddhanathan/ghc,snoyberg/ghc,nkaretnikov/ghc,vTurbine/ghc,sgillespie/ghc,ml9951/ghc,ml9951/ghc,ezyang/ghc,vTurbine/ghc,christiaanb/ghc,siddhanathan/ghc,lukexi/ghc,mcschroeder/ghc,vikraman/ghc,wxwxwwxxx/ghc,mcmaniac/ghc,ezyang/ghc,nushio3/ghc,sgillespie/ghc,mettekou/ghc,tjakway/ghcjvm,olsner/ghc,gcampax/ghc,hferreiro/replay,tjakway/ghcjvm,sgillespie/ghc,mettekou/ghc,tjakway/ghcjvm,mfine/ghc,gridaphobe/ghc,spacekitteh/smcghc,nkaretnikov/ghc,GaloisInc/halvm-ghc,olsner/ghc,hferreiro/replay,jstolarek/ghc,ml9951/ghc,mfine/ghc,ezyang/ghc,oldmanmike/ghc,hferreiro/replay,jstolarek/ghc,nushio3/ghc,ghc-android/ghc,wxwxwwxxx/ghc,ekmett/ghc,oldmanmike/ghc,ryantm/ghc,wxwxwwxxx/ghc,shlevy/ghc,holzensp/ghc,mettekou/ghc,sdiehl/ghc,elieux/ghc,green-haskell/ghc,green-haskell/ghc,nushio3/ghc,ghc-android/ghc,acowley/ghc,urbanslug/ghc,urbanslug/ghc,urbanslug/ghc,oldmanmike/ghc,ghc-android/ghc,vTurbine/ghc,GaloisInc/halvm-ghc,oldmanmike/ghc,ilyasergey/GHC-XAppFix,wxwxwwxxx/ghc,vikraman/ghc,snoyberg/ghc,forked-upstream-packages-for-ghcjs/ghc,gcampax/ghc,nomeata/ghc,tjakway/ghcjvm,tjakway/ghcjvm,frantisekfarka/ghc-dsi,anton-dessiatov/ghc,lukexi/ghc-7.8-arm64,siddhanathan/ghc,GaloisInc/halvm-ghc,urbanslug/ghc,ghc-android/ghc,bitemyapp/ghc,TomMD/ghc,lukexi/ghc,holzensp/ghc,mettekou/ghc,urbanslug/ghc,tibbe/ghc,mfine/ghc,olsner/ghc,fmthoma/ghc