From: Robert A Duff <bobduff@world.std.com>
Subject: Re: BLAS
Date: 2000/05/15
Date: 2000-05-15T00:00:00+00:00 [thread overview]
Message-ID: <wccvh0g123s.fsf@world.std.com> (raw)
In-Reply-To: E12rFJO-00008Q-00@Baldrick
Duncan Sands <sands@topo.math.u-psud.fr> writes:
> >> generic
> >> type Float_Type is digits <>;
> >> type Matrix is array (Integer range <>, Integer range <>) of Float_Type'Base;
> >>
> >> is rejected by GNAT.
> >
> >On what grounds? It looks legal to me...
>
> GNAT says:
> 3. type Matrix is array (Integer range <>, Integer range <>) of Float_Type'Base;
> |
> >>> only a subtype mark is allowed in a formal
>
> The RM says (Generic Units - Formal Array Types): "The only form of
> discrete_subtype_definition that is allowed within the declaration of
> a generic formal (constrained) array subtype is a subtype_mark."
But Float_Type'Base *is* a subtype_mark. See AARM-3.2.2(4.a).
I suggest you send a bug report.
- Bob
next prev parent reply other threads:[~2000-05-15 0:00 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-15 0:00 BLAS Duncan Sands
2000-05-15 0:00 ` Robert A Duff [this message]
2000-05-15 0:00 ` BLAS Robert Dewar
2000-05-16 0:00 ` BLAS Robert A Duff
2000-05-17 0:00 ` BLAS Robert Dewar
2000-05-17 0:00 ` BLAS Robert A Duff
2000-05-18 0:00 ` BLAS Robert Dewar
[not found] <391BC1F5.DFB47045@maths.unine.ch>
2000-05-12 0:00 ` BLAS Duncan Sands
2000-05-12 0:00 ` BLAS Robert A Duff
2000-05-12 0:00 ` BLAS Gautier
2000-05-13 0:00 ` BLAS Robert Dewar
2000-05-13 0:00 ` BLAS Larry Kilgallen
2000-05-14 0:00 ` BLAS Gautier
2000-05-15 0:00 ` BLAS Gisle S�lensminde
2000-05-15 0:00 ` BLAS Larry Kilgallen
2000-05-15 0:00 ` BLAS Gisle S�lensminde
-- strict thread matches above, loose matches on Subject: below --
2000-05-12 0:00 BLAS Duncan Sands
2000-05-12 0:00 ` BLAS Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox