Changeset f7e4f8e8 for doc

Ignore:
Timestamp:
Oct 30, 2020, 12:36:16 PM (11 months ago)
Branches:
arm-eh, jacob/cs343-translation, master, new-ast-unique-expr
Children:
0ab3b73, 36d0a80
Parents:
b9537e6 (diff), 4ae78c1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:
doc
Files:
4 edited

Unmodified
Removed
• doc/papers/concurrency/mail2

 rb9537e6 possibly like the one used to create the assertion. ### Extension: Associated Types Use If the associated_types.md proposal is accepted the following trait could be added: trait is_virtual(dtype T) { dtype table; // An example assertion: const table & get_virtual_table(T &); } There may be more assertions but there has to be at least one way to find the (possibly default) virtual table. It is required to construct instances of the type. Without the assotiated type it would look like this: trait is_virtual(dtype T, dtype table) { const table & get_virtual_table(T &); } Which is just a little bit longer to use but becomes more problematic if the user has to explicately provide the table's name as it doesn't really have its own type name. If it does it is probably mangled. ### Virtual Tables as Types Here we consider encoding plus the implementation of functions on it to be a