Fix typo in comment
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 16 Jun 2015 01:01:26 +0000 (21:01 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 16 Jun 2015 18:22:53 +0000 (14:22 -0400)
compiler/typecheck/TcCanonical.hs

index 47be054..7512e42 100644 (file)
@@ -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.