From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Question for the folks who designed Ada95
Date: 1999/04/28
Date: 1999-04-28T00:00:00+00:00 [thread overview]
Message-ID: <wccd80ohhdg.fsf@world.std.com> (raw)
In-Reply-To: 7g6upj$v5c$1@nnrp1.dejanews.com
Robert Dewar <robert_dewar@my-dejanews.com> writes:
> There are issues of what types it can be applied to. Shift
> operations applied for example to non-binary modular types
> are quite a puzzle.
And then generic contract problems rear their ugly heads.
> In GNAT, we allow shifts to be applied to any signed or
> binary unsigned integer type whose size is 8, 16, 32, or
> 64 (i.e. natural machine sizes for which shifts make
> sense).
What does GNAT do if it's a generic formal modular type?
I would guess it just checks the rule in the instance.
That's fine for an implementation-defined gizmo, but for
a language-defined feature, we would never want to do that.
- Bob
--
Change robert to bob to get my real email address. Sorry.
next prev parent reply other threads:[~1999-04-28 0:00 UTC|newest]
Thread overview: 88+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-04-26 0:00 Question for the folks who designed Ada95 Corey Ashford
1999-04-27 0:00 ` Matthew Heaney
1999-04-27 0:00 ` Corey Ashford
1999-04-28 0:00 ` Marin David Condic
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Keith Thompson
1999-04-29 0:00 ` Robert A Duff
1999-04-27 0:00 ` Matthew Heaney
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` Tarjei Tj�stheim Jensen
1999-04-27 0:00 ` bill
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` Al Christians
1999-04-27 0:00 ` Larry Kilgallen
1999-04-27 0:00 ` Al Christians
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Matthew Heaney
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` Jean-Pierre Rosen
1999-04-27 0:00 ` dennison
1999-04-27 0:00 ` Robert Dewar
1999-04-29 0:00 ` Robert A Duff
1999-04-27 0:00 ` Robert Dewar
1999-04-28 0:00 ` Corey Ashford
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff [this message]
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Robert A Duff
1999-04-29 0:00 ` Corey Ashford
1999-04-29 0:00 ` Corey Ashford
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` Fraser Wilson
1999-04-29 0:00 ` Tucker Taft
1999-04-29 0:00 ` Mark A Biggar
1999-04-30 0:00 ` Tucker Taft
1999-04-29 0:00 ` Marin David Condic
1999-04-30 0:00 ` David Brown
1999-04-29 0:00 ` Geert Bosch
1999-04-27 0:00 ` David Starner
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` David Starner
1999-04-28 0:00 ` Samuel Mize
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Tarjei Tj�stheim Jensen
1999-04-28 0:00 ` Larry Kilgallen
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff
1999-04-29 0:00 ` Bill Ghrist
1999-04-29 0:00 ` Tarjei Tj�stheim Jensen
1999-04-28 0:00 ` dennison
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Brian Hanson
1999-04-28 0:00 ` bill
1999-04-29 0:00 ` Robert S. White
1999-04-29 0:00 ` Robert Dewar
1999-04-30 0:00 ` Robert S. White
1999-04-30 0:00 ` dennison
1999-04-29 0:00 ` Robert Dewar
1999-04-30 0:00 ` Robert S. White
1999-04-29 0:00 ` Robert Dewar
1999-04-28 0:00 ` Pat Rogers
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` dennison
1999-04-29 0:00 ` Pat Rogers
1999-04-30 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff
1999-04-29 0:00 ` Question for the folks who designed Ad David Kristola
1999-04-29 0:00 ` Paul Duquennoy
1999-04-27 0:00 ` Question for the folks who designed Ada95 Larry Kilgallen
1999-04-29 0:00 ` Aidan Skinner
1999-04-30 0:00 ` Matthew Heaney
1999-04-27 0:00 ` Corey Ashford
1999-04-27 0:00 ` Samuel Mize
1999-04-27 0:00 ` Samuel Mize
1999-04-27 0:00 ` Robert Dewar
1999-04-28 0:00 ` Samuel Mize
1999-04-28 0:00 ` Samuel Mize
1999-04-28 0:00 ` Corey Ashford
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Corey Ashford
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` Fraser Wilson
1999-04-29 0:00 ` Marin David Condic
1999-04-29 0:00 ` Robert Dewar
1999-04-28 0:00 ` Corey Ashford
1999-04-28 0:00 ` Corey Ashford
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox