From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: overriding procedures
Date: Wed, 16 Sep 2015 23:00:43 +0300
Date: 2015-09-16T23:00:43+03:00 [thread overview]
Message-ID: <d5u03bFtfisU1@mid.individual.net> (raw)
In-Reply-To: <ddae2c77-d420-488c-a855-6dbf7987522b@googlegroups.com>
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
. @ .
prev parent reply other threads:[~2015-09-16 20:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-16 10:51 overriding procedures tonyg
2015-09-16 20:00 ` Niklas Holsti [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox