-
Notifications
You must be signed in to change notification settings - Fork 9
Description
Notes of additional places in the standard (25-007) that may need edits for templates
- 3.7.3 host association
Change to "other than argument or instantiation association"
- 3.63 END statement
Add "end-template" and "end-requirement" statements
- 3.83 inclusive scope
We should look at how we might adapt this language for what we need concerning "anywhere within".
- 3.87 interface block
Add deferred interface block to the list
- 3.87.3 specific interface block
Add "or DEFERRED" before "keyword"
- Add new entry: 3.87.4 deferred interface block
interface block with the DEFERRED keyword; collection of interface
bodies that specify the interfaces of deferred procedures
- 3.94.1 argument keyword
Extend to include deferred/instantiation arguments. E.g.
"word that identifies the corresponding dummy argument (3.59)
in an actual argument list, or the corresponding deferred argument
(???) in an instantiation argument list"
Note 2 to entry: Instantiation argument correspondence is described in ???
- Add new entry: 3.117.5 template reference
appearance of a template name in an INSTANTIATE statement, or appearance of the
name of a templated procedure in an inline instantiation.
- 3.120 scoping unit
Add template and requirement to the list