Commit a6b8b9c2 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Fix typo in comment

parent 298c4244
......@@ -679,7 +679,7 @@ Here is one case:
data family DF a
newtype instance DF Bool = MkDF Int
Suppose we are canonicalising (Int ~R DF (T a)), where we don't yet
Suppose we are canonicalising (Int ~R DF (TF a)), where we don't yet
know `a`. This is *not* a hard failure, because we might soon learn
that `a` is, in fact, Char, and then the equality succeeds.
......
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