Skip to content

Exception conversion to tuples #24

Open
Open
Exception conversion to tuples#24
Labels
big-stepframe stackgood first issueGood for newcomersinvalidThis doesn't seem right

Description

@berpeti
berpeti
opened on Feb 5, 2024

Some exception reasons, and conversions are defined by lists (potentially in Auxiliaries.v and ProcessSemantics.v). Use tuples instead!

Metadata

Metadata

Assignees

No one assigned

    Labels

    big-stepframe stackgood first issueGood for newcomersinvalidThis doesn't seem right

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions