Reimplemented assert as a macro.

2010-06-15 12:27:28 -04:00 · 2010-06-15 12:27:28 -04:00 · 8dfd7d87ec
commit 8dfd7d87ec
parent 93e5d0e9dc
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"))))))