RE: The return of the Void [Was: newtypes]

[Simon Peyton-Jones]

| >   newtype Foo = F Foo
| 
| What is interesting is that ghc loops when trying to compile this
| definition! (Ghc folks, consider this a bug report, details below!)

I do consider this a bug report, and I've fixed it.  (The reason is
that GHC was trying to find the *representation* type of a value
when throwing away types in the Core -> STG transition; and that
sent it into a loop.)

Thanks for the report.  It's only fixed in the repository of course.

Simon