Use TcMType.growThetaTyVars (which works) rather than TcSimplify.growPreds (which doesn't)
Use TcMType.growThetaTyVars (which works) rather than TcSimplify.growPreds (which doesn't)

I think this got left behind when we simplified and improved TcSimplify.  The effect
was that we had a function like
   class P a b | a -> b
   class Q b c | b -> c

   f :: (P a b, Q b c) => a -> a

and were were failing to quanitfy over 'c', even though it is (indirectly) determined
by 'a'.

This make Programatica fail to compile: Trac #7147

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