Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-05-19 05:39:18 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Translate assume to a noop when assumptions are disabled

Browse source
This commit is contained in:
Marc Nieper-Wißkirchen 2020-08-29 11:11:46 +02:00
parent 043e4c2214
commit 251464eade
1 changed files with 19 additions and 26 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

45
lib/srfi/145.sld
View file

@ -1,30 +1,23 @@
(define-library (srfi 145) (define-library (srfi 145)
(export assume) (export assume)
(import (scheme base)) (import (scheme base))
(cond-expand (cond-expand
(elide-assumptions ((or elide-assumptions
(begin (and (not assumptions)
(define-syntax assume (not debug)))
(syntax-rules () (begin
((assume expression objs ...) (define-syntax assume
expression) (syntax-rules ()
((assume) ((assume expression objs ...)
(syntax-error "assume requires an expression")))))) expression)
(else ((assume)
(begin (syntax-error "assume requires an expression"))))))
(define-syntax assume (else
(syntax-rules () (begin
((assume expression objs ...) (define-syntax assume
(or expression (syntax-rules ()
(fatal-error "invalid assumption" 'expression objs ...))) ((assume expression objs ...)
((assume) (or expression
(syntax-error "assume requires an expression"))))))) (error "invalid assumption" 'expression objs ...)))
(cond-expand ((assume)
(debug (syntax-error "assume requires an expression"))))))))
(begin
(define fatal-error error)))
(else
(begin
(define (fatal-error message . objs)
(car 0))))))