From: simonpj <unknown>
Date: Thu, 23 Aug 2001 08:43:13 +0000 (+0000)
Subject: [project @ 2001-08-23 08:43:13 by simonpj]
X-Git-Tag: Approximately_9120_patches~1115
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b10453960968ee8fc39fb6bf371d466e3e7aedaf;p=ghc-hetmet.git

[project @ 2001-08-23 08:43:13 by simonpj]
Add coment
---

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.