Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004757OCamlOCaml generalpublic2009-03-27 10:552009-04-29 15:44
Reporterartemis01 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusacknowledgedResolutionopen 
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
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-03-27 10:55 artemis01 New Issue
2009-04-29 15:44 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker