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
Path: 
 g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!news.osn.de!diablo1.news.osn.de!noris.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 01 Mar 2010 15:28:54 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Explicit interfaces of scalar types
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 7bit
Message-ID: <4b8bcf27$0$7632$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 01 Mar 2010 15:28:55 CET
NNTP-Posting-Host: 23f834a2.newsspool1.arcor-online.net
X-Trace: 
 DXC=_1jhLH6e9JcFXUDVUnEXQmic==]BZ:afn4Fo<]lROoRa<`=YMgDjhgbV\;T7b2ZF?hnc\616M64>jLh>_cHTX3jmL]8o^iSJdOa
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:9358
Date: 2010-03-01T15:28:55+01:00
List-Id: <comp.lang.ada>

Ada Gem #80, posted on the AdaCore's own Webnews Bulletin
Board (:-), is about how to call overloaded functions like
Shift_Left in a language that disallows overloading: SPARK.
The solution is to declare SPARK functions to rename the
overloaded Ada functions.

Is there a more general solution involving a small change
to Ada's type system and permitting AS-IF overriding instead?
Like this:
Make the scalar types' operations explicit in some interface.
Then use overriding, not overloading, together with
convention Intrinsic (so that the compiler can omit the
usual dispatching circuitry).  Am I making sense?