From: dale <dale@cs.rmit.edu.au>
Subject: Re: Disallowing Pre-Defined Operations
Date: 2000/04/07
Date: 2000-04-07T00:00:00+00:00 [thread overview]
Message-ID: <dale-8931D0.10474507042000@news.rmit.edu.au> (raw)
In-Reply-To: 38ED3145.BE3CEC68@quadruscorp.com
Marin D. Condic" wrote:
> It doesn't sound to me like something that would require some massive
> compiler rewrite or some fundamental change in Ada syntax or semantics.
> I'm no expert, but it seems fairly small and self-contained such that a
> compiler could provide it as an option that could be toggled by
> switches. Syntax? Maybe "type T is saturated digits 6 ;" or "type T is
> saturated range -128..127 ;" Maybe as a pragma? "pragma Saturate (T) ;"
> I personally wouldn't be fussy. :-)
A pragma would not do it, as you would have to deal with generics.
(e.g. the semantics of a multiply operation in a generic would have
to be modified not to raise an exception, but to cap the result).
Dale
next prev parent reply other threads:[~2000-04-07 0:00 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-10 0:00 Disallowing Pre-Defined Operations Charles H. Sampson
2000-03-09 0:00 ` Keith Thompson
2000-03-09 0:00 ` Samuel T. Harris
2000-03-12 0:00 ` Steven Hovater
2000-03-10 0:00 ` Jean-Pierre Rosen
2000-03-11 0:00 ` Tarjei Tj�stheim Jensen
2000-03-11 0:00 ` James S. Rogers
2000-03-13 0:00 ` Tarjei T. Jensen
2000-03-13 0:00 ` Robert Dewar
2000-03-13 0:00 ` Keith Thompson
2000-03-15 0:00 ` Robert Dewar
2000-03-13 0:00 ` dmitry6243
2000-03-15 0:00 ` Charles H. Sampson
2000-03-15 0:00 ` Robert Dewar
2000-03-21 0:00 ` Charles H. Sampson
2000-03-21 0:00 ` Robert A Duff
2000-03-21 0:00 ` Robert Dewar
2000-03-12 0:00 ` claveman
2000-03-12 0:00 ` Robert A Duff
2000-03-13 0:00 ` Tarjei T. Jensen
2000-03-13 0:00 ` Robert A Duff
2000-03-13 0:00 ` Robert Dewar
2000-03-15 0:00 ` Charles H. Sampson
2000-03-15 0:00 ` Tucker Taft
2000-03-15 0:00 ` Paul Graham
2000-03-16 0:00 ` Robert Dewar
2000-03-16 0:00 ` Charles Hixson
2000-03-17 0:00 ` Paul Graham
2000-03-17 0:00 ` Charles Hixson
2000-03-18 0:00 ` Robert Dewar
2000-03-20 0:00 ` Charles Hixson
2000-03-20 0:00 ` Robert Dewar
2000-03-16 0:00 ` Tarjei T. Jensen
2000-03-16 0:00 ` mark_biggar
2000-03-16 0:00 ` Dale Stanbrough
2000-03-16 0:00 ` Bryce Bardin
2000-03-17 0:00 ` Robert A Duff
2000-03-13 0:00 ` Ted Dennison
2000-03-10 0:00 ` mark_biggar
2000-03-14 0:00 ` Nick Roberts
2000-03-15 0:00 ` Robert Dewar
2000-03-17 0:00 ` William A Whitaker
2000-03-18 0:00 ` Robert Dewar
2000-03-22 0:00 ` William A Whitaker
2000-03-23 0:00 ` Robert Dewar
2000-04-06 0:00 ` Robert I. Eachus
2000-04-05 0:00 ` Marin D. Condic
2000-04-06 0:00 ` Robert Dewar
2000-04-06 0:00 ` Marin D. Condic
2000-04-07 0:00 ` dale [this message]
2000-04-07 0:00 ` Marin D. Condic
2000-04-07 0:00 ` Tarjei T. Jensen
2000-04-07 0:00 ` Marin D. Condic
2000-04-07 0:00 ` tmoran
2000-04-07 0:00 ` Marin D. Condic
2000-04-08 0:00 ` Vladimir Olensky
2000-04-08 0:00 ` Vladimir Olensky
2000-04-08 0:00 ` Dale Stanbrough
2000-04-10 0:00 ` Tarjei T. Jensen
2000-04-15 0:00 ` Niklas Holsti
2000-04-15 0:00 ` Marin D. Condic
2000-04-07 0:00 ` Robert Dewar
2000-04-07 0:00 ` Marin D. Condic
2000-04-09 0:00 ` Robert I. Eachus
2000-03-18 0:00 ` Robert Dewar
2000-03-18 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