diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:25:57 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:25:57 +0100 |
| commit | 444577a049bcc9c4b577134258bf50c630d215ad (patch) | |
| tree | d787aab6510f2a4d093689cfd212e00fd5b6045e /compiler | |
| parent | e7279ac81674d83c3a1e4a1515ca3beb4dd3c7d4 (diff) | |
| download | haskell-444577a049bcc9c4b577134258bf50c630d215ad.tar.gz | |
Comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | 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 0a1dff2feb..73a648f8ff 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, |