Add String.toString and Char.toString to CakeML
Open
basis extensions
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
See https://smlfamily.github.io/Basis/char.html#SIG:CHAR.toString:VAL
and https://smlfamily.github.io/Basis/string.html#SIG:STRING.toString:VAL
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the referenced Standard ML Basis specifications for CHAR.toString and STRING.toString, then locate the corresponding CakeML implementations. Done means both APIs are available and conform to the behavior described in those specifications.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100