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,587ad2f618740277,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-08-16 17:30:29 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!newsfeed.yosemite.net!news-out.cwix.com!newsfeed.cwix.com!newsfeed.mathworks.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: tocruisy@my-deja.com
Newsgroups: comp.lang.ada
Subject: How can this be !!
Date: Thu, 17 Aug 2000 00:22:08 GMT
Organization: Deja.com - Before you buy.
Message-ID: <8nfb6u$5fj$1@nnrp1.deja.com>
NNTP-Posting-Host: 139.230.128.6
X-Article-Creation-Date: Thu Aug 17 00:13:07 2000 GMT
X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.01; Windows 98)
X-Http-Proxy: 1.0 proxy:80 (Squid/1.1.18),
 1.0 x59.deja.com:80 (Squid/1.1.22) for client 139.230.212.53, 139.230.128.6
Xref: supernews.google.com comp.lang.ada:161
Date: 2000-08-17T00:22:08+00:00
List-Id: <comp.lang.ada>

I'm writing a set of programs that execute
finding algorithms .  Part of the
requirements are to overload the comparison
operators to keep track of such
operations.  As each program has similar
requirments moved this part into a
seperate package.  After considerable examination
of my output, my only
conclusion is that my generic procedures won't
insansitate with comparison
functions defined in external packages.  I think
the code will explain it
better.

This is Test.ads

package test is
   type Dummy is new Boolean;  -- Used for
nothing.
end test;

This is my main program declaration for the
generic find :

   generic
      type element is  private;
      type index is (<>);
      type array_element is array(index range <>)
of element;
      with function ">"(left,right:in element)
return boolean;
      with function "<"(left,right:in element)
return boolean;
      procedure Find(the_vector:in
array_element;Min,Max:in out element) ;

It works fine, except for mapping (?) my
comparison functions and here the
problem lays :

ie Here is my instansiation :

   procedure Vector_Find is new
      Find
(integer,integer,vector,test.">",Common."<");

Common is my shared package.  I have commented
out the "<" function in both
the specification and the body.

So, my question is, if neither test, nor common
contain "<" why is it my
code compiles and executes properly, with the
exception of using
standard."<" and standard.">"  I don't
understand.  I thought the unit would
not compile ?  How can I get my instansiation to
use the required comparison
functions "<",">" defined in common.ads. ?

Any help would be much appreciated.


Jason
tocruisy@hotmail.com


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