From b0842998a6bad0cae47f980f4ed9156701c8198b Mon Sep 17 00:00:00 2001 From: Andres Loeh Date: Thu, 14 Sep 2006 23:56:48 +0000 Subject: [PATCH 1/1] fix typo in comment --- compiler/types/TypeRep.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/types/TypeRep.lhs b/compiler/types/TypeRep.lhs index aa1c1fa..c222bf4 100644 --- a/compiler/types/TypeRep.lhs +++ b/compiler/types/TypeRep.lhs @@ -322,7 +322,7 @@ funTyCon = mkFunTyCon funTyConName (mkArrowKinds [argTypeKind, openTypeKind] lif -- You might think that (->) should have type (?? -> ? -> *), and you'd be right -- But if we do that we get kind errors when saying -- instance Control.Arrow (->) - -- becuase the expected kind is (*->*->*). The trouble is that the + -- because the expected kind is (*->*->*). The trouble is that the -- expected/actual stuff in the unifier does not go contra-variant, whereas -- the kind sub-typing does. Sigh. It really only matters if you use (->) in -- a prefix way, thus: (->) Int# Int#. And this is unusual. -- 1.7.10.4