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
Open
Split Storage into TypeStore and ErrorStore#1046
Milestone
v0.0.1: Correctness
@kdy1

Description

@kdy1
kdy1
opened on Jun 3, 2023

We don't need Mutex for ErrorStore. (Regression caused by #1045)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions