On 8/9/2014 5:52 PM, Walter Bright wrote: > On 8/7/2014 2:29 AM, Daniel Murphy wrote: >> And we've also got asserts in pre-conditions, which are recoverable by >> definition. > > Pre-condition asserts are not recoverable. > Eh, ignore that.