more helpful message for contract failure

2013-09-30 15:07:02 -07:00 · 2013-09-30 15:07:02 -07:00 · 87c6f891cd
commit 87c6f891cd
parent 575ed235f0
1 changed files with 1 additions and 1 deletions
--- a/pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt
@ -679,7 +679,7 @@
            [(stepper-syntax-property exp 'stepper-skipto/discard)
             (dont-annotate 'discard)]
            [(to-be-skipped? exp)
-             (vector (wcm-wrap 13 exp) null)]
+             (vector (wcm-wrap "supposed to be skipped" exp) null)]
            
            [else
             (let ([exp (syntax-disarm exp saved-code-inspector)])