From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: SPARK left/right shift.
Date: Tue, 21 Jul 2009 02:21:38 -0700 (PDT)
Date: 2009-07-21T02:21:38-07:00 [thread overview]
Message-ID: <2faafa7c-91d1-40b7-86ca-960af91d1589@j32g2000yqh.googlegroups.com> (raw)
In-Reply-To: 9d0eb92b-bb21-40eb-ac6d-2e1e829b95cc@s15g2000yqs.googlegroups.com
On Jul 21, 10:07 am, xorque <xorquew...@googlemail.com> wrote:
> Hi.
>
> What's the "correct" way to get access to left/right shift operations
> for modular types in SPARK?
The standard shift/rotate functions in Interfaces
are overloaded, so not legal SPARK. The way round this is
to declare a "shadow" package that de-overloads them for SPARK.
I'll post an example of how to do it in a minute...
- Rod
next prev parent reply other threads:[~2009-07-21 9:21 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-21 9:07 SPARK left/right shift xorque
2009-07-21 9:21 ` Rod Chapman [this message]
2009-07-21 9:31 ` Rod Chapman
2009-07-21 9:38 ` xorque
2009-07-21 9:54 ` Rod Chapman
2009-07-21 10:00 ` xorque
2009-07-21 10:40 ` Georg Bauhaus
2009-07-21 10:46 ` Jean-Pierre Rosen
2009-07-21 11:33 ` xorque
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox