[commit: ghc] tc-untouchables: Comments only (444577a)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/444577a049bcc9c4b577134258bf50c630d215ad >--------------------------------------------------------------- commit 444577a049bcc9c4b577134258bf50c630d215ad Author: Simon Peyton Jones <[email protected]> Date: Fri Sep 28 15:25:57 2012 +0100 Comments only >--------------------------------------------------------------- compiler/typecheck/TcInteract.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index 0a1dff2..73a648f 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -481,7 +481,7 @@ trySpontaneousEqTwoWay d gw tv1 tv2 \end{code} Note [Kind errors] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +~~~~~~~~~~~~~~~~~~ Consider the wanted problem: alpha ~ (# Int, Int #) where alpha :: ArgKind and (# Int, Int #) :: (#). We can't spontaneously solve this constraint,