Typos in comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 5 Oct 2017 14:02:12 +0000 (15:02 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Oct 2017 10:05:56 +0000 (11:05 +0100)
compiler/typecheck/TcErrors.hs

index 82bcb51..27569b5 100644 (file)
@@ -683,7 +683,7 @@ We'd like to point out that the T3 match is inaccessible. It
 will have a Given constraint [G] Int ~ Bool.
 
 But we don't want to report ALL insoluble Given constraints.  See Trac
-#12466 for a long discussion on.  For example, if we aren't careful
+#12466 for a long discussion.  For example, if we aren't careful
 we'll complain about
    f :: ((Int ~ Bool) => a -> a) -> Int
 which arguably is OK.  It's more debatable for
@@ -691,7 +691,7 @@ which arguably is OK.  It's more debatable for
 but it's tricky to distinguish these cases to we don't report
 either.
 
-The bottom line is this: find_gadt_match looks for an encosing
+The bottom line is this: find_gadt_match looks for an enclosing
 pattern match which binds some equality constraints.  If we
 find one, we report the insoluble Given.
 -}