[project @ 1997-07-05 01:46:09 by sof] added specialiseTy, instantiateThetaTy
[project @ 1997-07-05 01:46:09 by sof]
added specialiseTy, instantiateThetaTy

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