[R6RS] `contract-violation'

Michael Sperber 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 mailing list