Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006338OCamlOCaml standard librarypublic2014-03-05 17:362014-07-16 15:32
Reporterppedrot 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
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...
Tagspatch
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker