Fix typos
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>
Mon, 18 Mar 2019 18:31:19 +0000 (19:31 +0100)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 20 Mar 2019 03:28:42 +0000 (23:28 -0400)
compiler/coreSyn/CoreOpt.hs
compiler/simplCore/Simplify.hs
compiler/typecheck/TcBinds.hs
compiler/typecheck/TcErrors.hs
compiler/typecheck/TcMType.hs
compiler/typecheck/TcType.hs
testsuite/tests/simplCore/should_compile/T7360.hs

index 0f7f5fb..fe9e172 100644 (file)
@@ -710,7 +710,7 @@ A more common case is when
 
    f = \x. error ".."
 
 
    f = \x. error ".."
 
-and again its arity increses (#15517)
+and again its arity increases (#15517)
 -}
 
 {- *********************************************************************
 -}
 
 {- *********************************************************************
index 0130e06..c6bd413 100644 (file)
@@ -2384,7 +2384,7 @@ rebuildCase, reallyRebuildCase
    :: SimplEnv
    -> OutExpr          -- Scrutinee
    -> InId             -- Case binder
    :: SimplEnv
    -> OutExpr          -- Scrutinee
    -> InId             -- Case binder
-   -> [InAlt]          -- Alternatives (inceasing order)
+   -> [InAlt]          -- Alternatives (increasing order)
    -> SimplCont
    -> SimplM (SimplFloats, OutExpr)
 
    -> SimplCont
    -> SimplM (SimplFloats, OutExpr)
 
index 9cdc939..c8c1bc0 100644 (file)
@@ -1589,7 +1589,7 @@ beta is untouchable.)
 
 Example for (E2), we generate
      q :: beta:1, with constraint (forall:3 a. Integral a => Int ~ beta)
 
 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.
 
 
 be solved absolutely fine.
 
 
index b5d98d0..1d639d7 100644 (file)
@@ -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.
 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
   -- 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
     case cec_type_holes ctxt of
        HoleError -> reportError err
        HoleWarn  -> reportWarning (Reason Opt_WarnPartialTypeSignatures) err
index e46cb50..a315611 100644 (file)
@@ -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
   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]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 Note [Naughty quantification candidates]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
index 14807da..7a991a6 100644 (file)
@@ -681,7 +681,7 @@ isSigMaybe _                = Nothing
 
 {- *********************************************************************
 *                                                                      *
 
 {- *********************************************************************
 *                                                                      *
-                Untoucable type variables
+                Untouchable type variables
 *                                                                      *
 ********************************************************************* -}
 
 *                                                                      *
 ********************************************************************* -}
 
index 4e4703c..2bf31f2 100644 (file)
@@ -15,7 +15,7 @@ fun1 x = case x of
                Foo3 {} -> ()
 
 fun2 x = (fun1 Foo1,  -- Keep -ddump-simpl output 
                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)
          case x of
           [] -> L.length x
           (_:_) -> L.length x)