generics icon indicating copy to clipboard operation
generics copied to clipboard

Additional Edits for Clause 3

Open everythingfunctional opened this issue 7 months ago • 0 comments

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

everythingfunctional avatar Jul 17 '25 13:07 everythingfunctional