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