Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000266mercuryBugpublic2012-11-26 13:302012-12-07 17:11
Reporterwangp 
Assigned Tojuliensf 
PrioritynormalSeveritytrivialReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000266: --no-warn-missing-det-decls doesn't exist
DescriptionThe documented option --no-warn-missing-det-decls doesn't exist in the implementation.
TagsNo tags attached.
Relationships
Attached Files

Notes
(0000484)
juliensf   
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   
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.

Issue History
Date ModifiedUsernameFieldChange
2012-11-26 13:30wangpNew Issue
2012-12-07 16:40juliensfNote Added: 0000484
2012-12-07 16:40juliensfAssigned To => juliensf
2012-12-07 16:40juliensfStatusnew => feedback
2012-12-07 17:11wangpNote Added: 0000485
2012-12-07 17:11wangpStatusfeedback => assigned