diff options
| author | Gabor Greif <ggreif@gmail.com> | 2015-12-14 10:43:23 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2015-12-14 10:57:05 +0100 |
| commit | 65920c9e6a17094c3a0abbdbed5ab01f8524850e (patch) | |
| tree | 88374635449b36a150ccdd54f7bd7628c7563fea /compiler | |
| parent | baed2f5a26a5d4c4e951bd8f003f71fca3ef45e8 (diff) | |
| download | haskell-65920c9e6a17094c3a0abbdbed5ab01f8524850e.tar.gz | |
Some more typos in comments
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcSimplify.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs index 190c6c4e66..261abd0991 100644 --- a/compiler/typecheck/TcSimplify.hs +++ b/compiler/typecheck/TcSimplify.hs @@ -425,11 +425,11 @@ tcCheckSatisfiability :: Bag EvVar -> TcM Bool tcCheckSatisfiability givens = do { lcl_env <- TcM.getLclEnv ; let given_loc = mkGivenLoc topTcLevel UnkSkol lcl_env - ; traceTc "checkSatisfiabilty {" (ppr givens) + ; traceTc "checkSatisfiability {" (ppr givens) ; (res, _ev_binds) <- runTcS $ do { cts <- solveSimpleGivens given_loc (bagToList givens) ; return (not (isEmptyBag cts)) } - ; traceTc "checkSatisfiabilty }" (ppr res) + ; traceTc "checkSatisfiability }" (ppr res) ; return (not res) } {- |