diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-09-21 09:08:15 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-09-21 09:08:15 -0400 |
| commit | ced2cb5e8fbf4493488d1c336da7b00d174923ce (patch) | |
| tree | 2fc1d913035057b93e6e515ea69b6e51836f7ace | |
| parent | d7705f2fbead058700940321982a6315450dbcd1 (diff) | |
| download | haskell-ced2cb5e8fbf4493488d1c336da7b00d174923ce.tar.gz | |
Typofixes (visiblity -> visibility)
| -rw-r--r-- | compiler/typecheck/TcHsType.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcTyDecls.hs | 2 | ||||
| -rw-r--r-- | compiler/types/Class.hs | 2 | ||||
| -rw-r--r-- | compiler/types/TyCoRep.hs | 6 |
4 files changed, 6 insertions, 6 deletions
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs index 709206e99f..eb44fb4391 100644 --- a/compiler/typecheck/TcHsType.hs +++ b/compiler/typecheck/TcHsType.hs @@ -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 diff --git a/compiler/typecheck/TcTyDecls.hs b/compiler/typecheck/TcTyDecls.hs index e59c612aff..6b77cc7b7b 100644 --- a/compiler/typecheck/TcTyDecls.hs +++ b/compiler/typecheck/TcTyDecls.hs @@ -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 diff --git a/compiler/types/Class.hs b/compiler/types/Class.hs index 3bc88969bf..09c256ac4c 100644 --- a/compiler/types/Class.hs +++ b/compiler/types/Class.hs @@ -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 diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 27f177ac96..a644298e8c 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -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 |