From 63bf4d67b6f76c1ecd2e2cfce87b172490c75686 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 5 Sep 2013 20:10:58 -0400 Subject: [PATCH] Improve TR assertion error message original commit: 3becf8492b4ee40a68bb8be9081cf64530a6a7f8 --- .../typed-racket-lib/typed-racket/base-env/extra-procs.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt index c04ea1c3..db86917f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt @@ -4,10 +4,12 @@ (define-syntax assert (syntax-rules () ((assert v) - (or v (error "Assertion failed"))) + (or v (error (format "Assertion failed on ~v" v)))) ((assert v pred) (let ((val v)) - (if (pred val) val (error "Assertion failed")))))) + (if (pred val) + val + (error (format "Assertion ~a failed on ~v" pred val))))))) (define (defined? v) (not (equal? v (letrec ([x x]) x))))