Fix a typo
authorSasa Bogicevic <t4nt0r@protonmail.com>
Tue, 17 Jul 2018 19:33:25 +0000 (21:33 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 17 Jul 2018 19:33:25 +0000 (21:33 +0200)
Reviewers: goldfire, bgamari, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15406

Differential Revision: https://phabricator.haskell.org/D4976

compiler/typecheck/TcType.hs

index 83e62e0..afe3613 100644 (file)
@@ -1448,7 +1448,7 @@ Notes:
 * The Refls will be removed later, when we zonk the type.
 
 * This /also/ applies to substitution.  We must use nakedSubstTy,
-  not substTy, bucause the latter uses smart constructors that do
+  not substTy, because the latter uses smart constructors that do
   Refl-elimination.
 
 * None of this is to do with knot-tying, which is the (quite distinct)