From: qrczak <unknown>
Date: Wed, 20 Dec 2000 18:25:59 +0000 (+0000)
Subject: [project @ 2000-12-20 18:25:59 by qrczak]
X-Git-Tag: Approximately_9120_patches~3008
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=34d6fadb0efc6beb96646bb5b5d2b20c616e96a6;p=ghc-hetmet.git

[project @ 2000-12-20 18:25:59 by qrczak]
Correct typos in code in a comment.
---

diff --git a/ghc/compiler/basicTypes/MkId.lhs b/ghc/compiler/basicTypes/MkId.lhs
index 0676935..fa3fb4e 100644
--- a/ghc/compiler/basicTypes/MkId.lhs
+++ b/ghc/compiler/basicTypes/MkId.lhs
@@ -404,13 +404,13 @@ mkRecordSelId tycon field_label unpack_id unpackUtf8_id
     n_field_dict_tys			 = length field_dict_tys
 	-- If the field has a universally quantified type we have to 
 	-- be a bit careful.  Suppose we have
-	--	data R = R { op :: forall a => Foo a => a -> a }
+	--	data R = R { op :: forall a. Foo a => a -> a }
 	-- Then we can't give op the type
 	--	op :: R -> forall a. Foo a => a -> a
 	-- because the typechecker doesn't understand foralls to the
 	-- right of an arrow.  The "right" type to give it is
-	--	op :: forall a. Foo a => a -> a
-	-- But then we must generat the right unfolding too:
+	--	op :: forall a. Foo a => R -> a -> a
+	-- But then we must generate the right unfolding too:
 	--	op = /\a -> \dfoo -> \ r ->
 	--	     case r of
 	--		R op -> op a dfoo