[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 (file)
--- 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.