Commit 444577a0 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent e7279ac8
...@@ -481,7 +481,7 @@ trySpontaneousEqTwoWay d gw tv1 tv2 ...@@ -481,7 +481,7 @@ trySpontaneousEqTwoWay d gw tv1 tv2
\end{code} \end{code}
Note [Kind errors] Note [Kind errors]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~
Consider the wanted problem: Consider the wanted problem:
alpha ~ (# Int, Int #) alpha ~ (# Int, Int #)
where alpha :: ArgKind and (# Int, Int #) :: (#). We can't spontaneously solve this constraint, where alpha :: ArgKind and (# Int, Int #) :: (#). We can't spontaneously solve this constraint,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment