Commit 5dfcae0c authored by simonpj's avatar simonpj
Browse files

[project @ 2005-02-25 12:49:47 by simonpj]

parent cbae89a2
......@@ -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:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment