Skip to content

"Type variable a was shadowed" warning raised spuriously by partial function #2145

@garyb

Description

@garyb
fromJust :: forall a. Partial => Maybe a -> a
fromJust (Just x) = x

If you rename the type variable to something else it works, so I assume this is to do with the Partial handling @paf31?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions