From e2dd0696483f1194e398dc74c115255940ff38d8 Mon Sep 17 00:00:00 2001
From: qrczak <unknown>
Date: Fri, 26 Jan 2001 16:15:00 +0000
Subject: [PATCH] [project @ 2001-01-26 16:15:00 by qrczak] Fix typos in
 comments.

---
 ghc/compiler/typecheck/TcMonad.lhs    |    2 +-
 ghc/compiler/typecheck/TcSimplify.lhs |    6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/ghc/compiler/typecheck/TcMonad.lhs b/ghc/compiler/typecheck/TcMonad.lhs
index 3e3322e..b25242c 100644
--- 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
--- 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.  
-- 
1.7.10.4