Reimplemented assert as a macro.

original commit: 8dfd7d87ecd5d167514f8c7c5468448c6ad86547
2010-06-15 12:27:28 -04:00 · 2010-06-15 12:27:28 -04:00 · e6d4962b46
commit e6d4962b46
parent eed1167639
1 changed files with 7 additions and 5 deletions
--- a/collects/typed-scheme/private/extra-procs.rkt
+++ b/collects/typed-scheme/private/extra-procs.rkt
@ -1,8 +1,10 @@
 #lang scheme/base
 (provide assert)

-(define (assert v [pred values])
-  (unless (pred v)
-    (error "Assertion failed"))
-  v)
-
+(define-syntax assert
+  (syntax-rules ()
+    ((assert v)
+     (or v (error "Assertion failed")))
+    ((assert v pred)
+     (let ((val v))
+       (if (pred val) val (error "Assertion failed"))))))