From 34d6fadb0efc6beb96646bb5b5d2b20c616e96a6 Mon Sep 17 00:00:00 2001 From: qrczak Date: Wed, 20 Dec 2000 18:25:59 +0000 Subject: [PATCH] [project @ 2000-12-20 18:25:59 by qrczak] Correct typos in code in a comment. --- ghc/compiler/basicTypes/MkId.lhs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 1.7.10.4