Typos in changelog and comments
authorGabor Greif <ggreif@gmail.com>
Mon, 6 Mar 2017 16:53:29 +0000 (17:53 +0100)
committerGabor Greif <ggreif@gmail.com>
Tue, 7 Mar 2017 07:34:55 +0000 (08:34 +0100)
12 files changed:
compiler/deSugar/Desugar.hs
compiler/simplCore/SetLevels.hs
compiler/specialise/SpecConstr.hs
compiler/typecheck/TcInteract.hs
compiler/typecheck/TcTyDecls.hs
configure.ac
libraries/base/Data/Data.hs
libraries/base/GHC/IO/Buffer.hs
libraries/base/changelog.md
testsuite/tests/indexed-types/should_fail/T2239.hs
testsuite/tests/typecheck/should_fail/tcfail179.hs
testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs

index d5931d1..1458b91 100644 (file)
@@ -525,7 +525,7 @@ by 'competesWith'
 Class methods have a built-in RULE to select the method from the dictionary,
 so you can't change the phase on this.  That makes id very dubious to
 match on class methods in RULE lhs's.   See Trac #10595.   I'm not happy
-about this. For exmaple in Control.Arrow we have
+about this. For example in Control.Arrow we have
 
 {-# RULES "compose/arr"   forall f g .
                           (arr f) . (arr g) = arr (f . g) #-}
index 2976895..8822019 100644 (file)
@@ -1104,7 +1104,7 @@ lvlBind env (AnnRec pairs)
                 -- Both are checked by Lint
     is_fun   = all isFunction rhss
     is_bot   = False  -- It's odd to have an unconditionally divergent
-                      -- funtion in a Rec, and we don't much care what
+                      -- function in a Rec, and we don't much care what
                       -- happens to it.  False is simple!
 
     do_rhs env (bndr,rhs) = lvlFloatRhs abs_vars dest_lvl env Recursive
index c2470bd..7162841 100644 (file)
@@ -777,7 +777,7 @@ But it is much better to specialise f for the case where the argument
 is of form (I# x); then we build the box only when returning y, which
 is on the cold path.
 
-Another exmaple:
+Another example:
 
    f x = ...(g x)....
 
index e1ad484..c710fd5 100644 (file)
@@ -2475,7 +2475,7 @@ doTyLit kc t = do { kc_clas <- tcLookupClass kc
 {- Note [Typeable (T a b c)]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 For type applications we always decompose using binary application,
-via doTyApp, until we get to a *kind* instantiation.  Exmaple
+via doTyApp, until we get to a *kind* instantiation.  Example
    Proxy :: forall k. k -> *
 
 To solve Typeable (Proxy (* -> *) Maybe) we
index c518101..2933890 100644 (file)
@@ -243,7 +243,7 @@ one approach is to instantiate all of C's superclasses, transitively.
 We can only do so if that set is finite.
 
 This potential loop occurs only through superclasses.  This, for
-exmaple, is fine
+example, is fine
   class C a where
     op :: C b => a -> b -> b
 even though C's full definition uses C.
index ba5836d..949c3d0 100644 (file)
@@ -442,7 +442,7 @@ fi
 # name (this is a known problem in the case of the Android NDK, which has
 # slightly odd triples).
 #
-# It may be better to just do away with the GHC triples altogether. This would
+# It may be better to just do away with the GHC triples altogether. This would
 # all be taken care of for us if we configured the subprojects using
 # AC_CONFIG_DIR, but unfortunately Cabal needs to be the one to do the
 # configuration.
index 8233f98..1b55f59 100644 (file)
@@ -687,7 +687,7 @@ readConstr dt str =
 
 ------------------------------------------------------------------------------
 --
---      Convenience funtions: algebraic data types
+--      Convenience functions: algebraic data types
 --
 ------------------------------------------------------------------------------
 
index b2d4cd1..50de06e 100644 (file)
@@ -173,7 +173,7 @@ charSize = 4
 --
 -- The "live" elements of the buffer are those between the 'bufL' and
 -- 'bufR' offsets.  In an empty buffer, 'bufL' is equal to 'bufR', but
--- they might not be zero: for exmaple, the buffer might correspond to
+-- they might not be zero: for example, the buffer might correspond to
 -- a memory-mapped file and in which case 'bufL' will point to the
 -- next location to be written, which is not necessarily the beginning
 -- of the file.
index f39e149..2c9d029 100644 (file)
@@ -74,7 +74,7 @@
     non-exhaustive pattern-match warnings (#8779)
 
   * Change the implementations of `maximumBy` and `minimumBy` from
-    `Data.Foldable` to use `fold11` instead of `foldr1`. This makes them run
+    `Data.Foldable` to use `foldl1` instead of `foldr1`. This makes them run
     in constant space when applied to lists. (#10830)
 
 ## 4.9.0.0  *May 2016*
index 52a8296..0d675b1 100644 (file)
@@ -51,7 +51,7 @@ complexFD = id :: (forall b. MyEq b Bool => b->b)
 complexTF = id :: (forall b. b~Bool => b->b)
                -> (forall c. c~Bool => c->c)
 
-{- For exmaple, here is how the subsumption check works for complexTF
+{- For example, here is how the subsumption check works for complexTF
    when type-checking the expression
       (id :: (forall b. b~Bool => b->b) -> (forall c. c~Bool => c->c))
 
index a270cbf..f2e026e 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE ExistentialQuantification #-}
 
--- Exmaples from Doaitse Swierestra and Brandon Moore
+-- Examples from Doaitse Swierstra and Brandon Moore
 -- GHC users mailing list, April 07, title "Release plans"
 
 -- This one should fail, but Hugs passes it
index 62dac43..83b147e 100644 (file)
@@ -371,7 +371,7 @@ readConstr dt str =
 
 ------------------------------------------------------------------------------
 --
--- Convenience funtions: algebraic data types
+-- Convenience functions: algebraic data types
 --
 ------------------------------------------------------------------------------