Created on1999-03-20.00:00:00 last changed277 months ago
Proposed Resolution (10/99):Systematically replace "extended-namespace-definition" by "extension-namespace-definition".
Section 9.9.4 [namespace.udir]paragraph 3 uses the termextended-namespace-definition three times:
If a namespace is extended by anextended-namespace-definition after ausing-directive for that namespace is given, the additional members ofthe extended namespace and the members of namespaces nominated byusing-directives in theextended-namespace-definition can be usedafter theextended-namespace-definition.I think the intent is clear, but unfortunately I cannot find any othermention (or definition) of this term.
Mike Miller: True enough; inSection 9.9.2 [namespace.def][the grammar] it's called anextension-namespace-definition.
Proposed Resolution (10/99):Systematically replace "extended-namespace-definition" by "extension-namespace-definition".
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2003-04-25 00:00:00 | admin | set | status: dr -> tc1 |
| 2000-02-23 00:00:00 | admin | set | status: ready -> dr |
| 1999-09-14 00:00:00 | admin | set | messages: +msg80 |
| 1999-03-20 00:00:00 | admin | create | |