[project @ 2001-01-26 16:15:00 by qrczak]

Fix typos in comments.

diff --git a/ghc/compiler/typecheck/TcMonad.lhs b/ghc/compiler/typecheck/TcMonad.lhs
index 3e3322e..b25242c 100644 (file)
--- a/ghc/compiler/typecheck/TcMonad.lhs
+++ b/ghc/compiler/typecheck/TcMonad.lhs
@@ -244,7 +244,7 @@ which is a Royal Pain.  By the time this fork stuff is used they'll
 have been unified down so there won't be any kind variables, but we
 can't express that in the current typechecker framework.
 
-So we compromise and use unsafeInterleaveSST.
+So we compromise and use unsafeInterleaveIO.
 
 We throw away any error messages!
 

diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs
index 061509e..d4617b2 100644 (file)
--- a/ghc/compiler/typecheck/TcSimplify.lhs
+++ b/ghc/compiler/typecheck/TcSimplify.lhs
@@ -78,7 +78,7 @@ We have in our hand
 
        G       the environment
        T       the type of the RHS
-       C       the constraints fromm that RHS
+       C       the constraints from that RHS
 
 The game is to figure out
 
@@ -242,11 +242,11 @@ in the environment, or by the variables in the type.
 
 Notice that we union before calling oclose.  Here's an example:
 
-       class J a b c | a,b -> c
+       class J a b c | a b -> c
        fv(G) = {a}
 
 Is this ambiguous?
-       forall b,c. (J a b c) => b -> b
+       forall b c. (J a b c) => b -> b
 
 Only if we union {a} from G with {b} from T before using oclose,
 do we see that c is fixed.