Re: Pre and Post contracts and signature constraints

[simendsjo]

On 04.07.2011 19:20, Zardoz wrote:

How is the correct way of mix  Pre and Post contracts and signature constraints 
?

I try this that looks logic way and not compile :

T foo (T) (T a)
if ( is(T : real)) {
  in {
        assert (a>  0);
  }
  body {
        return a*2;
  }
}

I get this errors :
Declaration expected, not 'if'
unrecognized declaration

And this with same result :

T foo (T) (T a)
in {
        assert (a>  0);
}
if ( is(T : real)) {
  body {
        return a*2;
  }
}

I'm using dmd 2.053.

The "in" should be in a block of it's own:

T foo(T)(T a)
if(...) // notice no { here
in {
} body {
}