"Carl Eastlund" <cce_at_ccs.neu.edu> writes:
> In PLT, contracts require explicit identification of both parties. In
> general, contracts are attached to values exported across module
> boundaries (though other boundaries are possible). The two sides of
> the boundary must be named; in the conventional case, this is the
> names of both modules. So if a procedure contract is violated, the
> "caller" is the module that imported the function and the "callee" is
> the module that exported the function.
What if the imported value is passed to another, third, module, which
calls it violating the contract?
--
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Tue Oct 31 2006 - 12:20:31 UTC