|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000266||mercury||Bug||public||2012-11-26 13:30||2012-12-07 17:11|
|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.|
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.
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.
|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|