cakeml
cakeml copied to clipboard
Use Runtime.exit for non-zero exit return in bootstrapped compiler
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.