2024-10-15 23:36 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000266mercuryBugpublic2012-12-07 17:11
Reporterwangp 
Assigned Tojuliensf 
PrioritynormalSeveritytrivialReproducibilityalways
StatusassignedResolutionopen 
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.
Attached Files

-Relationships
+Relationships

-Notes

~0000484

juliensf (administrator)

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)

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

-Issue History
Date Modified Username Field Change
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