From 04cb2368201c789332c58aab74eada6319854155 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. --- .../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 d86fffc90a..29e1a64b82 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)