mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-05-18 21:29:19 +02:00
22 lines
651 B
Scheme
22 lines
651 B
Scheme
(define-library (srfi 145)
|
|
(export assume)
|
|
(import (scheme base) (chibi assert))
|
|
(cond-expand
|
|
((or elide-assumptions
|
|
(and (not assumptions)
|
|
(not debug)))
|
|
(begin
|
|
(define-syntax assume
|
|
(syntax-rules ()
|
|
((assume expression objs ...)
|
|
expression)
|
|
((assume)
|
|
(syntax-error "assume requires an expression"))))))
|
|
(else
|
|
(begin
|
|
(define-syntax assume
|
|
(syntax-rules ()
|
|
((assume expression objs ...)
|
|
(assert expression objs ...))
|
|
((assume)
|
|
(syntax-error "assume requires an expression"))))))))
|