added the 'blaming' part of the contract message to self-contract violations (but kept 'self-')
This commit is contained in:
parent
47e3db06ff
commit
193617f917
|
@ -87,9 +87,13 @@
|
||||||
[(blame-original? b)
|
[(blame-original? b)
|
||||||
(string-append
|
(string-append
|
||||||
(format "self-contract violation: ~a\n" custom-message)
|
(format "self-contract violation: ~a\n" custom-message)
|
||||||
(format " contract~a from ~a~a"
|
(format " contract~a from ~a~a blaming ~a~a"
|
||||||
value-message
|
value-message
|
||||||
positive-message
|
positive-message
|
||||||
|
(if (regexp-match #rx"\n" positive-message)
|
||||||
|
" "
|
||||||
|
",")
|
||||||
|
positive-message
|
||||||
(if (regexp-match #rx"\n" positive-message)
|
(if (regexp-match #rx"\n" positive-message)
|
||||||
""
|
""
|
||||||
"\n"))
|
"\n"))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user