Skip to content

Inconsistence rule arrow ghost absorption #181

@disconcision

Description

@disconcision

given:

Image

pressing space yields:

Image

but given:

Image

pressing space yields:

Image

JC noticed this in task 8 reflect. it seems to occur when the case body is anything other than a single token (after submitting this i found a more minified example, where the body is -1

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions