Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007448OCamltypingpublic2017-01-03 01:042017-02-27 15:48
ReporterChristophe Troestler 
Assigned To 
Platformx86_64OSGNU/LinuxOS VersionDebian testing
Product Version4.04.0 
Target VersionFixed in Version 
Summary0007448: Safe-to-marshall annotation
DescriptionIn the spirit of the annotation ocaml.unboxed and ocaml.immediate, it would be useful to add an annotation ocaml.safe_marshal that would check that a value is safe to marshal. (By default, closures would not be allowed but the optional payload may indicate that we allow them.) Indeed, especially when using libraries themselves relying on other libraries... it is brittle to assert by digging the code that a value can be marshalled without raising an exception—and this stands badly against changes in those libraries.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2017-01-03 01:04 Christophe Troestler New Issue
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-02-27 15:48 doligez Status new => acknowledged
2017-02-27 15:48 doligez Category -OCaml general => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker