Typos in comments

compiler/coreSyn/MkCore.hs

@@ -750,7 +750,7 @@ mkRuntimeErrorId name
 'error' and 'undefined' have types
         error     :: forall (v :: RuntimeRep) (a :: TYPE v). String -> a
         undefined :: forall (v :: RuntimeRep) (a :: TYPE v). a
-Notice the runtime-representation polymophism. This ensures that
+Notice the runtime-representation polymorphism. This ensures that
 "error" can be instantiated at unboxed as well as boxed types.
 This is OK because it never returns, so the return type is irrelevant.
 -}

compiler/main/DynFlags.hs

@@ -893,7 +893,7 @@ data DynFlags = DynFlags {
 
   nextWrapperNum        :: IORef (ModuleEnv Int),
 
-  -- | Machine dependant flags (-m<blah> stuff)
+  -- | Machine dependent flags (-m<blah> stuff)
   sseVersion            :: Maybe SseVersion,
   avx                   :: Bool,
   avx2                  :: Bool,
@@ -2969,7 +2969,7 @@ dynamic_flags_deps = [
         (NoArg (setGeneralFlag Opt_NoLlvmMangler)) -- hidden flag
   , make_ord_flag defGhcFlag "ddump-debug"        (setDumpFlag Opt_D_dump_debug)
 
-        ------ Machine dependant (-m<blah>) stuff ---------------------------
+        ------ Machine dependent (-m<blah>) stuff ---------------------------
 
   , make_ord_flag defGhcFlag "msse"         (noArg (\d ->
                                                   d { sseVersion = Just SSE1 }))

compiler/main/HeaderInfo.hs

@@ -97,7 +97,7 @@ mkPrelImports :: ModuleName
               -> SrcSpan    -- Attribute the "import Prelude" to this location
               -> Bool -> [LImportDecl RdrName]
               -> [LImportDecl RdrName]
--- Consruct the implicit declaration "import Prelude" (or not)
+-- Construct the implicit declaration "import Prelude" (or not)
 --
 -- NB: opt_NoImplicitPrelude is slightly different to import Prelude ();
 -- because the former doesn't even look at Prelude.hi for instance

compiler/typecheck/TcDeriv.hs

@@ -368,7 +368,7 @@ Consider this (see Trac #1954):
   newtype P a = MkP (IO a) deriving Monad
 
 If you compile with -Wunused-binds you do not expect the warning
-"Defined but not used: data consructor MkP". Yet the newtype deriving
+"Defined but not used: data constructor MkP". Yet the newtype deriving
 code does not explicitly mention MkP, but it should behave as if you
 had written
   instance Monad P where

compiler/typecheck/TcFlatten.hs

@@ -1322,7 +1322,7 @@ It is easy to implement, in TcInteract.kick_out, by only kicking out an inert
 only if (a) the work item can rewrite the inert AND
         (b) the inert cannot rewrite the work item
 
-This is signifcantly harder to think about. It can save a LOT of work
+This is significantly harder to think about. It can save a LOT of work
 in occurs-check cases, but we don't care about them much.  Trac #5837
 is an example; all the constraints here are Givens
 

compiler/typecheck/TcSMonad.hs

@@ -1155,7 +1155,7 @@ Note [Do not do improvement for WOnly]
 We do improvement between two constraints (e.g. for injectivity
 or functional dependencies) only if both are "improvable". And
 we improve a constraint wrt the top-level instances only if
-it is improveable.
+it is improvable.
 
 Improvable:     [G] [WD] [D}
 Not improvable: [W]

libraries/base/Control/Exception.hs

@@ -305,7 +305,7 @@ exceptions is that they normally can occur anywhere, but within a
 interruptible (or call other interruptible operations).  In many cases
 these operations may themselves raise exceptions, such as I\/O errors,
 so the caller will usually be prepared to handle exceptions arising from the
-operation anyway.  To perfom an explicit poll for asynchronous exceptions
+operation anyway.  To perform an explicit poll for asynchronous exceptions
 inside 'mask', use 'allowInterrupt'.
 
 Sometimes it is too onerous to handle exceptions in the middle of a

libraries/base/tests/unicode001.hs

--- !!! Tests the various character classifiactions for a selection of Unicode
+-- !!! Tests the various character classifications for a selection of Unicode
 -- characters.
 
 module Main where

libraries/integer-gmp/src/GHC/Integer/Type.hs

@@ -1793,7 +1793,7 @@ byteArrayToBigNat# ba# n0#
 
     n#  = fmssl (n0# -# 1#)
 
-    -- find most signifcant set limb, return normalized size
+    -- find most significant set limb, return normalized size
     fmssl i#
       | isTrue# (i# <# 0#)                             = 0#
       | isTrue# (neWord# (indexWordArray# ba# i#) 0##) = i# +# 1#

testsuite/tests/simplCore/should_run/simplrun007.hs

@@ -15,7 +15,7 @@ main = do phex (I# (uncheckedIShiftL#  (negateInt# 5#) 2#))
 
 phex x = putStrLn (showSigned (\x -> ("0x"++) . showHex x) 0 x "")
 
-{- Too wordsize-dependant
+{- Too wordsize-dependent
 phex x = putStrLn (hex x)
 hex x = "0x" ++ [onedigit (fromIntegral ((x `shiftR` (i*4)) .&. 0xF))
                  | i <- [digits-1,digits-2..0]]

testsuite/tests/typecheck/should_compile/T12427a.hs

@@ -20,7 +20,7 @@ h11 y = case y of T1 _ v -> v
 -- Failed in 8.0.1
 -- Succeeds in 8.2 because the pattern match has
 --   no existentials, so it doesn't matter than
---   v is polymoprhic
+--   v is polymorphic
 h12 y = case y of T2 v -> v
 
 -- Inference

testsuite/tests/typecheck/should_compile/T2357.hs

@@ -4,7 +4,7 @@ module Foo where
 
 f :: Read a => a
 -- This one needs NoMonomorphismRestriction else f could
--- not get a polymoprhic type
+-- not get a polymorphic type
 (f, _) = (read "3", True)
 
 g :: Read a => a