projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5abdfc8) | patch
Newtype data constructors get a compulsory unfolding
authorsimonpj@microsoft.com <unknown>
Wed, 17 May 2006 15:50:09 +0000 (15:50 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 17 May 2006 15:50:09 +0000 (15:50 +0000)
commit307ea550bfa8fb9146f07c0dc103e53a31f4436c
treeee9ee5bcc322b12982912655bf355e415478b501tree | snapshot
parent5abdfc854aab09057bad26a5fe41828ea4968e5dcommit | diff
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.
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/basicTypes/MkId.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)