Eta-expand newtype coercions in External Core
Eta-expand newtype coercions in External Core

Typechecking External Core is easier if we eta-expand axioms
in newtype declarations. For a fuller explanation, see:
http://www.haskell.org/pipermail/cvs-ghc/2008-April/041948.html

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