X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FTyCon.lhs;h=e6366bea2b01d9b2f9ff10fc938b984f5128cb82;hp=ddcb6650ef805b13b5644bab9b53b2a920ae725e;hb=2fbab1a0f1a017799e8f5130bdf1078060623f29;hpb=68ed90d8b2f31f9bcae7b869413819eb8fa0aa40

diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs
index ddcb665..e6366be 100644
--- a/compiler/types/TyCon.lhs
+++ b/compiler/types/TyCon.lhs
@@ -186,7 +186,7 @@ data TyCon
         tyConName   :: Name,
 	tyConArity  :: Arity,
 	coKindFun   :: [Type] -> (Type,Type)
-    }		-- INVARAINT: coKindFun is always applied to exactly 'arity' args
+    }		-- INVARIANT: coKindFun is always applied to exactly 'arity' args
 		-- E.g. for trans (c1 :: ta=tb) (c2 :: tb=tc), the coKindFun returns 
 		--	the kind as a pair of types: (ta,tc)
 	
@@ -372,7 +372,7 @@ Source code:
 	w2 :: Foo T
 	w2 = MkFoo (\(MkT x) -> case w1 of MkFoo f -> f x)
 
-After desugaring, and discading the data constructors for the newtypes,
+After desugaring, and discarding the data constructors for the newtypes,
 we get:
 	w2 :: Foo T
 	w2 = w1