On 16/10/2013 18:27, Jan Stolarek wrote:
Hi all,
I'm trying to understand this:
1. Note [What is a non-escaping let] says that one of conditions of binding
being a non-escaping
let is non-updatability.
2. My understanding is that a if a binding has at least one parameter it is
non-updatable, though
I suspect that converse does not have to be true (lambdas)
3. Join-points are implemented using LNE bindings and I can imagine a
join-points not having any
parameters (and not being a lambda).
A join-point always has at least one argument. If there are no
arguments, then a dummy one of type State# RealWorld is added, to avoid
creating a thunk.
Cheers,
Simon
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs
