J3/03-116

To: J3
From: UK Fortran panel
Subject: Edits for UK comment TC3 (Default DT parameter initialization)
Date: 11 February 2003

Comment TC3 of the UK vote was:

    Allow default initialization of parameter values of derived types.

    This is an editorially easy change to make and will lead to
    consistency with the properties of intrinsic types.


Here are the edits for this:

41:11-13. Replace ". There ... entity." by "and may have a default value."

42:11. Change "<name>" to "<decl>".

42:11+. Add
   <type-param-decl> <<is>> <type-param-name>  #
                            # [ = <scalar-int-initialization-expr> ]

46:4+. Add paragraph:
    If a <type-param-decl> has a <scalar-int-initialization-expr>, the
    type parameter has a default value that is specified by the
    expression. If necessary, the value is converted according to the
    rules of intrinsic assignment (7.4.1.3) to a value of the same kind
    as the type parameter.

46:4+ NOTE 4.21+3. Replace line by
       INTEGER, KIND :: k = kind(0.0)
         ! The same default as for reals

57:10. Delete "if and".

57:11. At the end of the sentence, add
  "that does not have a default value, and at most one <type-param-spec>
   corresponding to each parameter of the type that has a default value".

57:20+. Add paragraph:
    The value of a type parameter for which no <type-param-value> has
    been specified is its default value.