Exceptions reports in check-X all blame check-expect

[shhyou]

#lang htdp/isl+
(check-within x 2 0.5)

Output:

Ran 1 test.
0 tests passed.

Check failures:
        check-expect encountered the following error instead of the expected value, 2. 
   :: at line 2, column 14 x: this variable is not defined 
at line 2, column 0 caused by expression at line 2, column 14

It says check-expect instead of check-within. I'm not sure whether it's just me or the same for everyone.

As a relevant issue, it would improve the error message of check-error if syntax errors are reported as "syntax errors" rather than just "encountered the following error".

[mfelleisen]

Lline 486 in @mikesperber 's testmarkup uses a string that bakes in check-expect, which is suspect:

                   "check-expect encountered the following error instead of the expected value, "

So the problem may originate from this re-do of rendering problems.