[project @ 2002-02-13 14:14:09 by simonpj] ------------------------------ 	Fix the "occurs check" so that 	it handles unifying a type variable 	with a type scheme 	------------------------------
[project @ 2002-02-13 14:14:09 by simonpj]
------------------------------
	Fix the "occurs check" so that
	it handles unifying a type variable
	with a type scheme
	------------------------------

It's illegal to unify a type variable with a type scheme:

	a  :=:  (forall b. b->b) -> Int

But I wasn't detecting that properly.  Now, the same code
that does the occurs check also looks for foralls.

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