Re: Operation can be dispatching in only one type

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wcctywq1ezh.fsf@shell01.TheWorld.com...
> Adam Beneschan <adam@irvine.com> writes:
...
>> Since I'm too lazy to look, I'm hoping you know this off the top of
>> your head: is there anything in the AI's about preconditions that
>> would allow something to be caught when P is called rather than later
>> in the body of P?  I thought there were also some proposed attributes
>> that could test accessibility levels.
>
> Such things have been discussed.  We're probably going to have
> preconditions, and I seem to recall discussing some way to query the
> necessary accessibility-level info.

Memberships most likely will be extended to include accessibility checks. 
But I can't off-hand figure out how that could be used to do a library-level 
accessibility check short of declaring a named library-level access type to 
use in the membership. In that case, you probably should have just used the 
named type in the parameter in the first place and need no precondition (at 
least for that).

                             Randy.