0000484: error message could be more specific

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000484

mercury

Feature Request

public

2019-09-18 23:00

2020-01-24 17:56

Reporter

Assigned To

Priority

normal

Severity

minor

Reproducibility

N/A

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000484: error message could be more specific

Description

The 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.

Tags

No tags attached.

Attached Files

bug484.m (485 bytes) 2019-09-18 23:00

Relationships

Relationships

Notes

~0001071

zs (developer)

2020-01-24 17:56

Error message improved on 2020 jan 24.

Notes

Date Modified	Username	Field	Change
Issue History
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