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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b5627b980414da76
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-21 18:19:57 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!rz.uni-karlsruhe.de!xlink.net!howland.reston.ans.net!spool.mu.edu!usenet.eel.ufl.edu!news.mathworks.com!solaris.cc.vt.edu!swiss.ans.net!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Higher precision and generics
Date: 21 Mar 1995 16:14:05 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3knfit$ekf@gnat.cs.nyu.edu>
References: <3jsnbf$ido@nef.ens.fr> <795197606snz@linkmsd.com>
 <3k6ljm$bhp@nef.ens.fr> <3kbhv0$jcl@maple.enet.net>
 <3kbvpt$ltk@info4.rus.uni-stuttgart.de> <3kg124$elp@gnat.cs.nyu.edu>
 <3kkaod$lvg@info4.rus.uni-stuttgart.de>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-03-21T16:14:05-05:00
List-Id: <comp.lang.ada>

I don't like the "non-portable construct" warning for a with of System, since
I think it can lead people into the mistake of thinking that avoiding with's
of System is helpful in achieveing portability, when in fact this is just
the opposite of the real situation.