Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006154OCamlstandard librarypublic2013-09-03 04:042016-11-14 21:53
Assigned Togasche 
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 [^] ). This should be documented in marshal.mli.
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0004978acknowledged exceptions lose identity after marshalling 
related to 0007413resolved marshaling of extensible variant types does not work 

-  Notes
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
2015-12-11 19:24 xleroy Status resolved => closed
2016-11-14 21:53 gasche Relationship added related to 0007413
2017-02-23 16:43 doligez Category OCaml standard library => standard library

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker