[r6rs-discuss] [Formal] blame assignment for contract violations
sperber at informatik.uni-tuebingen.de
Tue Oct 31 12:20:31 EST 2006
"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
More information about the r6rs-discuss