Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package unmagic
type obj = Obj.tval typerep_of_obj : obj Typerep_lib.Std.Typerep.tval typename_of_obj : obj Typerep_lib.Std.Typename.texception Ill_typed of Typerep_lib.Std.Typerep.packed * Obj.t * stringexception Not_supported of Typerep_lib.Std.Typerep.packed * Obj.t * stringval tag_check : sharing:bool -> 'a Typerep_lib.Std.Typerep.t -> Obj.t -> unittag_check ~sharing (tyrep : t Typerep.t) o checks whether o is safely used as a value of t. If the check fails it raises Ill_typed. If it finds non supported data such as closures, it raises Not_supported.
If sharing=true, it checks sharing and cycles. Generally it makes tag_check VERY slow.
If sharing=false, tag_check hangs with cyclic data.
Limitations and Todos:
- The input
Obj.tvalue must be created by proper funcitons such asObj.repr,output_valueandMarshal.to_channel, etc.. - Things are not really tail-recursive. It may stack-overflow for deep data.
- Closures (functions, objects, lazy thunks) are not supported.
- The target types are limited to what Typerep can handle: for example, numbers of tuple components and variant arguments are limited upto 5.
val obj : sharing:bool -> 'a Typerep_lib.Std.Typerep.t -> Obj.t -> 'aType safe version of Obj.obj using tag_check. The same limitations of tag_check apply.