I have these types:
type t = { operation : t1 -> t2 ;
some_fields : of_some_types }
type t_priv = { t : t ;
some_other_fields : of_some_other_types }
In other words, I have a "super" type t that's further specialized
by t_priv, which is hidden within t.operation as shown below in the
constructor for t values :
let make ... =
let some_operation t_priv t1 =
... use t_priv to return a t2 ... in
let rec t_priv = { t ;
some_other_fields = some_values }
and t = { operation = some_operation t_priv ;
some_fields = some_values }
in t
This does not compile because of the way t_priv is used within t
construction. The policed way to get around this seams to be:
type t_priv = { mutable t : t option ;
some_other_fields : of_some_other_types }
and then:
let make ... =
...
let t_priv = { t = None ; ... } in
let t = { operation = some_operation t_priv ; ... } in
t_priv.t <- Some t in
t
But then every time one need to use t_priv.t one use to deconstruct the
option (equivalent of what one would do using dark age languages
checking at runtime for proper initialization of a field).
So I ended up doing:
type t_priv = { mutable t : t ; (* look ma! no option! *)
some_other_fields : of_some_other_types }
let make ... =
...
let t_priv = { t = Obj.magic 0 ; (* Frères humains qui après nous
codez... *)
... } in
t_priv.t <- { operation = some_operation t_priv ; ... } in
t_priv.t
In my simplistic model of what's happening under the hood, the object
for t_priv will hold for a moment a 0 in its t field instead of a
pointer to a legitimate t object, but that's not a problem even if the
GC awakes right at that moment since it does not use the actual types
(they are gone by then) but the tags, and the 0 is tagged as an integer
so from its point of view all is fine. And apparently the program is
running well.
Should I fear some backfire?
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
