comp.lang.ada
 help / color / mirror / Atom feed
From: papand0pul0@yahoo.com (Papandopulo)
Subject: Re: Question: Combination of Access and Constraining
Date: 20 Feb 2003 07:20:27 -0800
Date: 2003-02-20T15:20:27+00:00	[thread overview]
Message-ID: <1d13e1b4.0302200720.9666350@posting.google.com> (raw)
In-Reply-To: 9d795v0h3qa2922u8vodfhpfvprpre6ak2@4ax.com

> Pointers are inherently bad. Why not:
If they are ingerently bad why they are in
the language ?

> function Fn (Arg : Tp) return Natural;
I have to use access type here. Since this is
simplified example. I have function accepting
several such array arguments each of which is
optional (null).

> But this is another type! Probably you meant a subtype:
> 
> subtype TpCon is Tp(1..1);
Nope, now it says:
warning: aliased object has explicit bounds.

> >So where I am going wrong here ?
> 
> You are mixing types and subtypes. If you want just to put a
> constraint on a type, declare a constrained subtype.
Gives warnings as I said before: variable with constrained subtype
can't be aliased (any idea why?).

Thanx,
George.



  reply	other threads:[~2003-02-20 15:20 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-02-20  8:06 Question: Combination of Access and Constraining Papandopulo
2003-02-20  9:00 ` tmoran
2003-02-20  9:29 ` Dmitry A. Kazakov
2003-02-20 15:20   ` Papandopulo [this message]
2003-02-20 16:20     ` Dmitry A. Kazakov
2003-02-20 17:58     ` Jeffrey Carter
2003-02-20 20:35       ` Yuri
2003-02-21  1:21         ` Jeffrey Carter
2003-02-21 22:53           ` Yuri
2003-02-23 12:34             ` Simon Wright
2003-02-23 17:50               ` Jeffrey Carter
2003-02-23 17:55               ` John R. Strohm
2003-02-23 17:48             ` John R. Strohm
2003-02-20 13:12 ` David C. Hoos, Sr.
2003-02-20 15:00 ` Matthew Heaney
  -- strict thread matches above, loose matches on Subject: below --
2003-02-20  9:46 Grein, Christoph
replies disabled

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