Commit 4dda4edb authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comment wibble

parent 290a553e
......@@ -1022,7 +1022,7 @@ It checks for three things
Note that 'b' isn't a parameter of T. This gives rise to all sorts of
problems; in particular, it's hard to compare solutions for equality
when finding the fixpoint, and that means the inferContext loop does
not converge. See Trac #5287.
not converge. See Trac #5287.
Note [Equality class instances]
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