[commit: ghc] wip/gadtpm: Replace check to isSatisfiable (156c56e)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/156c56e7338245eed14b04bc7d58f2129d12a3aa/ghc

>---------------------------------------------------------------

commit 156c56e7338245eed14b04bc7d58f2129d12a3aa
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Feb 10 13:13:51 2015 +0000

    Replace check to isSatisfiable


>---------------------------------------------------------------

156c56e7338245eed14b04bc7d58f2129d12a3aa
 compiler/deSugar/Check.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs
index 5c12cbb..a64ba89 100644
--- a/compiler/deSugar/Check.hs
+++ b/compiler/deSugar/Check.hs
@@ -415,7 +415,7 @@ alg_forces _ _ = give_up
 --Covering part of function `alg'
 alg_covers :: UncoveredVec -> InVec -> PmM Covers
 -- empty
-alg_covers (delta,[]) [] = return True -- isSatisfiable delta -- let's leave this aside for now
+alg_covers (delta,[]) [] = isSatisfiable delta -- let's leave this aside for now
 
 -- any-var
 alg_covers (delta, u : us) ((PmVarPat ty _var) : ps) = do