2024-10-15 23:28 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000484mercuryFeature Requestpublic2020-01-24 17:56
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityN/A
StatusresolvedResolutionfixed 
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

~0001071

zs (developer)

Error message improved on 2020 jan 24.
+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
2020-01-24 17:56 zs Status assigned => resolved
2020-01-24 17:56 zs Resolution open => fixed
2020-01-24 17:56 zs Note Added: 0001071
+Issue History