Skip to content

Typechecking of CustomCommand #767

Open
Bug
Open
Typechecking of CustomCommand#767
Bug
Labels
status:needs discussionNeed more design/conversation on the issue inside or outside a meeting to get to a concrete proposal
@oflatt

Description

@oflatt
oflatt
opened on Dec 26, 2025

Currently, experimental cannot be updated because of a desugaring error. The typechecking and global desugar passes are not running for custom commands.

Metadata

Metadata

Assignees

No one assigned

    Labels

    status:needs discussionNeed more design/conversation on the issue inside or outside a meeting to get to a concrete proposal

    Type

    Bug

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions