summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabor Greif <ggreif@gmail.com>2017-08-01 14:14:31 +0200
committerGabor Greif <ggreif@gmail.com>2017-08-01 14:14:31 +0200
commit7a74f5053fa0972b8ce191f7492e1692f09c2e1d (patch)
treeedc24aef98bec95f9b91cd71026dcd9e1c2b8c37
parent2ef973e823ffb128f9f3b4b85b219e1627dceabf (diff)
downloadhaskell-7a74f5053fa0972b8ce191f7492e1692f09c2e1d.tar.gz
Typofixes [ci skip]
-rw-r--r--compiler/basicTypes/DataCon.hs2
-rw-r--r--compiler/basicTypes/Id.hs2
-rw-r--r--compiler/coreSyn/PprCore.hs2
-rw-r--r--compiler/deSugar/DsBinds.hs2
-rw-r--r--compiler/simplCore/Simplify.hs2
5 files changed, 5 insertions, 5 deletions
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
index b8a1b04ce1..fa8e0a846f 100644
--- a/compiler/basicTypes/DataCon.hs
+++ b/compiler/basicTypes/DataCon.hs
@@ -778,7 +778,7 @@ mkDataCon name declared_infix prom_info
-- data T a where { MkT :: S }
-- then it's possible that the univ_tvs may hit an assertion failure
-- if you pull on univ_tvs. This case is checked by checkValidDataCon,
--- so the error is detected properly... it's just that asaertions here
+-- so the error is detected properly... it's just that assertions here
-- are a little dodgy.
= con
diff --git a/compiler/basicTypes/Id.hs b/compiler/basicTypes/Id.hs
index 290e26291d..aab55697ee 100644
--- a/compiler/basicTypes/Id.hs
+++ b/compiler/basicTypes/Id.hs
@@ -715,7 +715,7 @@ setIdCafInfo :: Id -> CafInfo -> Id
setIdCafInfo id caf_info = modifyIdInfo (`setCafInfo` caf_info) id
---------------------------------
- -- Occcurrence INFO
+ -- Occurrence INFO
idOccInfo :: Id -> OccInfo
idOccInfo id = occInfo (idInfo id)
diff --git a/compiler/coreSyn/PprCore.hs b/compiler/coreSyn/PprCore.hs
index 28d35528fe..1ac3084e39 100644
--- a/compiler/coreSyn/PprCore.hs
+++ b/compiler/coreSyn/PprCore.hs
@@ -374,7 +374,7 @@ pprTypedLamBinder bind_site debug_on var
= sdocWithDynFlags $ \dflags ->
case () of
_
- | not debug_on -- Show case-bound wild bilders only if debug is on
+ | not debug_on -- Show case-bound wild binders only if debug is on
, CaseBind <- bind_site
, isDeadBinder var -> empty
diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs
index 41aeb93f21..a3e5c1501f 100644
--- a/compiler/deSugar/DsBinds.hs
+++ b/compiler/deSugar/DsBinds.hs
@@ -195,7 +195,7 @@ dsHsBind _ (PatSynBind{}) = panic "dsHsBind: PatSynBind"
-----------------------
dsAbsBinds :: DynFlags
-> [TyVar] -> [EvVar] -> [ABExport GhcTc]
- -> [CoreBind] -- Desugared evidence bidings
+ -> [CoreBind] -- Desugared evidence bindings
-> ([Id], [(Id,CoreExpr)]) -- Desugared value bindings
-> Bool -- Single binding with signature
-> DsM ([Id], [(Id,CoreExpr)])
diff --git a/compiler/simplCore/Simplify.hs b/compiler/simplCore/Simplify.hs
index dd0d45bc0e..1fc9112fcf 100644
--- a/compiler/simplCore/Simplify.hs
+++ b/compiler/simplCore/Simplify.hs
@@ -2699,7 +2699,7 @@ Note [Add unfolding for scrutinee]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In general it's unlikely that a variable scrutinee will appear
in the case alternatives case x of { ...x unlikely to appear... }
-because the binder-swap in OccAnal has got rid of all such occcurrences
+because the binder-swap in OccAnal has got rid of all such occurrences
See Note [Binder swap] in OccAnal.
BUT it is still VERY IMPORTANT to add a suitable unfolding for a