Use Runtime.exit for non-zero exit return in bootstrapped compiler
Open
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.