Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005524OCamlOCaml typingpublic2012-03-06 17:352013-08-31 12:48
Reporterfrisch 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005524: Warnings for unused exception declarations
DescriptionIn 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007014)
frisch (developer)
2012-03-06 20:49

Commit 12195.

- 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
2013-08-31 12:48 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker