-
Simon Peyton Jones authored
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.
307ea550