Fix unary assert duplicating computation.

original commit: 04cb2368201c789332c58aab74eada6319854155
2014-01-31 17:29:17 -05:00 · 2014-01-31 17:29:17 -05:00 · 39c6cf4f57
commit 39c6cf4f57
parent 872dac5d53
1 changed files with 2 additions and 1 deletions
--- 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)