From: Egil H H <ehh.public@gmail.com>
Subject: Re: Dynamic_Predicate and dispatching call
Date: Mon, 7 Nov 2016 07:34:21 -0800 (PST)
Date: 2016-11-07T07:34:21-08:00 [thread overview]
Message-ID: <a25de191-bf1d-40d5-876c-1b1c5b32c975@googlegroups.com> (raw)
In-Reply-To: <f633ac77-7aea-42a4-8902-548efa377cee@googlegroups.com>
Wild guess: Remove the Gnat (SPARK) specific aspect Extensions_Visible...
From the description[1] of Extensions_Visible:
"For example, if a formal parameter of a specific tagged type T is converted to a class-wide type and then used as a controlling operand in a dispatching call, then the (dynamic) callee might reference components of the parameter which are declared in some extension of T."
(As for the troll bait: wrong usage of compiler specific stuff could definitely cause similar behaviour in C++, or any other language.)
[1]. http://docs.adacore.com/spark2014-docs/html/lrm/subprograms.html#extensions-visible-aspects
next prev parent reply other threads:[~2016-11-07 15:34 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-11-07 15:00 Dynamic_Predicate and dispatching call Duckysmokton
2016-11-07 15:34 ` Egil H H [this message]
2016-11-15 13:12 ` Duckysmokton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox