[r6rs-discuss] [Formal] blame assignment for contract violations

[Michael Sperber]

"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