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,551199dd34451f28,start
X-Google-Attributes: gid103376,public
From: vsnyder@gyre.jpl.nasa.gov (Van Snyder)
Subject: Overload resolution
Date: 1998/07/02
Message-ID: <6nh5he$66i@netline.jpl.nasa.gov>#1/1
X-Deja-AN: 368270560
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Organization: Jet Propulsion Laboratory
Newsgroups: comp.lang.ada
Date: 1998-07-02T00:00:00+00:00
List-Id: <comp.lang.ada>


Does anybody have an explanation of an algorithm used for overload
resolution?  The explanation in the standard (section 8.6 in the 95
standard) isn't exactly clear.

It would seem that the W-algorithm used for type inference in functional
languages would be over-kill.

-- 
What fraction of Americans believe   |  Van Snyder
Wrestling is real and NASA is fake?  |  vsnyder@math.jpl.nasa.gov