From: Marin David Condic <nobody@noplace.com>
Subject: Re: New limited range type?
Date: Tue, 11 Nov 2003 12:37:47 GMT
Date: 2003-11-11T12:37:47+00:00 [thread overview]
Message-ID: <3FB0D816.6020406@noplace.com> (raw)
In-Reply-To: slrnbr1f74.ru.lutz@taranis.iks-jena.de
That sort of gets you Ordinal, but not Scalar. For Scalar, you've got to
import a bunch of math functions. Even then, it doesn't work very
smoothly as a heierarchy. "Scalar" is not an "Ordinal" with some
additional operations.
MDC
Lutz Donnerhacke wrote:
>
> generic
> type Scaler (<>) is private;
> with function "<"(a, b : Scaler) return Boolean is <>;
> First, Last : constant Scaler;
> package Generic_Limits is
> ...
--
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm
Send Replies To: m o d c @ a m o g
c n i c . r
"Trying is the first step towards failure."
-- Homer Simpson
======================================================================
next prev parent reply other threads:[~2003-11-11 12:37 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-11-07 15:51 New limited range type? Martin Dowie
2003-11-07 15:57 ` Hyman Rosen
2003-11-07 16:20 ` Martin Dowie
2003-11-07 16:36 ` Stephane Richard
2003-11-07 16:59 ` Hyman Rosen
2003-11-07 18:18 ` Martin Dowie
2003-11-07 20:11 ` Larry Hazel
2003-11-07 22:40 ` Martin Dowie
2003-11-07 23:31 ` Larry Hazel
2003-11-12 8:22 ` Jean-Pierre Rosen
2003-11-12 15:00 ` Hyman Rosen
2003-11-12 15:34 ` Robert I. Eachus
2003-11-12 17:37 ` tmoran
2003-11-07 18:19 ` Mike Silva
2003-11-07 19:03 ` Marin David Condic
2003-11-07 18:05 ` Mike Silva
2003-11-08 21:58 ` Nick Roberts
2003-11-09 14:34 ` Martin Dowie
2003-11-11 5:13 ` Nick Roberts
2003-11-11 10:18 ` Martin Dowie
2003-11-11 10:35 ` Martin Dowie
2003-11-11 10:41 ` Lutz Donnerhacke
2003-11-11 12:37 ` Marin David Condic [this message]
2003-11-11 14:19 ` Martin Dowie
2003-11-11 12:34 ` Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox