From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Explicit interfaces of scalar types
Date: Mon, 01 Mar 2010 15:28:54 +0100
Date: 2010-03-01T15:28:55+01:00 [thread overview]
Message-ID: <4b8bcf27$0$7632$9b4e6d93@newsspool1.arcor-online.net> (raw)
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?
reply other threads:[~2010-03-01 14:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox