Version: 5.3.1
25 Re-Contracting Identifiers
This library is unstable;
compatibility will not be maintained.
See Unstable: May Change Without Warning for more information.
| (require unstable/recontract) |
syntax
(recontract-out id ...)
Provides each id with its existing contract, but changes the
positive blame party of the contract to the enclosing module, instead
of the module that originally attached the contract to id.
Each id must be imported from a module that exports it via
contract-out or recontract-out; otherwise a syntax
error is raised.
Use recontract-out when you want to use the same contracts both between different parts of a library and between the library and its clients. The library should use recontract-out in the public interface modules so that clients do not see references to private implementation modules in contract errors.
Examples: | |||||||||||||||||||||||||||||||||||
|