Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004757OCamlstandard librarypublic2009-03-27 10:552016-12-07 18:28
Reporterartemis01 
Assigned Tofrisch 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusresolvedResolutionwon't fix 
PlatformOSOS Version
Product Version3.11.0 
Target VersionFixed in Version 
Summary0004757: Error propagation
DescriptionIn the standard library, module String.

When the String.make's call to String.create raises Invalid_argument, the error message is "Exception: Invalid_argument "String.create"."

It would be better if it were "Exception: Invalid_argument "String.make"." in order to find where the error comes from.

Thanks.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0016784)
frisch (developer)
2016-12-07 18:28

The same would need to be done for all other functions in String/Bytes calling create. This would introduce some overhead (if we add an exception wrapper or reimplement the bound checks in each function), and the backtrace is a better way to find out the problem. Changing the text now could in theory break existing code (although it is explicitly discouraged to match on the concrete string). Anyway, given the lack of activity of this ticket for many years, I'm marking it as "won't fix".

- Issue History
Date Modified Username Field Change
2009-03-27 10:55 artemis01 New Issue
2009-04-29 15:44 doligez Status new => acknowledged
2016-12-07 17:23 shinwell Category OCaml general => OCaml standard library
2016-12-07 18:28 frisch Note Added: 0016784
2016-12-07 18:28 frisch Status acknowledged => resolved
2016-12-07 18:28 frisch Resolution open => won't fix
2016-12-07 18:28 frisch Assigned To => frisch
2017-02-23 16:43 doligez Category OCaml standard library => standard library


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker