2024-07-15 08:32 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000571mercuryFeature Requestpublic2024-02-09 15:29
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
Product Version 
Target VersionFixed in Version 
Summary0000571: Improve unsatisfiable typeclass constraint errors
DescriptionThe attached program generates the following error messages:

    unsat_error.m:015: In clause for predicate `create_schedule'/3:
    unsat_error.m:015: unsatisfiable typeclass constraint:
    unsat_error.m:015: `unsat_error.logger(L)'.

For cases like this it would better if we could provide the user some indication of the cause of this constraint being unsatisfiable, namely that the there is no constraint on the type variable Logger in the predicate declaration.
TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2024-02-09 15:29 juliensf New Issue
2024-02-09 15:29 juliensf File Added: unsat_error.m
+Issue History