Useful feature: object post-initialization.

Structs can now have code which executes after an object is
initialized, which is useful for doing work like registering
objects in global lists and whatever, when those actions need
access to the initialized slots of the object.

* share/txr/stdlib/struct.tl (defstruct): Handle :posinit
syntax, by generating lambda as eighth argument of sys:make-struct
call.

* struct.c (struct struct_type): New member, postinitfun.
(struct_init): Adjust registrations of make_struct_type
to account for new parameter.  The user visible
make-struct-type is registered as having one optional
argument, for backward compat.
(make_struct_type): New argument, postinitfun. Store this
in the structure. For backward compatibility, the argument
is defaulted.
(struct_type_mark): Mark the new postinitfun member.
(call_postinitfun_chain): New static function.
(make_struct, lazy_struct_init): Call call_postinitfun_chain
after slots are initialized, and after the boa function is
called.

* struct.h (make_struct_type): Declaration updated.

* lib.c (time_init): Pass eighth argument to make_struct type.

* sysif.c (sysif_init): Likewise.

* unwind.c (uw_late_init): Likewise.

* tests/012/struct.tl: Update defstruct expansion test case.

* txr.1: Document new argument of make-struct-type,
and clarify ordering of initfun with regard to
other actions.  Likewise, document :postinit, and clarify
ordering of :init actions with regard to other actions.

1 files changed, 2 insertions, 1 deletions

diff --git a/struct.h b/struct.h
index c5c9d193..722308b9 100644
--- a/struct.h
+++ b/struct.h
@@ -27,7 +27,8 @@
 extern val struct_type_s, meth_s;
 val make_struct_type(val name, val super,
                      val static_slots, val slots,
-                     val static_initfun, val initfun, val boactor);
+                     val static_initfun, val initfun, val boactor,
+                     val postinitfun);
 val struct_type_p(val obj);
 val super(val type);
 val make_struct(val type, val plist, struct args *);