Move `Time t` from `TEntry` to `TStorageItem`
- Dominant language
- Haskell
- Stars
- 279
- Forks
- 51
- Avg merge
- 17h 42m
- Merged PRs (30d)
- 1
Description
This may be cleaner because it allows us to infer names purely based on a storage item. On the other hand, it makes location extraction for name generation more difficult, because the pre- and the post-versions of each location will become separate location values which need to be matched to generate the correct assertions.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the definitions of TEntry and TStorageItem, then trace location extraction and name generation. Determine how moving Time affects matching pre- and post-versions and the assertions generated; the work is done when storage-item names and those assertions remain correct.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100