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