Next: Adding a Signature to
Up: Mixing Core and Signed
Previous: Mixing Core and Signed
The procedure unit/sig->unit extracts and returns the
primitive unit from a signed unit.
The names exported by the primitive unit correspond to the
flattened export signature of the signed unit; see section 7.3.1.1
for the flattening algorithm.
The number of import variables for the primitive unit matches the
total number of variables in the flattened forms of the signed
unit's import signatures. The order of import variables is as follows:
- All of the variables for a single import signature are grouped
together, and the relative order of these groups follows the order
of the import signatures.
- Within an import signature:
- variable names are ordered according to string<?;
- all names from sub-signatures follow the variable names;
- names from a signle sub-signature are grouped together
and ordered within the sub-signature group following this algorithm
recursively; and
- the sub-signatures are ordered among themselves using string<?
on the sub-signature names.
PLT