diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-06-29 14:00:03 -0400 |
---|---|---|
committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-06-29 14:00:03 -0400 |
commit | c2fb6e8e8e568a9cc7a2da61c4f966c3742c9dbb (patch) | |
tree | f4d8874206d9b37f4c31a38183333b00d5a90b1e | |
parent | 58c781da4861faab11e4c5804e07e6892908ef72 (diff) | |
download | haskell-c2fb6e8e8e568a9cc7a2da61c4f966c3742c9dbb.tar.gz |
Typos in comments
[ci skip]
-rw-r--r-- | compiler/basicTypes/DataCon.hs | 2 | ||||
-rw-r--r-- | compiler/basicTypes/Var.hs | 2 | ||||
-rw-r--r-- | compiler/iface/ToIface.hs | 2 | ||||
-rw-r--r-- | compiler/types/TyCoRep.hs | 4 |
4 files changed, 5 insertions, 5 deletions
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs index 1629f3604b..73bbf2cf57 100644 --- a/compiler/basicTypes/DataCon.hs +++ b/compiler/basicTypes/DataCon.hs @@ -425,7 +425,7 @@ For the TyVarBinders in a DataCon and PatSyn: Why do we need the TyVarBinders, rather than just the TyVars? So that we can construct the right type for the DataCon with its foralls -attributed the correce visiblity. That in turn governs whether you +attributed the correct visibility. That in turn governs whether you can use visible type application at a call of the data constructor. Note [DataCon arities] diff --git a/compiler/basicTypes/Var.hs b/compiler/basicTypes/Var.hs index d07d9ec010..87c4fe2240 100644 --- a/compiler/basicTypes/Var.hs +++ b/compiler/basicTypes/Var.hs @@ -404,7 +404,7 @@ sameVis _ _ = True -- Type Variable Binder -- --- TyVarBndr is polymorphic in both tyvar and visiblity fields: +-- TyVarBndr is polymorphic in both tyvar and visibility fields: -- * tyvar can be TyVar or IfaceTv -- * argf can be ArgFlag or TyConBndrVis data TyVarBndr tyvar argf = TvBndr tyvar argf diff --git a/compiler/iface/ToIface.hs b/compiler/iface/ToIface.hs index 59184dcab0..6f2acba21d 100644 --- a/compiler/iface/ToIface.hs +++ b/compiler/iface/ToIface.hs @@ -257,7 +257,7 @@ toIfaceTcArgs = toIfaceTcArgsX emptyVarSet toIfaceTcArgsX :: VarSet -> TyCon -> [Type] -> IfaceTcArgs -- See Note [Suppressing invisible arguments] --- We produce a result list of args describing visiblity +-- We produce a result list of args describing visibility -- The awkward case is -- T :: forall k. * -> k -- And consider diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index fbf0a9fbcf..5ac63e5b04 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -484,7 +484,7 @@ In the kind of a type optional kind applications, thus (T @*), but we have not yet implemented that ----- Examples of where the different visiblities come from ----- +---- Examples of where the different visibilities come from ----- In term declarations: @@ -548,7 +548,7 @@ In type declarations: ---- Printing ----- - We print forall types with enough syntax to tell you their visiblity + We print forall types with enough syntax to tell you their visibility flag. But this is not source Haskell, and these types may not all be parsable. |