From: Andres Loeh <mail@andres-loeh.de>
Date: Thu, 14 Sep 2006 23:56:48 +0000 (+0000)
Subject: fix typo in comment
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b0842998a6bad0cae47f980f4ed9156701c8198b

fix typo in comment
---

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.