[previous] [up] [next]     [index]
Next: Expanding Signed Unit Expressions Up: Mixing Core and Signed Previous: Extracting a Primitive Unit

Adding a Signature to Primitive Units

The unit->unit/sig syntactic form wraps a primitive unit with import and export signatures: 

  (unit->unit/sig expr (signature  tex2html_wrap_inline100181 ) signature)
The last signature is used for the export signature and the other signatures specify the import signatures. If expr does not evaluate to a unit or the unit does not match the signature, no error is reported until the primitive linker discovers the problem.


PLT