Absence info at run-time

David Feuer david.feuer at gmail.com
Tue Apr 12 21:02:31 UTC 2022


Suppose `f` doesn't use its first argument. When forming the thunk (or
partial application) `f a`, we don't need to record `a`. What if instead of
arity, we store a bitmap used/absent arguments, terminated by a 1 bit?
Could we then get rid of "stupid thunks" like `(const a) b`?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20220412/055a4af3/attachment.html>


More information about the ghc-devs mailing list