Remove opens in bootstrap translation
Open
dev experience
enhancement
refactoring
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
I was surprised that there are some very obvious opens in bootstrap translation:
https://github.com/CakeML/cakeml/blob/f46cb7a02ef250d89bbcdfde119a8095616c6c4f/compiler/bootstrap/translation/compiler64ProgScript.sml#L4-L14
https://github.com/CakeML/cakeml/blob/f46cb7a02ef250d89bbcdfde119a8095616c6c4f/compiler/bootstrap/translation/arm8ProgScript.sml#L4-L15
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.