[project @ 2005-07-27 08:04:02 by simonpj] Try MERGE to STABLE
[project @ 2005-07-27 08:04:02 by simonpj]
Try MERGE to STABLE

GHC does not do type subsumption in patterns.  But it should be fine if
the expected type and the pattern have the same type, even if they
are polymorphic.  But that test (in TcUnify.tcSubPat) wasn't implemented
right, which gave rise to perplexing messages like:

   Couldn't match `forall a. a -> b' against `forall a. a -> b'

This fixes the bug.
tc198 tests it, while tcfail145 tests the non-matching case.

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