further error message convention refinements

Add extra intitial-message lines, use "..." on a field name
to indicate that it could reasonably be hidden by default,
and refine some existing messages.

original commit: 1dc0072d036892e1fbc39891a8c3aaeadd451f80
This commit is contained in:
Matthew Flatt 2012-06-22 05:24:44 +08:00
parent 3f831d6f4b
commit bd352c8455

View File

@ -2730,7 +2730,14 @@ of the contract library does not change over time.
m
1
2))
"application: wrong number of arguments\n procedure: m method\n expected number of arguments: 1\n given number of arguments: 2\n arguments:\n 1\n 2")
(string-append
"m method: arity mismatch;\n"
" the expected number of arguments does not match the given number\n"
" expected: 1\n"
" given: 2\n"
" arguments...:\n"
" 1\n"
" 2"))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;