Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004950OCamlOCaml generalpublic2009-12-31 11:132013-07-29 15:31
Reporterhennequi 
Assigned To 
PrioritynormalSeveritytextReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.10.2 
Target Version4.01.1+devFixed in Version 
Summary0004950: Array.init raises the wrong exception for invalid argument
DescriptionArray.make (-1) 0;;
Exception: Invalid_argument "Array.make".

Array.init (-1) (fun _ -> 0);;
Exception: Invalid_argument "Array.make".

it would be great for debugging purposes to see an "Array.init" in the second exception.

cheers,
Guillaume.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0005222)
doligez (administrator)
2010-01-07 16:03

Not sure we want to fix this, as it would add the overhead of catching the exception.

(0008098)
doligez (administrator)
2012-09-17 17:45

Another possibility would be to change the exception to (Invalid_argument "Array.make/Array.init").

- Issue History
Date Modified Username Field Change
2009-12-31 11:13 hennequi New Issue
2010-01-07 16:03 doligez Note Added: 0005222
2010-01-07 16:03 doligez Status new => acknowledged
2012-09-06 16:44 doligez Target Version => 4.00.1+dev
2012-09-17 17:45 doligez Note Added: 0008098
2012-09-17 17:45 doligez Target Version 4.00.1+dev => 4.01.0+dev
2013-07-29 15:31 doligez Target Version 4.01.0+dev => 4.01.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker