[project @ 2003-04-09 08:07:58 by simonpj] -------------------------------------       Fix a functional-dependency-related bug in 		tcSimpifyRestricted 	-------------------------------------
[project @ 2003-04-09 08:07:58 by simonpj]
-------------------------------------
      Fix a functional-dependency-related bug in
		tcSimpifyRestricted
	-------------------------------------

	MERGE TO STABLE if it goes over conveniently
		(but I rather think it may not)

tcSimplifyRestricted works by (a) simplifying brutall to find out
what the constrained type variables are, and (b) simplifying more
gently, knowing the constrained type varaibles.  The bug is that
in step (b) we were not doing the check-for-improvement-and-loop
part, thinking that step (a) had alrady done all the improvement.
But not so, as an example in the code now shows.

Simple to fix.  I rather think we could tidy up these various loops.

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