Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006338OCamlstandard librarypublic2014-03-05 17:362014-07-16 15:32
Assigned To 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006338: Generic operation canary
DescriptionI would like OCaml to have a dedicated object guaranteed to fail when trying to use generic equality, hash or (de)serialization on it (or any combination of those three). This useful to check that in a huge codebase someone does not use such abstraction-breaking operations on it. In particular, I believe we need it in Coq quite badly.

This can be done using custom blocks. I give the particular example we need in Coq (which is serializable but neither comparable nor hashable) as an attachment.

I assume it would be better in the stdlib, because it requires writing C stubs, which is bad from the point of view of (Coq's) self-containedness. Feel free to reject this request if you think it has nothing to do there...
Attached Filesc file icon canary.c [^] (1,207 bytes) 2014-03-05 17:36 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-03-05 17:36 ppedrot New Issue
2014-03-05 17:36 ppedrot File Added: canary.c
2014-05-16 20:58 doligez Tag Attached: patch
2014-07-16 15:32 doligez Status new => acknowledged
2017-02-23 16:43 doligez Category OCaml standard library => standard library

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker