Mercury Bugs - mercury
View Issue Details
0000150mercuryBugpublic2010-05-25 13:372010-09-15 14:39
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000150: nit in error msg
DescriptionFrom the BUGS file


Subject: nit in error msg
Date: Thu, 16 May 1996 10:25:42 +1000 (EST)

Here's another small error in an error message. If you comment out
the [] clause for the functions car/1 or cdr/1, you get this message:

fntest.m:023: In `car(in) = out':
fntest.m:023: Error: determinism declaration not satisfied.
fntest.m:023: Declared `det', inferred `semidet'.
fntest.m:023: in argument 1 of clause head:
fntest.m:023: unification of `HeadVar__1' and `[X | V_4]' can fail.

It says Declared `det', inferred `semidet', but I never declared it at
all. It's a bit misleading. Certainly not a major problem, and the
later part of the message makes it quite clear what the problem is,
but I thought I'd point it out to you before I forgot it.
TagsNo tags attached.
Attached Files

2010-09-15 14:39   
Fix committed 15 sep 2010.

Issue History
2010-05-25 13:37juliensfNew Issue
2010-09-15 14:39zsNote Added: 0000291
2010-09-15 14:39zsStatusnew => resolved
2010-09-15 14:39zsResolutionopen => fixed
2010-09-15 14:39zsAssigned To => zs