diff options
Diffstat (limited to 'compiler/typecheck/TcSMonad.hs')
-rw-r--r-- | compiler/typecheck/TcSMonad.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs index a845623aaa..c5ffb054f2 100644 --- a/compiler/typecheck/TcSMonad.hs +++ b/compiler/typecheck/TcSMonad.hs @@ -3401,10 +3401,8 @@ newGivenEvVars loc pts = mapM (newGivenEvVar loc) pts emitNewWantedEq :: CtLoc -> Role -> TcType -> TcType -> TcS Coercion -- | Emit a new Wanted equality into the work-list emitNewWantedEq loc role ty1 ty2 - | otherwise = do { (ev, co) <- newWantedEq loc role ty1 ty2 - ; updWorkListTcS $ - extendWorkListEq (mkNonCanonical ev) + ; updWorkListTcS (extendWorkListEq (mkNonCanonical ev)) ; return co } -- | Make a new equality CtEvidence |