Lutger <lutger.blijdest...@gmail.com> wrote in
news:hescc2$16...@digitalmars.com:
> You are not missing something, this is a known issue. It has been
> discussed and I believe the intention was to do something about this,
> but with all the high priorities I'm not sure when this will be
> solved.
Okay, thanks for the information. It occurs to me that one way to solve
this problem would be to allow declarations in the precondition be
visible in the post condition. Then one could do something like
void next()
in {
int original_day_m = day_m;
int original_month_m = month_m;
int original_year_m = year_m;
}
out {
assert( ... expression using original_day_m, etc ... )
}
body {
// No code related to pre or post conditions.
}
This might not be an ideal resolution but it seems a lot better than the
current situation and it doesn't look like it would be too hard to
implement (but what do I know!).
> As for the code that should not be compiled: this is easy to solve...
Thanks for your suggestions!
Peter
