summaryrefslogtreecommitdiffstats
path: root/srfi/assumptions.scm
blob: 86ef435b06409e9d48358d032d0c7862be079597 (plain) (blame)
1
2
3
4
5
6
7
(define-syntax assume
  (syntax-rules ()
    ((assume expression message ...)
     (or expression
         (error "invalid assumption" (quote expression) (list message ...))))
    ((assume . _)
     (syntax-error "invalid assume syntax"))))