Skip to content

Truly "empty" type constructors? (Disallow passing arguments) #44

@joshburgess

Description

@joshburgess

Hi, I was recently playing around with unionize and discovered that using {} to represent members of the union which take no arguments doesn't actually prevent you from passing arguments through in the functions passed to match via the type constructors. I think, ideally, you would receive a type error when trying to pass any argument at all due to that being the intention of modeling a simple, "empty" type.

Do you have any ideas for how this could be made to work? Is it possible?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions