From: simonpj Date: Mon, 13 Dec 2004 12:09:25 +0000 (+0000) Subject: [project @ 2004-12-13 12:09:25 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~1346 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=acfd7c625e4114b1e8bb9e05d5bf1d289fbde102;p=ghc-hetmet.git [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 --- 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:. String -> a + error :: forall a:?. String -> a (->) :: ?? -> ? -> * - (\(x::t) -> ...) Here t:: (i.e. not unboxed tuple) + (\(x::t) -> ...) Here t::?? (i.e. not unboxed tuple) \begin{code} data Kind