chibi-scheme/lib/scheme/misc-macros.scm

63 lines
2.1 KiB
Scheme

(define-syntax let-syntax
(syntax-rules ()
((let-syntax . x)
(let () (let-syntax/splicing . x)))))
(define-syntax letrec-syntax
(syntax-rules ()
((letrec-syntax . x)
(let () (letrec-syntax/splicing . x)))))
(define-syntax when
(syntax-rules ()
((when test . body)
(if test (begin . body)))))
(define-syntax unless
(syntax-rules ()
((unless test . body)
(when (not test) . body))))
(define-syntax guard
(syntax-rules ()
((guard (var clause ...) e1 e2 ...)
((call-with-current-continuation
(lambda (guard-k)
(with-exception-handler
(lambda (condition)
((call-with-current-continuation
(lambda (handler-k)
(guard-k
(lambda ()
(let ((var condition)) ; clauses may SET! var
(guard-aux (handler-k (lambda ()
;; must be raise-continuable
;; in case the original
;; exception was continuable
(raise-continuable condition)))
clause ...))))))))
(lambda ()
(let ((res (let () e1 e2 ...)))
(guard-k (lambda () res)))))))))))
(define-syntax guard-aux
(syntax-rules (else =>)
((guard-aux reraise (else result1 result2 ...))
(begin result1 result2 ...))
((guard-aux reraise (test => result))
(let ((temp test))
(if temp (result temp) reraise)))
((guard-aux reraise (test => result) clause1 clause2 ...)
(let ((temp test))
(if temp (result temp) (guard-aux reraise clause1 clause2 ...))))
((guard-aux reraise (test))
(or test reraise))
((guard-aux reraise (test) clause1 clause2 ...)
(or test (guard-aux reraise clause1 clause2 ...)))
((guard-aux reraise (test result1 result2 ...))
(if test (begin result1 result2 ...) reraise))
((guard-aux reraise (test result1 result2 ...) clause1 clause2 ...)
(if test
(begin result1 result2 ...)
(guard-aux reraise clause1 clause2 ...)))))