Text to accompany the specification

Proposal

That the following text is included as part of the ARRAY specification:

   The correctness of this specification is based on the following
   assumptions:

   1. No feature of ARRAY calls a command on any of its arguments.

   2. No query of ARRAY changes the value of any basic specifier.

   3. No feature of ARRAY shares internal structures in any
       way that could lead to behaviour not deducible from this
       specification.

   4. The phrase "new ARRAY" in a header comment means a
       newly-created ARRAY to which there is no reference other
       than from 'result'.

   5. Every type has a single default value as returned by feature
       'default' in class GENERAL.

Please select one of the following:

Strongly accept the proposal
Accept the proposal
Reject the proposal
Strongly reject the proposal
Don't mind (happy either way)
Abstain (not happy either way)

Result

The proposal was accepted.

votes cast at eGroups:

Strongly accept the proposal:
                joachim.durchhol-@halstenbach.de
Accept the proposal:
                manu-@eiffel.com
                sparke-@eiffel.ie
                gmc33-@my-deja.com
                todd.kin-@nexthr.com
                geof-@elj.com
                genep-@sympatico.ca
                simonwillcock-@enterprise.net
                eric-@gobosoft.com
                xavie-@halstenbach.com
                steinma-@sco.edu
                jc-@rh.edu
                stimul-@shadow.net
                kwaxe-@aha.ru
Abstain (not happy either way):
                wagne-@ti.uni-trier.de

votes sent by email:

Accept the proposal:
Ulrich Windl