diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-22 05:20:54 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-22 05:20:54 -0700 |
| commit | 4221cc28d5e7bde8c52d54a050e477c1afaa62c5 (patch) | |
| tree | 05cbcae2e7697c4d7fd89a7d78c2c3203126a5ca | |
| parent | ed4a2289825e2696ffd001b9b1b7e241676ab02f (diff) | |
| download | haskell-4221cc28d5e7bde8c52d54a050e477c1afaa62c5.tar.gz | |
Typo: veraibles -> variables
| -rw-r--r-- | compiler/typecheck/TcType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index 40a5a6f2a1..bff6450de8 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: |