0000150: nit in error msg

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000150

mercury

Bug

public

2010-05-25 13:37

2010-09-15 14:39

Reporter

juliensf

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000150: nit in error msg

Description

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

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes

~0000291

zs (developer)

2010-09-15 14:39

Fix committed 15 sep 2010.

Notes

Date Modified	Username	Field	Change
Issue History
2010-05-25 13:37	juliensf	New Issue
2010-09-15 14:39	zs	Note Added: 0000291
2010-09-15 14:39	zs	Status	new => resolved
2010-09-15 14:39	zs	Resolution	open => fixed
2010-09-15 14:39	zs	Assigned To	=> zs

Issue History