Skip to content

Better error message when unifying a type class with an unknown #289

Closed
Closed
Better error message when unifying a type class with an unknown#289
Labels
type: enhancementtypechecker
Milestone
0.5.0

Description

@paf31
paf31
opened on Mar 13, 2014

unify doesn't support unifying constrained types, but the error message is not helpful.

Metadata

Metadata

Assignees

No one assigned

    Labels

    type: enhancementtypechecker

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions