Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006154OCamlOCaml standard librarypublic2013-09-03 04:042013-09-03 17:13
Reporterfuruse 
Assigned Togasche 
PrioritynormalSeveritytrivialReproducibilityalways
StatusresolvedResolutionduplicate 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version4.01.0+dev 
Summary0006154: marshal.mli should document the problem of marshaling exceptions.
DescriptionMarshaling exception values do not work well in OCaml (see http://caml.inria.fr/mantis/view.php?id=1961 [^] ). This should be documented in marshal.mli.
 
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0004978assigned exceptions lose identity after marshalling 

-  Notes
(0010304)
gasche (developer)
2013-09-03 17:13

Wojciech fixed this around commit 13568, included in 4.01. The documentation now reads:

   OCaml exception values (of type [exn]) returned by the unmarhsaller
   should not be pattern-matched over through [match ... with] or [try
   ... with], because unmarshalling does not preserve the information
   required for matching their exception constructor. Structural
   equalities with other exception values, or most other uses such as
   Printexc.to_string, will still work as expected.

(I just noticed the typo in "unmarhsaller". Will fix.)

- Issue History
Date Modified Username Field Change
2013-09-03 04:04 furuse New Issue
2013-09-03 17:10 gasche Relationship added duplicate of 0004978
2013-09-03 17:13 gasche Note Added: 0010304
2013-09-03 17:13 gasche Status new => resolved
2013-09-03 17:13 gasche Fixed in Version => 4.01.0+dev
2013-09-03 17:13 gasche Resolution open => duplicate
2013-09-03 17:13 gasche Assigned To => gasche


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker