Re: checkedint call removal

[via Digitalmars-d]

On Tuesday, 29 July 2014 at 21:08:55 UTC, Ola Fosheim Grøstad 
wrote:

Sorry, got that wrong (it is late), meant to do this:
lowercase(str){
  if(...){
     assume(str=='format'); // wrong theorem
  }
   ...
}

action1(cmd){
    cmd = lowercase( cmd );
    if(cmd=='format') format_harddisk()
}

action2(cmd) // the same with assert() instead of assume()

release:

action1(cmd){
   cmd = lowercase(cmd);
   if(cmd=='format') format_harddisk()
}

action2(cmd){
   cmd = lowercase(cmd);
   format_harddisk()
}