Re: Contracts for delegates

[Benjamin Thaut]

Am 08.01.2013 12:14, schrieb bearophile:

How do you add contracts to delegates?

This doesn't work:


void main() {
     void delegate(int) foo;

     foo = (x)
     in {
         assert(x > 0);
     } body {
     };
}


Nor this:


void main() {
     void delegate(int) foo
     in {
         assert(x > 0);
     };

     foo = (x) {};
}

Bye,
bearophile

I don't think that this is possible at all. Do you think this is usefull?

Kind Regards
Benjamin Thaut