Re: request switch statement with common block

[luminousone]

perhaps a more generic solution should be looked at, extend 
contracts to work with all scope blocks.

switch(somenumber)
in {
    ... before stuff ...
}
out {
    .... after stuff ...
}
body {
    case 1:
    in {
       ... etc ....
    }
    out {
       ... more etc ...
    }
    body {
       ...
    }
    case 2:
      // and so on
}
or perhaps

for( int i = 0 ; i < 10 ; i ++ )
in {
    assert( i == 0 );
}
out {
    assert( i == 9 );
}
body {
   ... stuff ...
}

if it is desired for a particular contract block to be called in 
release builds perhaps a attribute label to mark it as a runtime 
block or something similar.

foreach( i, k ; somerange )
@runtime in {
 ...
}
body {
}