Commit ced2cb5e authored by Ryan Scott's avatar Ryan Scott

Typofixes (visiblity -> visibility)

parent d7705f2f
......@@ -1329,7 +1329,7 @@ Here
and
T :: forall {k3} k1. forall k3 -> k1 -> k2 -> k3 -> *
See Note [TyVarBndrs, TyVarBinders, TyConBinders, and visiblity]
See Note [TyVarBndrs, TyVarBinders, TyConBinders, and visibility]
in TyCoRep.
kcHsTyVarBndrs uses the hsq_dependent field to decide whether
......
......@@ -782,7 +782,7 @@ mkDefaultMethodType cls _ (GenericDM dm_ty) = mkSigmaTy tv_bndrs [pred] dm_ty
tv_bndrs = tyConTyVarBinders cls_bndrs
-- NB: the Class doesn't have TyConBinders; we reach into its
-- TyCon to get those. We /do/ need the TyConBinders because
-- we need the correct visiblity: these default methods are
-- we need the correct visibility: these default methods are
-- used in code generated by the the fill-in for missing
-- methods in instances (TcInstDcls.mkDefMethBind), and
-- then typechecked. So we need the right visibilty info
......
......@@ -62,7 +62,7 @@ data Class
classTyVars :: [TyVar], -- The class kind and type variables;
-- identical to those of the TyCon
-- If you want visiblity info, look at the classTyCon
-- If you want visibility info, look at the classTyCon
-- This field is redundant because it's duplicated in the
-- classTyCon, but classTyVars is used quite often, so maybe
-- it's a bit faster to cache it here
......
......@@ -462,8 +462,8 @@ words, if `x` is either a function or a polytype, `x arg` makes sense
(for an appropriate `arg`).
Note [TyVarBndrs, TyVarBinders, TyConBinders, and visiblity]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Note [TyVarBndrs, TyVarBinders, TyConBinders, and visibility]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* A ForAllTy (used for both types and kinds) contains a TyVarBinder.
Each TyVarBinder
TvBndr a tvis
......@@ -476,7 +476,7 @@ Note [TyVarBndrs, TyVarBinders, TyConBinders, and visiblity]
and kind arguments for this TyCon should be visible (explicit) in
source Haskell.
This table summarises the visiblity rules:
This table summarises the visibility rules:
---------------------------------------------------------------------------------------
| Occurrences look like this
| GHC displays type as in Haskell source code
......
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