From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,38d8b4bd1cb45ff
X-Google-Attributes: gid103376,public
From: David W. Glessner <david_glessner@my-deja.com>
Subject: Re: choice of fixed point type
Date: 2000/03/06
Message-ID: <8a0lm4$trr$1@nnrp1.deja.com>#1/1
X-Deja-AN: 593788266
References: <89rour$jak$1@nntp3.atl.mindspring.net>
 <S_iw4.2837$im1.54677@news.pacbell.net> <89v3nq$rs7$1@nnrp1.deja.com>
X-Http-Proxy: 1.0 x33.deja.com:80 (Squid/1.1.22) for client 205.175.225.22
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Mon Mar 06 16:17:13 2000 GMT
X-MyDeja-Info: XMYDJUIDdavid_glessner
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.51 [en]C-CCK-MCD (Win95; U)
Date: 2000-03-06T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <89v3nq$rs7$1@nnrp1.deja.com>,
  Robert Dewar <robert_dewar@my-deja.com> wrote:
> In article <S_iw4.2837$im1.54677@news.pacbell.net>,
>   tmoran@bix.com wrote:
>
> >   Gnat 3.12p NT gave no error message and used, apparently,
> > Standard.Duration
>
> As one would expect, since this type is most certainly
> visible. However, if a compiler has other fixed point types
> visible (certainly permissible), then it would be ambiguous.
> The code in question is really non-portable at best, wrong
> at worst, but not illegal if there is only one fixed-point
> type visible. At least that's my reading.

But doesn't Tom's example have two fixed-point types visible?
Namely, Standard.Duration, and Test.Duration.

(I thought GNAT 3.12p compiled, without warning, the example
even when "type Duration is delta ..." was replaced with
"type T is delta ...".  I don't have access to 3.12p right
now, so I can't verify that.)

--
David


Sent via Deja.com http://www.deja.com/
Before you buy.