Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 20 Jan 2016 14:09:35 +0000 (14:09 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 21 Jan 2016 10:07:12 +0000 (10:07 +0000)
compiler/typecheck/TcSimplify.hs

index c428ce9..9ea3d91 100644 (file)
@@ -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)