| Anonymous | Login | Signup for a new account | 2013-05-24 11:10 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005524 | OCaml | OCaml typing | public | 2012-03-06 17:35 | 2012-03-06 20:49 | |||||||
| Reporter | frisch | |||||||||||
| Assigned To | frisch | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | |||||||||||
| Summary | 0005524: Warnings for unused exception declarations | |||||||||||
| Description | In the same vein as the new warnings for various kinds of unused things, it would be useful to detect unused exception declarations. Exceptions could be treated very similarly to constructors, meaning that an exception which is captured (pattern-matching) but cannot be raised would be detected as being useless. | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-03-06 17:35 | frisch | New Issue | |
| 2012-03-06 20:49 | frisch | Assigned To | => frisch |
| 2012-03-06 20:49 | frisch | Status | new => assigned |
| 2012-03-06 20:49 | frisch | Note Added: 0007014 | |
| 2012-03-06 20:49 | frisch | Status | assigned => resolved |
| 2012-03-06 20:49 | frisch | Resolution | open => fixed |
| Copyright © 2000 - 2011 MantisBT Group |