Skip to content

Public types in pattern-matching #315

@ppolesiuk

Description

@ppolesiuk

Fram supports to selectively mark subpatterns as public, like in let (x, pub y) = .... However, this feature is limited to values only. Allowing to mark types introduced by pattern-matching as public would be useful. See #314 for a motivating example.

Metadata

Metadata

Assignees

No one assigned

    Labels

    0. parsingThings related to lexer and parser1. type inferenceType inference and the Unif language

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions