comp.lang.ada
 help / color / mirror / Atom feed
From: Maxim Reznik <reznikmm@gmail.com>
Subject: Why formal_part is not a declarative region?
Date: Thu, 31 Oct 2013 23:57:25 -0700 (PDT)
Date: 2013-10-31T23:57:25-07:00	[thread overview]
Message-ID: <398b83e9-3735-4c8d-a7e4-f4331bfc4f2b@googlegroups.com> (raw)

Hi all,

I read ARM "8.1 Declarative Region" for good sleep.

I wounder why formal_part neither access_to_subprogram_definition isn't included in list of declarative regions?

Consider next example:

type T is
 access function (A : Integer) return
 access function (A : Float) return Boolean;

According to ARM there is declarative region for T. It contains two declaration of A, but this is illegal.

What is wrong?

-- 
Maxim Reznik

             reply	other threads:[~2013-11-01  6:57 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-11-01  6:57 Maxim Reznik [this message]
2013-11-01 16:06 ` Why formal_part is not a declarative region? Adam Beneschan
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox