0000034: confusing error message in lambda function (but good message in predicate version)

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000034

mercury

Bug

public

2008-01-03 04:52

Reporter

obo

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

new

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000034: confusing error message in lambda function (but good message in predicate version)

Description

The attached code has two routines, both exhibit the same error (unsatisfied uniqueness). However, only the 'pred' closure reports a reasonable error message. The 'func' version is just confusing:

confusing_message.m:001: Warning: interface for module `confusing_message' does
confusing_message.m:001: not export anything.
confusing_message.m:012: In clause for `nice_message(out)':
confusing_message.m:012: in argument 1 of call to predicate
confusing_message.m:012: `confusing_message.read_outcome'/3:
confusing_message.m:012: mode error: variable `COutcomes' has
confusing_message.m:012: instantiatedness `ground',
confusing_message.m:012: expected instantiatedness was `unique'.
confusing_message.m:020: In clause for `confusing_message(out)':
confusing_message.m:020: in argument 1 of call to function `int.fold_down'/4:
confusing_message.m:020: mode error: variable `V_7' has instantiatedness
confusing_message.m:020: `free',
confusing_message.m:020: expected instantiatedness was `(func((ground >>
confusing_message.m:020: ground), (ground >> ground)) = (free >> ground) is
confusing_message.m:020: det)'.

Best wishes in the new year,
yours Ondrej.

Date Modified	Username	Field
Issue History
2008-01-03 04:52	obo	New Issue
2008-01-03 04:52	obo	File Added: confusing_message.m

Relationships

Notes
There are no notes attached to this issue.