From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Text_IO for other standard types
Date: 1998/01/16
Date: 1998-01-16T00:00:00+00:00 [thread overview]
Message-ID: <dewar.884997554@merv> (raw)
In-Reply-To: 01bd22ba$08013440$5cfd82c1@xhv46.dial.pipex.com
Nick Roberts said
<<There are occasions when knowing such a 'natural' modular type would be
helpful (e.g. programming 'bignums'); the provision of an appropriate
predefined modular type would therefore be genuinely helpful.
>>
But surely this is a perfect example where you do NOT want predefined
types to be used at all.
Certainly a reasonable declaration in this case would be:
type x is mod 2 ** Integer'Size;
but I would oppose adding this to the language.
P.S> if you really, really want these predefined types, and are using
GNAT, have a looik at System.Unsigned_Types. Of course you are not supposed
to use these secret implementatoin packages :-)
next prev parent reply other threads:[~1998-01-16 0:00 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-01-15 0:00 Text_IO for other standard types Marin David Condic, 561.796.8997, M/S 731-96
1998-01-15 0:00 ` Robert Dewar
1998-01-15 0:00 ` Robert Dewar
1998-01-16 0:00 ` Nick Roberts
1998-01-16 0:00 ` Robert Dewar [this message]
1998-01-17 0:00 ` Geert Bosch
1998-01-17 0:00 ` Robert Dewar
1998-01-15 0:00 ` Nick Roberts
1998-01-17 0:00 ` Jean-Pierre Rosen
1998-01-17 0:00 ` Robert Dewar
1998-01-18 0:00 ` Michael F Brenner
-- strict thread matches above, loose matches on Subject: below --
1998-01-20 0:00 Marin David Condic, 561.796.8997, M/S 731-96
1998-01-21 0:00 ` Jean-Pierre Rosen
1998-01-19 0:00 Marin David Condic, 561.796.8997, M/S 731-96
1998-01-12 0:00 Marin David Condic, 561.796.8997, M/S 731-96
1998-01-09 0:00 Marin David Condic, 561.796.8997, M/S 731-96
1998-01-10 0:00 ` Nick Roberts
1998-01-10 0:00 ` Tarjei T. Jensen
1998-01-10 0:00 ` Robert Dewar
1998-01-11 0:00 ` Tarjei T. Jensen
1998-01-11 0:00 ` Robert Dewar
1998-01-11 0:00 ` Robert Dewar
1998-01-12 0:00 ` Tarjei T. Jensen
1998-01-11 0:00 ` Jean-Pierre Rosen
1998-01-14 0:00 ` Dale Stanbrough
1998-01-14 0:00 ` Robert Dewar
1998-01-14 0:00 ` Tarjei T. Jensen
1998-01-14 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox