Commit 82b54fcf authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix comment typo

parent 3174beb6
......@@ -3020,7 +3020,7 @@ If -fprint-equality-relations or -dppr-debug or we are in
If ...something about heterogeneous equalities
Ohherwise print 'Coercible' for (~#), and "~" for the others.
Otherwise print 'Coercible' for (~R#), and "~" for the others.
This is all a bit ad-hoc, trying to print out the best representation
of equalities. If you see a better design, go for it.
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