diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-20 14:09:35 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-21 10:07:12 +0000 |
| commit | 6f95e23249c18d2e808b6586d2efecd3f3f0fb50 (patch) | |
| tree | 2a75bc1400bbf6a1929299bbb4db016ac1fa5012 /compiler | |
| parent | c572430cdade1d8c66fa9c4f1f251dfce09243f0 (diff) | |
| download | haskell-6f95e23249c18d2e808b6586d2efecd3f3f0fb50.tar.gz | |
Comments only
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 c428ce9104..9ea3d915fd 100644 --- a/compiler/typecheck/TcSimplify.hs +++ b/compiler/typecheck/TcSimplify.hs @@ -146,7 +146,7 @@ simpl_top wanteds ; if something_happened then do { wc_residual <- nestTcS (solveWantedsAndDrop wc) ; try_class_defaulting wc_residual } - -- See Note [Overview of implicit CallStacks] + -- See Note [Overview of implicit CallStacks] in TcEvidence else try_callstack_defaulting wc } try_callstack_defaulting :: WantedConstraints -> TcS WantedConstraints @@ -158,7 +158,7 @@ simpl_top wanteds -- | Default any remaining @CallStack@ constraints to empty @CallStack@s. defaultCallStacks :: WantedConstraints -> TcS WantedConstraints --- See Note [Overview of implicit CallStacks] +-- See Note [Overview of implicit CallStacks] in TcEvidence defaultCallStacks wanteds = do simples <- handle_simples (wc_simple wanteds) implics <- mapBagM handle_implic (wc_impl wanteds) |