Non-escaping lets, join-points and binding updatability

[Jan Stolarek]

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).

Three points above seem inconsistent - where does my reasoning go wrong? I suspect that the Note 
might be wrong and an updatable binding can in fact be a LNE binding.

Janek