Typos in comments [skip ci]
authorGabor Greif <ggreif@gmail.com>
Tue, 7 Feb 2017 09:25:38 +0000 (10:25 +0100)
committerGabor Greif <ggreif@gmail.com>
Tue, 7 Feb 2017 09:27:53 +0000 (10:27 +0100)
compiler/typecheck/TcErrors.hs
compiler/typecheck/TcGenFunctor.hs
testsuite/tests/th/T12130a.hs

index eaccc2d..6d4e3de 100644 (file)
@@ -2056,7 +2056,7 @@ But nowadays when inferring the type of a function with no type signature,
 even if there are errors inside, we still generalise its signature and
 carry on. For example
    f x = x:x
-Here we will infer somethiing like
+Here we will infer something like
    f :: forall a. a -> [a]
 with a deferred error of (a ~ [a]).  So in the deferred unsolved constraint
 'a' is now a skolem, but not one bound by the programmer in the context!
index b34a0b6..49129bf 100644 (file)
@@ -252,7 +252,7 @@ non-regular, such as
 data Nesty a = Z a | S (Nesty a) (Nest (a, a))
 
 the function argument is no longer (entirely) static, so the static argument
-transformation will do nothiing for us.
+transformation will do nothing for us.
 
 Applying the default definition of `<$` will produce a tree full of thunks that
 look like ((\_ -> x) x0), which represents unnecessary thunk allocation and
index f393967..38e2bdf 100644 (file)
@@ -11,7 +11,7 @@ data Block = Block
 block :: Q Exp
 block =
     [| Block {
-         -- Using record syntax is neccesary to trigger the bug.
+         -- Using record syntax is necessary to trigger the bug.
          blockSelector = ()
        }
     |]