X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSMonad.lhs;h=4d6dcdf57f3f5e60c219b8177d42dc5faa5aa9e8;hp=5c41ff104c9764265a30871c2758e5c504993b0c;hb=40be9466afba64fffeae56a042aad45d5a0cc43d;hpb=038a429f51ad0625ea6bb31a94a40b2aeaeebca6

diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs
index 5c41ff1..4d6dcdf 100644
--- a/compiler/typecheck/TcSMonad.lhs
+++ b/compiler/typecheck/TcSMonad.lhs
@@ -145,7 +145,8 @@ data CanonicalCt
        -- Invariant: 
        --   * tv not in tvs(xi)   (occurs check)
        --   * If constraint is given then typeKind xi ==  typeKind tv 
-       --                See Note [Spontaneous solving and kind compatibility] 
+       --      See Note [Spontaneous solving and kind compatibility] 
+       --          in TcInteract  
       cc_id     :: EvVar, 
       cc_flavor :: CtFlavor, 
       cc_tyvar :: TcTyVar,