NICE Language Committee: ms-vomb
From Michael Schweitzer
Date: Sat, 16 Apr 94 15:11:21 +0200
To: bertrand@eiffel.com
Subject: MS-VOMB
Cc: tynor@atlanta.twr.com
Content-Length: 1247
X-Lines: 40
Status: RO
-----------------------------------------------------------
Key : MS-VOMB
Title : Correction and clarification of VOMB
-----------------------------------------------------------
(See page 239)
1) Correction for VOMB-2:
VOMB-2 does not cover manifest constants. It should read:
"The inspect constants (...) are constant attributes
or manifest constants of the same type as the inspect
expression."
2) Clarification of VOMB-3 and VOMB-4
Although there is nothing wrong with these constraints, I
think we should simplify them as follows:
VOMB-3: "Any two inspect constants have different values".
That is, VOMB-3 and VOMB-4 can be merged into one simple
rule which directly expresses what the whole thing is all
about. It is then obvious to anybody that one cannot use the
same constant attribute twice (unique or not) because that
will violate this rule.
Comment:
This proposal does not change the semantics of multi branch
instructions in any way. But I believe that the proposed
rules are easier to understand, since the basic requirements
are formulated first (VOMB 1 - 3) and the special require-
ments for unique constants come thereafter.
-----------------------------------------------------------
Best regards,
Michael
|
