freenode/#sicl - IRC Chatlog
Search
16:37:14
scymtym
beach: "NAME: <DEFCLASS>" and "NAME: %FOO" are "node properties", not actual nodes. maybe i should put them on the same line as "their" node or just omit them
16:41:21
scymtym
there is a relationship. the slot is represented as a node of kind SLOT-DEFINITION which has a child of kind VARIABLE-NAME. the role of the VARIABLE-NAME within the SLOT-DEFINITION is NAME. the node of kind VARIABLE-NAME also has a property "NAME: %FOO" which references the symbol %FOO from the concrete syntax layer
16:42:30
scymtym
i made the tree manually because the actual representation is a bit more complicated
16:43:36
beach
I guess we just witnessed a very typical example of /me not being able to "fill in the blanks" that normal people would.
16:45:59
beach
I think dinner is imminent here. I should pick this up tomorrow, hopefully a bit smarter after some sleep.
16:46:05
scymtym
no, in the past, other people had trouble with this particular tree representation as well. but having this "role" relation between parents and children has proven very useful so i just have to explain it better
16:47:24
beach
I think I understand its importance. But see my "what kind of animal is TYPE-NAME" remark. I still don't understand that.
16:48:13
beach
It looks like a kind of "type" to me. At least when I look at the DOCUMENTATION role.
16:50:17
beach
One child of the DEFCLASS node has the role DOCUMENTATION, and it is of "type" LITERAL [my interpretation], and the value is bar [why not "bar"?].
16:53:12
scymtym
i extended the explanation of the textual tree notation and put it at the beginning of the "Running Example" section. i hope that change clarifies things at least a bit