patch applied (ghc): Newtype data constructors get a compulsory
unfolding
Simon Peyton Jones
simonpj at microsoft.com
Wed May 17 11:58:55 EDT 2006
Wed May 17 08:50:09 PDT 2006 simonpj at microsoft.com
* Newtype data constructors get a compulsory unfolding
With this change, newtype data constructors get a "compulsory" unfolding,
which means that they *must* be inlined, and no top-level definition of
the constructor is provided at all. Since these constructors are no-ops,
I'm not sure why this wasn't the case all along.
M ./compiler/basicTypes/DataCon.lhs -1 +3
M ./compiler/basicTypes/MkId.lhs -1 +1
More information about the Cvs-ghc
mailing list