cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Use Runtime.exit for non-zero exit return in bootstrapped compiler

Open tanyongkiam opened this issue 5 years ago • 1 comments

This revives issue #260

The goal is to instead use Runtime.exit and prove the required CF and whole prog spec for the compiler instead of relying on the current approach.

This approach will solve the interfering change from #721.

tanyongkiam avatar Feb 01 '20 14:02 tanyongkiam