More precise error message for errors in types #89
Description
... such as for example in a declaration
P : Integer -> Boolan
Precisely identify the subtype "Boolan" as culprit
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
... such as for example in a declaration
P : Integer -> Boolan
Precisely identify the subtype "Boolan" as culprit