-
Notifications
You must be signed in to change notification settings - Fork 17
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fix the bogusness of LIST& TREE structured symbols #48
Comments
In some cases LIST & TREE structured symbols are just ones missing optionality being added by #8 |
Also, one of the types of optionality we may need, is, like in process signatures, the optionality of an unknown symbol type, but a known structure type. e.g. the current implementation of PROTOCOLS would require declaring a LIST of PROTOCOL structured symbols. |
as of 133449a we can define SYMBOL_OF_STRUCTURE in structure defs (with % symbol in docs and base_defs) note this leads to lots of fixes of ASPECT definitions including converting the aspect symbol in signal envelopes to ASPECT_IDENT of structure SYMBOL |
we still need to finalize how we will specify ANY, currently we just use the TREE structure |
all uses of LIST finally converted to structure optionality defs made possible by created a STRUCTURE_ANYTHING component of structures for those elements that can be any symbol at all
as of 0a59413 you can specify ANY with STRUCTURE_ANYTHING (or ! in the base_defs language). So this allowed full removal of LIST. Still to clean up : TREE |
as of 2a09dec TREE is now only used to specify orthogonal tree structures as it should. |
All symbols whose structure is LIST (like SIGNALS and PENDING_RESPONSES) are an indicator that we've got something going wrong. It maybe that these are instances where we are using Symbols to manage collections which should be managed by scapes, or and indicator that we should be using optional element structures (see #8)
The text was updated successfully, but these errors were encountered: