fix typo in comment
authorAndres Loeh <mail@andres-loeh.de>
Thu, 14 Sep 2006 23:56:48 +0000 (23:56 +0000)
committerAndres Loeh <mail@andres-loeh.de>
Thu, 14 Sep 2006 23:56:48 +0000 (23:56 +0000)
compiler/types/TypeRep.lhs

index aa1c1fa..c222bf4 100644 (file)
@@ -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.