[commit: ghc] master: Typo: veraibles -> variables (4221cc2)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4221cc28d5e7bde8c52d54a050e477c1afaa62c5/ghc

>---------------------------------------------------------------

commit 4221cc28d5e7bde8c52d54a050e477c1afaa62c5
Author: Bartosz Nitka <niteria at gmail.com>
Date:   Fri Apr 22 05:20:54 2016 -0700

    Typo: veraibles -> variables


>---------------------------------------------------------------

4221cc28d5e7bde8c52d54a050e477c1afaa62c5
 compiler/typecheck/TcType.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index 40a5a6f..bff6450 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -871,7 +871,7 @@ instance Outputable TcDepVars where
 In Haskell type inference we quantify over type variables; but we only
 quantify over /kind/ variables when -XPolyKinds is on. So when
 collecting the free vars of a type, prior to quantifying, we must keep
-the type and kind veraibles separate.  But what does that mean in a
+the type and kind variables separate.  But what does that mean in a
 system where kind variables /are/ type variables? It's a fairly
 arbitrary distinction based on how the variables appear: