Frank Heckenbach wrote:
> : If the parameter苯orm of the variable計arameter貞pecification contains
a
> : schema要ame, all of the corresponding actual計arameters contained by
the
> : activation計oint of an activation shall possess the same
underlying負ype
> : that is produced from the schema denoted by the schema要ame with a
tuple.
>
> What does this mean? "The same type ... produced from a schema"
> would seem to mean the same discriminants, but this can in general
> only be checked at runtime, so shouldn't it have been a
> dynamic-violation (or error) then, rather than "shall" (in
> accordance with 3.2, note 1)?
>
>
> So, are we missing something, or should we assume that a
> dynamic-violation was meant in the paragraph above (and thus, the
> program above should raise a runtime error)?
You are correct. The standard should say dynamic-violation, not
"shall". My compiler certainly waits until run-time to check the tuples.
--
John Reagan
HP Pascal/{A|I}MACRO for OpenVMS Project Leader
Hewlett-Packard Company
|
