Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000034mercuryBugpublic2008-01-03 04:522008-01-03 04:52
Reporterobo 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000034: confusing error message in lambda function (but good message in predicate version)
DescriptionThe 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.
TagsNo tags attached.
Relationships
Attached Files? confusing_message.m (1,766) 2008-01-03 04:52
https://bugs.mercurylang.org/file_download.php?file_id=30&type=bug

There are no notes attached to this issue.

Issue History
Date ModifiedUsernameFieldChange
2008-01-03 04:52oboNew Issue
2008-01-03 04:52oboFile Added: confusing_message.m