Commit b1045396 authored by simonpj's avatar simonpj
Browse files

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

Add coment
parent c72d045c
......@@ -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.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment