Re: Disallowing Pre-Defined Operations

["Marin D. Condic" <mcondic-nospam@quadruscorp.com>]

Robert I. Eachus wrote:
>    There is a general-purpose feature that could be added to compilers,
> and which is already
> explicitly allowed for by the Ada 95 standard.  If compilers were to
> provide a non-standard
> integer and non-standard floating point type with literals, assignment
> and, I think, no other operations, then implementors could provide
> various packages to provide SI unit checking, unbounded numeric types
> with literals and so on.  Hmmm.  The 'SIZE attribute is key, and needs

I've voted for it before, but I'll mention it again: Integer and Real
(Fixed & Float) types that saturate on overflow. It may be hard to
implement on some hardware, but it could be very useful. I don't think
we'd need to come up with war stories to argue its usefulness. Its
already done (through a variety of hacks) in lots of embedded systems
that perform control of analog hardware.

MDC
-- 
=============================================================
Marin David Condic   - Quadrus Corporation -   1.800.555.3393
1015-116 Atlantic Boulevard, Atlantic Beach, FL 32233
http://www.quadruscorp.com/
m c o n d i c @ q u a d r u s c o r p . c o m

***PLEASE REMOVE THE "-NOSPAM" PART OF MY RETURN ADDRESS***

Visit my web site at:  http://www.mcondic.com/

"Because that's where they keep the money."
    --  Willie Sutton when asked why he robbed banks. 
=============================================================