Commit 4221cc28 authored by niteria's avatar niteria

Typo: veraibles -> variables

parent ed4a2289
......@@ -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:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment