Cleanup astScript
Open
looking for LLMs
low reward
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
This datatype seems to only be used in the semantics and should be moved to somewhere more appropriate.
https://github.com/CakeML/cakeml/blob/master/semantics/astScript.sml#L140
Contributor guide
No contributing guide indexed for this repository
Research direction
Start at semantics/astScript.sml around line 140 and inspect where the datatype is defined and used across the semantics. Identify a more appropriate location, move the datatype and update its references. Verify that the CakeML build and relevant semantics checks still pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100