Commit 6a47414f authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot

Fix typos

parent 98ff1a56
......@@ -710,7 +710,7 @@ A more common case is when
f = \x. error ".."
and again its arity increses (#15517)
and again its arity increases (#15517)
-}
{- *********************************************************************
......
......@@ -2384,7 +2384,7 @@ rebuildCase, reallyRebuildCase
:: SimplEnv
-> OutExpr -- Scrutinee
-> InId -- Case binder
-> [InAlt] -- Alternatives (inceasing order)
-> [InAlt] -- Alternatives (increasing order)
-> SimplCont
-> SimplM (SimplFloats, OutExpr)
......
......@@ -1589,7 +1589,7 @@ beta is untouchable.)
Example for (E2), we generate
q :: beta:1, with constraint (forall:3 a. Integral a => Int ~ beta)
The beta is untoucable, but floats out of the constraint and can
The beta is untouchable, but floats out of the constraint and can
be solved absolutely fine.
......
......@@ -829,11 +829,11 @@ maybeReportHoleError :: ReportErrCtxt -> Ct -> ErrMsg -> TcM ()
maybeReportHoleError ctxt ct err
-- When -XPartialTypeSignatures is on, warnings (instead of errors) are
-- generated for holes in partial type signatures.
-- Unless -fwarn_partial_type_signatures is not on,
-- Unless -fwarn-partial-type-signatures is not on,
-- in which case the messages are discarded.
| isTypeHoleCt ct
= -- For partial type signatures, generate warnings only, and do that
-- only if -fwarn_partial_type_signatures is on
-- only if -fwarn-partial-type-signatures is on
case cec_type_holes ctxt of
HoleError -> reportError err
HoleWarn -> reportWarning (Reason Opt_WarnPartialTypeSignatures) err
......
......@@ -1084,7 +1084,7 @@ Note [CandidatesQTvs determinism and order]
accumulating-parameter style for candidateQTyVarsOfType so that we
add variables one at a time, left to right. That means we tend to
produce the variables in left-to-right order. This is just to make
it bit more predicatable for the programmer.
it bit more predictable for the programmer.
Note [Naughty quantification candidates]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
......
......@@ -681,7 +681,7 @@ isSigMaybe _ = Nothing
{- *********************************************************************
* *
Untoucable type variables
Untouchable type variables
* *
********************************************************************* -}
......
......@@ -15,7 +15,7 @@ fun1 x = case x of
Foo3 {} -> ()
fun2 x = (fun1 Foo1, -- Keep -ddump-simpl output
-- in a predicatable order
-- in a predictable order
case x of
[] -> L.length x
(_:_) -> L.length x)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment