| 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 |
|
|
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. |
|
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 |
| 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 |