|View Issue Details [ Jump to Notes ] ||[ Issue History ] [ Print ] |
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0006338||OCaml||standard library||public||2014-03-05 17:36||2014-07-16 15:32|
|Assigned To|| |
|Product Version||4.01.0|| |
|Target Version||Fixed in Version|| |
|Summary||0006338: Generic operation canary|
|Description||I 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 Files|| canary.c [^] (1,207 bytes) 2014-03-05 17:36 [Show Content]