Error messages are very difficult to read
Error messages in Xsmith tend to dump all information in one line. This makes it very difficult to read information.
Racket suggests that users should not use error
precisely for this reason. Instead, we should use functions like raise-arguments-error
. That is, instead of:
(error 'type-info "Type in ~a is not a type: ~a" foo bar)
we should write:
(raise-arguments-error
'type-info
"unexpected non-type"
"in" foo
"non-type" bar)
I can help with this, if you prefer. And let me know if you have any feedback.