Skip to content
This repository was archived by the owner on Mar 12, 2025. It is now read-only.

Split Storage into TypeStore and ErrorStore #1046

Open
kdy1 opened this issue Jun 3, 2023 · 0 comments
Open

Split Storage into TypeStore and ErrorStore #1046

kdy1 opened this issue Jun 3, 2023 · 0 comments
Milestone
v0.0.1: Correctness

Comments

@kdy1
Copy link
Member

kdy1 commented Jun 3, 2023

We don't need Mutex for ErrorStore. (Regression caused by #1045)
@kdy1 kdy1 added this to the v0.0.1: Correctness milestone Jun 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Milestone
v0.0.1: Correctness
Development

No branches or pull requests
1 participant
@kdy1