From acfd7c625e4114b1e8bb9e05d5bf1d289fbde102 Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 13 Dec 2004 12:09:25 +0000 Subject: [PATCH] [project @ 2004-12-13 12:09:25 by simonpj] Comments only --- ghc/compiler/types/Kind.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4