Commit 392924c9 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comment typo

parent 2eea4acb
......@@ -988,7 +988,7 @@ see dropDerivedWC. For example,
* If we have kind-incompatible (a::* ~ Int#::#) equality, we
don't want to complain about the kind error twice.
Arguably, for *some* derived contraints we might want to report errors.
Arguably, for *some* derived constraints we might want to report errors.
Notably, functional dependencies. If we have
class C a b | a -> b
and we have
......
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