* overriding procedures
@ 2015-09-16 10:51 tonyg
2015-09-16 20:00 ` Niklas Holsti
0 siblings, 1 reply; 2+ messages in thread
From: tonyg @ 2015-09-16 10:51 UTC (permalink / raw)
I'm want to override two procedures after inheriting a type.
Why do I have to declare the procedural specification of both, rather than just the overriding bodies?
Its compiles fine when there is just one overriding procedure (with a combined declaration and body), when I try to do two that way it does not compile.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: overriding procedures
2015-09-16 10:51 overriding procedures tonyg
@ 2015-09-16 20:00 ` Niklas Holsti
0 siblings, 0 replies; 2+ messages in thread
From: Niklas Holsti @ 2015-09-16 20:00 UTC (permalink / raw)
On 15-09-16 13:51 , tonyg wrote:
>
> I'm want to override two procedures after inheriting a type.
>
>
> Why do I have to declare the procedural specification of both, rather
> than just the overriding bodies?
Because the occurrence of the first body "freezes" the type, after which
you cannot add (declare) more overriding operations for the type.
See RM 13.14, specifically paragraph 3/3, if I understand the RM correctly.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-09-16 20:00 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-09-16 10:51 overriding procedures tonyg
2015-09-16 20:00 ` Niklas Holsti
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox