0000266: --no-warn-missing-det-decls doesn't exist - Mercury Bugs

2024-11-24 11:24 AEDT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000266

mercury

Bug

public

2012-11-26 13:30

2012-12-07 17:11

Reporter

wangp

Assigned To

juliensf

Priority

normal

Severity

trivial

Reproducibility

always

Status

assigned

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000266: --no-warn-missing-det-decls doesn't exist

Description

The documented option --no-warn-missing-det-decls doesn't exist in the implementation.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes
~0000484 juliensf (administrator) 2012-12-07 16:40	The implementation hasn't existed since at least version 0.7 (and probably) before. The only reference to it is in the user's guide. There are two possible fixes: (1) Implement it. (2) Delete the mention in the user's guide. Since no-one has complained about it not working after all these years I'm leaning towards (2). I'll make this change shortly unless I hear otherwise.

~0000485 wangp (developer) 2012-12-07 17:11	I'm not objecting particularly, but in _Determinism analysis in the Mercury compiler_ it is written: "However, predicates that are local to a module need not have determinism declarations. Since these declarations are useful documentation, the compiler issues a warning if a determinism declaration is omitted, but this warning can be switched off." Makes sense to me.

Notes

Date Modified	Username	Field	Change
Issue History
2012-11-26 13:30	wangp	New Issue
2012-12-07 16:40	juliensf	Note Added: 0000484
2012-12-07 16:40	juliensf	Assigned To	=> juliensf
2012-12-07 16:40	juliensf	Status	new => feedback
2012-12-07 17:11	wangp	Note Added: 0000485
2012-12-07 17:11	wangp	Status	feedback => assigned

Issue History