From: xorque <xorquewasp@googlemail.com>
Subject: Re: SPARK left/right shift.
Date: Tue, 21 Jul 2009 04:33:47 -0700 (PDT)
Date: 2009-07-21T04:33:47-07:00 [thread overview]
Message-ID: <1fa32707-c1c3-4354-ad56-2c0489c47533@d4g2000yqa.googlegroups.com> (raw)
In-Reply-To: b9644h.jmr.ln@hunter.axlog.fr
> Rather than inventing your own interface, there is currently a proposal
> for coding/decoding functions, see AI05-0137.
Unfortunately, in it's current state, that interface isn't possible to
implement in SPARK directly (without a non-SPARK wrapper)
It uses exceptions, returns unconstrained arrays, etc.
prev parent reply other threads:[~2009-07-21 11:33 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
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 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox