sperber at informatik.uni-tuebingen.de
Fri Aug 18 04:00:38 EDT 2006
Will has indicated that he dislikes the name `contract-violation'.
While writing it up, I noticed that &contract is a subtype of &defect,
not &violation, and that the corresponding predicate is (presently)
named contract-defect?. Consequently, following that reasoning
`contract-violation' should be called `contract-defect', which I
suspect Will will also dislike. Alternative suggestions?
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
More information about the R6RS