From: simonpj Date: Fri, 25 Feb 2005 12:49:47 +0000 (+0000) Subject: [project @ 2005-02-25 12:49:47 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~1022 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=5dfcae0c3ea70199c6bcecab3cf542d80f42e49f;p=ghc-hetmet.git [project @ 2005-02-25 12:49:47 by simonpj] Spelling --- diff --git a/ghc/compiler/types/Kind.lhs b/ghc/compiler/types/Kind.lhs index 0e88536..db7fe9a 100644 --- a/ghc/compiler/types/Kind.lhs +++ b/ghc/compiler/types/Kind.lhs @@ -60,7 +60,7 @@ data Kind deriving( Eq ) data KindVar = KVar Unique (IORef (Maybe SimpleKind)) - -- INVARIANT: a KindVar can only be instantaited by a SimpleKind + -- INVARIANT: a KindVar can only be instantiated by a SimpleKind type SimpleKind = Kind -- A SimpleKind has no ? or # kinds in it: