diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/basicTypes/DataCon.hs | 2 | ||||
| -rw-r--r-- | compiler/basicTypes/Id.hs | 2 | ||||
| -rw-r--r-- | compiler/coreSyn/PprCore.hs | 2 | ||||
| -rw-r--r-- | compiler/deSugar/DsBinds.hs | 2 | ||||
| -rw-r--r-- | compiler/simplCore/Simplify.hs | 2 |
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 |