From: simonpj@microsoft.com <unknown>
Date: Fri, 29 Sep 2006 12:36:44 +0000 (+0000)
Subject: Spelling correction
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=5bb47f66607f169cf4a03ad9450cad9025f0629e

Spelling correction
---

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.