Mercury Bugs - mercury
View Issue Details
0000571mercuryFeature Requestpublic2024-02-09 15:292024-02-09 15:29
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusnewResolutionopen 
PlatformOSOS Version
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? unsat_error.m (314) 2024-02-09 15:29
https://bugs.mercurylang.org/file_download.php?file_id=328&type=bug

There are no notes attached to this issue.

Issue History
2024-02-09 15:29juliensfNew Issue
2024-02-09 15:29juliensfFile Added: unsat_error.m