From b10453960968ee8fc39fb6bf371d466e3e7aedaf Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 23 Aug 2001 08:43:13 +0000 Subject: [PATCH] [project @ 2001-08-23 08:43:13 by simonpj] Add coment --- ghc/compiler/types/TypeRep.lhs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs index a00b86f..d8cf5cd 100644 --- a/ghc/compiler/types/TypeRep.lhs +++ b/ghc/compiler/types/TypeRep.lhs @@ -118,6 +118,9 @@ and its representation as distinct right through the compiler. That's what you get if you use recursive newtypes. (They are rare, so who cares if they are a tiny bit less efficient.) +So: non-recursive newtypes are represented using a SourceTy (see below) + recursive newtypes are represented using a TyConApp + The TyCon still says "I'm a newtype", but we do not represent the newtype application as a SourceType; instead as a TyConApp. -- 1.7.10.4