2019-10-16 17:54 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000484mercuryFeature Requestpublic2019-09-18 23:01
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityN/A
StatusassignedResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000484: error message could be more specific
DescriptionThe error message is
bug484.m:018: In clause for `p(in, out, out)':
bug484.m:018: in call to predicate `list.foldl'/4:
bug484.m:018: mode error: arguments `V_8, As, X, B' have the following insts:
bug484.m:018: /* unique */ (pred(in, in, out) is det),
bug484.m:018: free,
bug484.m:018: ground,
bug484.m:018: free
bug484.m:018: which does not match any of the modes for predicate
bug484.m:018: `list.foldl'/4.

It should point that it is only the second argument whose mode is wrong.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2019-09-18 23:00 zs New Issue
2019-09-18 23:00 zs File Added: bug484.m
2019-09-18 23:01 zs Assigned To => zs
2019-09-18 23:01 zs Status new => assigned
+Issue History