From: Pascal Obry <p.obry@wanadoo.fr>
Subject: Re: Suggestion for gnatstub
Date: 10 Nov 2002 09:42:04 +0100
Date: 2002-11-10T08:45:47+00:00 [thread overview]
Message-ID: <u8z01byub.fsf@wanadoo.fr> (raw)
In-Reply-To: wccn0oi1k63.fsf@shell01.TheWorld.com
Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> Simon Wright <simon@pushface.org> writes:
>
> > I had thought about
> >
> > function F(X, Y: Integer) return GNAT.Socket_Type is
> > Dummy : GNAT.Socket_Type;
> > pragma Warnings (Off, Dummy);
> > begin
> > raise Program_Error;
> > return Dummy;
> > end F;
>
> Usually OK, but doesn't work for limited types.
Not only limited types but with unconstraint types like String which is
very common !
Pascal.
--
--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595
next prev parent reply other threads:[~2002-11-10 8:42 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-11-08 11:14 Suggestion for gnatstub Victor Porton
2002-11-08 12:56 ` Marc A. Criley
2002-11-08 13:23 ` Marin David Condic
2002-11-08 21:09 ` chris.danx
2002-11-15 17:08 ` Wes Groleau
2002-11-15 17:35 ` Stephen Leake
2002-11-16 14:36 ` Marin David Condic
2002-11-09 14:15 ` Simon Wright
2002-11-09 14:50 ` Marin David Condic
2002-11-09 20:05 ` Simon Wright
2002-11-10 15:58 ` Marin David Condic
2002-11-10 20:31 ` Robert A Duff
2002-11-11 13:46 ` Marin David Condic
2002-11-11 15:31 ` Robert A Duff
2002-11-11 20:32 ` Randy Brukardt
2002-11-11 6:31 ` Simon Wright
2002-11-09 15:44 ` Robert A Duff
2002-11-09 20:08 ` Simon Wright
2002-11-09 21:56 ` Robert A Duff
2002-11-10 8:42 ` Pascal Obry [this message]
2002-11-10 12:20 ` Simon Wright
2002-11-10 16:04 ` Marin David Condic
2002-11-14 20:10 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox