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.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8276b2994037cd71 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-10-13 20:20:15 PST Path: supernews.google.com!sn-xit-02!supernews.com!bignews.mediaways.net!feed.news.nacamar.de!newsfeeds.belnet.be!news.belnet.be!xfer13.netnews.com!netnews.com!cpk-news-hub1.bbnplanet.com!news.gtei.net!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: disjoint ranges ? Date: Sat, 14 Oct 2000 03:14:56 GMT Organization: Deja.com - Before you buy. Message-ID: <8s8j3e$qe4$1@nnrp1.deja.com> References: <39E612C9.9BF98CD3@laas.fr> <8s59nu$ej4$1@news.huji.ac.il> <39E658A4.525AE881@acm.org> <39E7225D.88A4906@acm.org> NNTP-Posting-Host: 205.232.38.240 X-Article-Creation-Date: Sat Oct 14 03:14:56 2000 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I) X-Http-Proxy: 1.0 x68.deja.com:80 (Squid/1.1.22) for client 205.232.38.240 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:1240 Date: 2000-10-14T03:14:56+00:00 List-Id: In article <39E7225D.88A4906@acm.org>, > Its a good example of how someone can see a feature in Ada and > start imagining even more powerful features resulting from it. > Unfortunately, not > all imagined features are implementable. or properly definable. Often you see feature suggestions that start off as pretty half baked misunderstandings of the fundamental semantics of Ada. Even when this is not the case, people have not *begun* to work out the implications of the proposal. The subject of this thread is actually a good example. Everyone can see what this means in the trivial case presented in the first message of the thread. But if you even *vaguely* attempt an orthogonal description you run into all sorts of troubles. Sent via Deja.com http://www.deja.com/ Before you buy.