Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005841OCamlOCaml documentationpublic2012-12-03 21:512014-07-16 11:06
Reporterkosik 
Assigned To 
PrioritylowSeveritytrivialReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0 
Target Version4.01.1+devFixed in Version4.02.0+dev 
Summary0005841: Omitted information concerning exceptions that could be raised.
DescriptionUnix.openfile function may raise Unix.Unix_error exception.

Like in case of Unix.execv and others, it would be beneficial to state it also explicitely in case of Unix.openfile function.

(If that is the intended documenting policy concerning exceptions.)
Tagsjunior_job
Attached Files

- Relationships
has duplicate 0006168closed Omitted information concerning exceptions that could be raised. 
has duplicate 0006280closed undocumented exception in Unix.lockf 

-  Notes
(0011567)
doligez (administrator)
2014-05-25 20:13

fixed in branch 4.02 (commit 14918)

- Issue History
Date Modified Username Field Change
2012-12-03 21:51 kosik New Issue
2013-06-28 17:46 doligez Status new => confirmed
2013-06-28 17:46 doligez Target Version => 4.01.0+dev
2013-08-19 15:56 doligez Target Version 4.01.0+dev => 4.01.1+dev
2013-08-19 15:57 doligez Tag Attached: junior_job
2013-09-10 19:30 xleroy Relationship added related to 0006168
2014-01-21 15:49 doligez Relationship replaced has duplicate 0006168
2014-05-25 20:13 doligez Note Added: 0011567
2014-05-25 20:13 doligez Status confirmed => closed
2014-05-25 20:13 doligez Resolution open => fixed
2014-05-25 20:14 doligez Fixed in Version => 4.02.0+dev
2014-07-16 11:06 doligez Relationship added has duplicate 0006280


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker