[project @ 2005-05-20 11:32:03 by simonpj] Liberalise the defaulting rules for GHCi
[project @ 2005-05-20 11:32:03 by simonpj]
Liberalise the defaulting rules for GHCi

		Merge to STABLE?

The H98 defaulting rules are these.  Group constraints of the form (C v),
for some particular type variable v. Then default v if

a) v appears only in this group (no implicit params or D [v])
b) at least one of the C's is numeric
c) all the C's are standard

GHCi changed rules (b) to

(b') at least one of the C's is numeric, or Eq,Ord,Show

This commit further liberalises GHCi to change (c):

(c') any of the C's are standard

Otherwise the existence of a non-standard class (e.g. Random) is enough
to kill defaulting altogether.

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