On 28 Nov 2018, at 09:38, Marcus Denker <marcus.denker@inria.fr> wrote:



i) How do I reify the value of an RB(Valuel|Literal|LiteralValue)Node? RFValueReification does not work, and there is no reification for literal, value, or literal value nodes.

This is now fixed. All subclasses of RBValueNode with the exception of Cascade now support #value. (Cascade: see below).

ii) How do I reify arguments and results of blocks? I tried reify context for the block body #before and value for #after block "last", but I often run into the problem of no reification for literals.

I added issue tracker entries:
...


I added a first fix and simple tests for this, it is in the latest version.

-> when putting a link on a block body, one can reify #arguments

TODO:
=> clean up the situation block definition vs block body
=> test in real world situations (might not yet work for more complex cases, e.g. nested blocks)
=> support #value in after links.


Marcus