To: J3                                                     J3/18-225
From: Malcolm Cohen
Subject: Wrong terminology
Date: 2018-June-13


1. Introduction

"type parameter keyword" is defined to be
"word that identifies a type parameter in a type parameter list"

And later,
  "A type parameter keyword is the name of a type parameter in the type
   being specified, and may appear in a type parameter list."

But, when we look to see what a type parameter list is, we discover that
it is the list of type parameter names in the TYPE statement, viz
  "The type parameter order of a nonextended type is the order of the type
   parameter list in the derived-type definition."
(The actual BNF term for that list is type-param-name-list, but there is
 no other usage of "type parameter list" in the document.

Whereas a type parameter keyword can *ACTUALLY* only appear in a type
specifier, in its type-param-spec-list, where type-param-spec is
  "[ keyword = ] type-param-value"

The best way to resolve this discrepancy is to use the actual BNF terms
instead of "type parameter list".  Also, there is not necessarily a need
to use "list" since it appears in a single item.


2. Edits to N2146

Page 16, 3.97.4 type parameter keyword,
"in a type parameter list" -> "in a \si{type-param-spec}".

Page 47, 5.5.3 Other keywords, p2,
"in a type parameter list" -> "in a \si{type-param-spec}".

Page 73, 7.5.3.2 Type parameter order, p2,
"order of the type parameter list"
->"order of the \sinr{type-param-name-list}"

===END===