2024-05-28 01:22 AEST

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




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.


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.

-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