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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a84eaf8fb2470909
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!i12g2000cwa.googlegroups.com!not-for-mail
From: "Hyman Rosen" <hyman.rosen@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada generics
Date: 29 Dec 2006 06:56:11 -0800
Organization: http://groups.google.com
Message-ID: <1167404171.735518.166580@i12g2000cwa.googlegroups.com>
References: <1166710494.869393.108730@a3g2000cwd.googlegroups.com>
   <17fe4xfogg7p5.1dcyc5nyc2gsl.dlg@40tude.net>
   <1166805696.291429.239590@48g2000cwx.googlegroups.com>
   <wvsqamnzgasf.gfemd82fzfpz$.dlg@40tude.net>
   <DFQjh.1222$oo4.1118@trndny09>
   <186qujlcx6rwl.1h6eq4mbdaa5s$.dlg@40tude.net>
   <q__jh.5046$6Z5.3245@trndny01>
   <awny47urt66k$.1vuw1blk1ccth$.dlg@40tude.net>
   <1167150212.165097.289010@73g2000cwn.googlegroups.com>
   <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net>
   <oekkh.5076$6f4.450@trndny08>
   <lbkjzskf2pv3$.b28bwviakyyb$.dlg@40tude.net>
   <1167246396.057028.325080@48g2000cwx.googlegroups.com>
   <15jxp8z1iu5fk.1oeihvavjghgg$.dlg@40tude.net>
   <1167323355.701067.267200@h40g2000cwb.googlegroups.com>
   <1sg3f9wjlvhv9$.1gr2edsl31qiz.dlg@40tude.net>
NNTP-Posting-Host: 204.253.248.208
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Trace: posting.google.com 1167404177 7985 127.0.0.1 (29 Dec 2006 14:56:17
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 29 Dec 2006 14:56:17 +0000 (UTC)
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.1;
 .NET CLR 2.0.50727) Gecko/20061204 Firefox/2.0.0.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: i12g2000cwa.googlegroups.com; posting-host=204.253.248.208;
   posting-account=lJDDWg0AAACmMd7wLM4osx8JUCDw_C_j
Xref: g2news2.google.com comp.lang.ada:8039
Date: 2006-12-29T06:56:11-08:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> > Those look like rational numbers to me.
> But they are not. ... This way or another, it is cannot work.

Of course it can. No matter how you represent the float parameters,
eventually they get used at runtime, at which point the representation
is converted to the closest floating-point number. But if you insist
that floats cannot be compared for equality, then the makers of C++
agreed with you, and left floating template parameters out for that
reason! I claim that I get to have it both ways, and I'm sure you'll
insist that I get to have neither :-) In any case, once again I think
we have come to an impasse over philosophy.