benn/lumiera_documentation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

DOC: the Ref::THIS construct was removed from the Diff language (#996)

Browse source 
...because of questionable utility
And it turned out to be quite a liability when it comes to implementing
the building blocks for binding tree implementation data structures
This commit is contained in:
Fischlurch 2016-12-03 19:40:28 +01:00
parent 9b8fae1a9b
commit cbb5d57081
1 changed files with 1 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
doc/technical/library/DiffFramework.txt
View file

@ -267,15 +267,7 @@ verb `mut(ID)`::
target structure. The `mut(ID)` verb then opens the designated nested
record for diff handling, and all subsequent diff verbs are to be
interpreted relative to this scope, until the corresponding
`emu(ID)` verb is encountered. As a special notation, right
after handling an element with the list diff verbs (i.e. `ins`
or `pick` or `find`), it is allowed immediately to open the
nested scope with `mut(Ref::THIS)`footnote:[this shortcut circumvents
the problem that it is sometimes difficult to know the precise ID for
unnamed children just created at the given scope.
We acknowledge that diff messages will sometimes be hand-writtten,
especially to populate a target data structure without knowing its
implementation. The whole diff language is designed to be human readable.]
`emu(ID)` verb is encountered.
verb `emu(ID)`::
closing bracketing construct and counterpart to `mut(ID)`. This verb
must be given precisely at the end of the nested scope.footnote:[it is