diff options
author | Gabor Greif <ggreif@gmail.com> | 2016-07-22 00:32:28 +0200 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2016-07-22 00:41:12 +0200 |
commit | bbf36f89c7ddee9ec63b12fe735cc758de4e3da2 (patch) | |
tree | 807fdde580624b2b3fd852b59a8ad85bb3ef6b23 /compiler | |
parent | e710f8f52a66d0666ed681049e17902b3d12bb39 (diff) | |
download | haskell-bbf36f89c7ddee9ec63b12fe735cc758de4e3da2.tar.gz |
More typos in comments
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/deSugar/Desugar.hs | 2 | ||||
-rw-r--r-- | compiler/deSugar/DsGRHSs.hs | 2 | ||||
-rw-r--r-- | compiler/prelude/primops.txt.pp | 2 | ||||
-rw-r--r-- | compiler/simplCore/CallArity.hs | 2 | ||||
-rw-r--r-- | compiler/specialise/Specialise.hs | 6 |
5 files changed, 7 insertions, 7 deletions
diff --git a/compiler/deSugar/Desugar.hs b/compiler/deSugar/Desugar.hs index 7ce0c6d628..6a6c012d1d 100644 --- a/compiler/deSugar/Desugar.hs +++ b/compiler/deSugar/Desugar.hs @@ -672,7 +672,7 @@ We want the user to express a rule saying roughly “mapping a coercion over a list can be replaced by a coercion”. But the cast operator of Core (▷) cannot be written in Haskell. So we use `coerce` for that (#2110). The user writes map coerce = coerce -as a RULE, and this optimizes any kind of mapped' casts aways, including `map +as a RULE, and this optimizes any kind of mapped' casts away, including `map MkNewtype`. For that we replace any forall'ed `c :: Coercible a b` value in a RULE by diff --git a/compiler/deSugar/DsGRHSs.hs b/compiler/deSugar/DsGRHSs.hs index d08bd559b2..0c34bc238d 100644 --- a/compiler/deSugar/DsGRHSs.hs +++ b/compiler/deSugar/DsGRHSs.hs @@ -133,7 +133,7 @@ isTrueLHsExpr :: LHsExpr Id -> Maybe (CoreExpr -> DsM CoreExpr) -- * 'otherwise' Id -- * Trivial wappings of these -- The arguments to Just are any HsTicks that we have found, --- because we still want to tick then, even it they are aways evaluted. +-- because we still want to tick then, even it they are always evaluated. isTrueLHsExpr (L _ (HsVar (L _ v))) | v `hasKey` otherwiseIdKey || v `hasKey` getUnique trueDataConId = Just return diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index c617e9431a..e948610556 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -2527,7 +2527,7 @@ primop ParOp "par#" GenPrimOp a -> Int# with -- Note that Par is lazy to avoid that the sparked thing - -- gets evaluted strictly, which it should *not* be + -- gets evaluated strictly, which it should *not* be has_side_effects = True code_size = { primOpCodeSizeForeignCall } diff --git a/compiler/simplCore/CallArity.hs b/compiler/simplCore/CallArity.hs index fda28a8f65..0186c67f4c 100644 --- a/compiler/simplCore/CallArity.hs +++ b/compiler/simplCore/CallArity.hs @@ -150,7 +150,7 @@ The interesting cases of the analysis: Only one can be execuded, so Return (alt₁ ∪ alt₂ ∪...) * App e₁ e₂ (and analogously Case scrut alts), with non-trivial e₂: - We get the results from both sides, with the argument evaluted at most once. + We get the results from both sides, with the argument evaluated at most once. Additionally, anything called by e₁ can possibly be called with anything from e₂. Return: C(e₁) ∪ C(e₂) ∪ (fv e₁) × (fv e₂) diff --git a/compiler/specialise/Specialise.hs b/compiler/specialise/Specialise.hs index 644ecc7d43..72118aa171 100644 --- a/compiler/specialise/Specialise.hs +++ b/compiler/specialise/Specialise.hs @@ -2307,12 +2307,12 @@ is used: Now give it to the simplifier and the _Lifting will be optimised away. -The benfit is that we have given the specialised "unboxed" values a -very simplep lifted semantics and then leave it up to the simplifier to +The benefit is that we have given the specialised "unboxed" values a +very simple lifted semantics and then leave it up to the simplifier to optimise it --- knowing that the overheads will be removed in nearly all cases. -In particular, the value will only be evaluted in the branches of the +In particular, the value will only be evaluated in the branches of the program which use it, rather than being forced at the point where the value is bound. For example: |