Add General.exnMessage to CakeML
Open
basis extensions
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
This will probably be done by setting up the extensible pretty printer for exceptions and then exporting it.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the General.exnMessage entry point and the extensible pretty printer for exceptions mentioned in the issue. Determine how exception printing is currently structured and how such functionality is exported; done means General.exnMessage is available through the intended exported interface.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100