[project @ 2004-12-13 12:09:25 by simonpj]

Comments only

diff --git a/ghc/compiler/types/Kind.lhs b/ghc/compiler/types/Kind.lhs
index 336e9b6..0e88536 100644 (file)
--- a/ghc/compiler/types/Kind.lhs
+++ b/ghc/compiler/types/Kind.lhs
@@ -44,9 +44,9 @@ where *    [LiftedTypeKind]   means boxed type
 
 In particular:
 
-       error :: forall a:<any>. String -> a
+       error :: forall a:?. String -> a
        (->)  :: ?? -> ? -> *
-       (\(x::t) -> ...)        Here t::<any> (i.e. not unboxed tuple)
+       (\(x::t) -> ...)        Here t::?? (i.e. not unboxed tuple)
 
 \begin{code}
 data Kind