argotorg / argotorg/solcore

review and tidy Primitives.hs

Open
#263 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
113
Forks
9
Avg merge
4d 9h
Merged PRs (30d)
1

Description

`Primitives.hs` contains many things that are either needed but not really "true" primitives, or are relics from previous iterations and no longer required.

As far as I'm aware the only real fundamentally required primitives are:

- `word`
- the yul primops

We should review the set of primitives in `Primitives.hs` and:

1. remove the ones we don't need
2. consider extracting the remaining constructs into a `prelude.solc`

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reviewing Primitives.hs and cataloguing which definitions are required, especially word and the Yul primops, versus relics from earlier iterations. Then assess whether the remaining constructs belong in a prelude.solc. Done means the primitive set has been reviewed, unnecessary definitions are removed, and any extraction decision is documented or implemented.

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
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.