Communicating between in and out contracts

["Jérôme M. Berger"]

Steven Schveighoffer wrote:
> On Tue, 20 Oct 2009 13:13:07 -0400, Michel Fortin 
> <michel.fortin at michelf.com> wrote:
> 
>> So what we need is semi-pure functions that can see all the globals as 
>> const data, or in other terms having no side effect but which can be 
>> affected by their environment. Another function qualifier, isn't it 
>> great! :-)
> 
> Yeah, I meant which functions to allow among the functions types we 
> already have.  To introduce another function type *just to allow 
> contracts to call them* is insanity.
> 
	Note that there already is a gcc extension for this kind of 
function in C/C++: __attribute__((const))

		Jerome
-- 
mailto:jeberger at free.fr
http://jeberger.free.fr
Jabber: jeberger at jabber.fr

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 197 bytes
Desc: OpenPGP digital signature
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20091020/9234b688/attachment.pgp>