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
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2a17785321e80884
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Redundant With Remover
Date: 1998/02/03
Message-ID: <dewar.886515827@merv>#1/1
X-Deja-AN: 321675362
References: <886175452.1936588810@dejanews.com>
 <34D32B8E.F86335E1@elca-matrix.ch> <886514539.1408368642@dejanews.com>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 886515979 13212 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-02-03T00:00:00+00:00
List-Id: <comp.lang.ada>


JD asks

<<I've been trying to use gnatf, but it doesn't get very far.  It keeps on
failing at various packages saying they aren't predefined, yet as far as
I know, they are: unchecked_deallocation, calendar, system, etc.  Anyway
to specify which packages it should ignore as being 'predefined'?
>>

Sounds like some kind of usage error. We certainly use gnatf all the
time on the GNAT sources for finding unused withs. Actually an
improvement planned for the near future is to integrate this processing
into the compiler so that it is automatic.