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