A few typos in comments
authorGabor Greif <ggreif@gmail.com>
Mon, 5 Oct 2015 12:05:56 +0000 (14:05 +0200)
committerGabor Greif <ggreif@gmail.com>
Mon, 5 Oct 2015 12:07:10 +0000 (14:07 +0200)
compiler/coreSyn/CoreUnfold.hs
compiler/typecheck/TcUnify.hs
testsuite/tests/gadt/records-fail1.hs

index b04c13d..edbe503 100644 (file)
@@ -1239,7 +1239,7 @@ CONLIKE thing (modulo lets).
 Note [Lone variables]   See also Note [Interaction of exprIsWorkFree and lone variables]
 ~~~~~~~~~~~~~~~~~~~~~   which appears below
 The "lone-variable" case is important.  I spent ages messing about
-with unsatisfactory varaints, but this is nice.  The idea is that if a
+with unsatisfactory variants, but this is nice.  The idea is that if a
 variable appears all alone
 
         as an arg of lazy fn, or rhs    BoringCtxt
index 2e3834e..8042cc5 100644 (file)
@@ -850,7 +850,7 @@ We may encounter a unification ty1 ~ ty2 that cannot be performed syntactically,
 and yet its consistency is undetermined. Previously, there was no way to still
 make it consistent. So a mismatch error was issued.
 
-Now these unfications are deferred until constraint simplification, where type
+Now these unifications are deferred until constraint simplification, where type
 family instances and given equations may (or may not) establish the consistency.
 Deferred unifications are of the form
                 F ... ~ ...
@@ -860,7 +860,7 @@ E.g.
         id :: x ~ y => x -> y
         id e = e
 
-involves the unfication x = y. It is deferred until we bring into account the
+involves the unification x = y. It is deferred until we bring into account the
 context x ~ y to establish that it holds.
 
 If available, we defer original types (rather than those where closed type
index b26404a..12bb3e0 100644 (file)
@@ -10,7 +10,7 @@
 -- It's been removed in August 2015
 -- see Phab D1118
 
--- test should result into parse error
+-- test should result in a parse error
 
 module ShouldFail where