argotorg / argotorg/act

Move `Time t` from `TEntry` to `TStorageItem`

Open
#121 2 comments 0 reactions 0 assignees View on GitHub
minor
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.