diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-06-15 21:01:26 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-06-16 14:22:53 -0400 |
| commit | a6b8b9c210e0d66b0a975f29fbfb1e753b50e28e (patch) | |
| tree | 6483593edf8d78d82efe6efee97c400b10e384e0 | |
| parent | 298c4244022546842390e51c04b08760d884a6dc (diff) | |
| download | haskell-a6b8b9c210e0d66b0a975f29fbfb1e753b50e28e.tar.gz | |
Fix typo in comment
| -rw-r--r-- | compiler/typecheck/TcCanonical.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcCanonical.hs b/compiler/typecheck/TcCanonical.hs index 47be054b6d..7512e42364 100644 --- a/compiler/typecheck/TcCanonical.hs +++ b/compiler/typecheck/TcCanonical.hs @@ -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. |