From 5bb47f66607f169cf4a03ad9450cad9025f0629e Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 29 Sep 2006 12:36:44 +0000 Subject: [PATCH] Spelling correction --- 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 c222bf4..aa1c1fa 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 (->) - -- because the expected kind is (*->*->*). The trouble is that the + -- becuase 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