summaryrefslogtreecommitdiffstats
path: root/srfi/225/assumptions.scm
diff options
context:
space:
mode:
authorGravatar John Cowan 2022-08-06 11:22:05 -0400
committerGravatar GitHub 2022-08-06 11:22:05 -0400
commite89c664dcabb50a28975f451252106a461be3d3f (patch)
tree8da6ad7744c6b26cbcf3acdd7d08e83c33c5e014 /srfi/225/assumptions.scm
parentMerge branch 'master' of https://github.com/johnwcowan/srfi-225 (diff)
parentreturn alists; refactor structure (diff)
Merge pull request #5 from arvyy/master
return alists; refactor structure
Diffstat (limited to 'srfi/225/assumptions.scm')
-rw-r--r--srfi/225/assumptions.scm7
1 files changed, 7 insertions, 0 deletions
diff --git a/srfi/225/assumptions.scm b/srfi/225/assumptions.scm
new file mode 100644
index 0000000..86ef435
--- /dev/null
+++ b/srfi/225/assumptions.scm
@@ -0,0 +1,7 @@
+(define-syntax assume
+ (syntax-rules ()
+ ((assume expression message ...)
+ (or expression
+ (error "invalid assumption" (quote expression) (list message ...))))
+ ((assume . _)
+ (syntax-error "invalid assume syntax"))))