From 39c6cf4f5754097b3a4ffaa8eeed1fe9ad5ec6c3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 31 Jan 2014 17:29:17 -0500 Subject: [PATCH] Fix unary assert duplicating computation. original commit: 04cb2368201c789332c58aab74eada6319854155 --- .../typed-racket-lib/typed-racket/base-env/extra-procs.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 d86fffc9..29e1a64b 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,7 +4,8 @@ (define-syntax assert (syntax-rules () ((assert v) - (or v (error (format "Assertion failed on ~v" v)))) + (let ([val v]) + (or val (error (format "Assertion failed on ~v" val))))) ((assert v pred) (let ((val v)) (if ((#%expression pred) val)