From 0b326e7aaa896519c5a3c59043658da98ec0b90d Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 1 Apr 2002 08:17:03 +0000 Subject: [PATCH] [project @ 2002-04-01 08:17:03 by simonpj] Comments --- ghc/compiler/types/TypeRep.lhs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs index 17ae62f..1bb3479 100644 --- a/ghc/compiler/types/TypeRep.lhs +++ b/ghc/compiler/types/TypeRep.lhs @@ -127,6 +127,12 @@ The TyCon still says "I'm a newtype", but we do not represent the newtype application as a SourceType; instead as a TyConApp. +NOTE: currently [March 02] we regard a newtype as 'recursive' if it's in a +mutually recursive group. That's a bit conservative: only if there's a loop +consisting only of newtypes do we need consider it as recursive. But it's +not so easy to discover that, and the situation isn't that common. + + %************************************************************************ %* * \subsection{The data type} -- 1.7.10.4