Rework the Preinit framework into something simpler
The previous introduction of the Preinit class had to work with
uninitialized data members in a state before construction.
Particularly for data structures like vector classes, this
was quite awkward. Moving such structures into a separate
class initialized before the smobifying base class fixes
this deficiency and makes the behavior much more reliable,
at the cost of making the class hierarchy a bit more nested.
Diff:
Happy New Year!
Passes make, make check and a full make doc.
Patch on countdown for Jan 8th
Patch counted down - please push.
Pushed to staging as
commit 6786ba7b5cd73f94eec0a49fd68d0e6d9d283437
Author: David Kastrup dak@gnu.org
Date: Sun Jan 1 10:14:14 2017 +0100