Typos in comments
authorGabor Greif <ggreif@gmail.com>
Fri, 23 May 2014 17:04:12 +0000 (19:04 +0200)
committerGabor Greif <ggreif@gmail.com>
Fri, 23 May 2014 17:04:12 +0000 (19:04 +0200)
compiler/types/Kind.lhs
compiler/types/Type.lhs

index b82556e..e4dc783 100644 (file)
@@ -104,7 +104,7 @@ kindFunResult _ (ForAllTy kv res) arg = substKiWith [kv] [arg] res
 #ifdef DEBUG
 kindFunResult doc k _ = pprPanic "kindFunResult" (ppr k $$ doc)
 #else
--- Without DEUBG, doc becomes an unsed arg, and will be optimised away
+-- Without DEBUG, doc becomes an unsed arg, and will be optimised away
 kindFunResult _ _ _ = panic "kindFunResult"
 #endif
 
index e65a1c7..13ceb44 100644 (file)
@@ -1653,7 +1653,7 @@ typeKind orig_ty = go orig_ty
     go (TyVarTy tyvar)      = tyVarKind tyvar
     go _ty@(FunTy _arg res)
         -- Hack alert.  The kind of (Int -> Int#) is liftedTypeKind (*),
-        --              not unliftedTypKind (#)
+        --              not unliftedTypeKind (#)
         -- The only things that can be after a function arrow are
         --   (a) types (of kind openTypeKind or its sub-kinds)
         --   (b) kinds (of super-kind TY) (e.g. * -> (* -> *))