summaryrefslogtreecommitdiffstats
path: root/srfi/externals.scm
diff options
context:
space:
mode:
authorGravatar Arvydas Silanskas 2021-10-17 12:09:08 +0300
committerGravatar Arvydas Silanskas 2021-10-17 12:09:08 +0300
commit1e501c16b620c976a9b2d85ba5ad82b5e83ae0da (patch)
tree000f4e1c767113245478e5485f2bf4cc05a6d3e0 /srfi/externals.scm
parentwork (diff)
work
Diffstat (limited to 'srfi/externals.scm')
-rw-r--r--srfi/externals.scm6
1 files changed, 3 insertions, 3 deletions
diff --git a/srfi/externals.scm b/srfi/externals.scm
index 8b0bf8e..5d77c86 100644
--- a/srfi/externals.scm
+++ b/srfi/externals.scm
@@ -35,7 +35,7 @@
(begin
(define (proc-mutable dtd dict . args)
(assume (dtd? dtd))
- (assume ((dtd-ref-stx dtd dict-mutable?-id) dtd dict))
+ (assume ((dtd-ref-stx dtd dict-mutable?-id) dtd dict) index)
(apply (dtd-ref-stx dtd index) dtd dict args))
(define (proc-immutable dtd dict . args)
(assume (dtd? dtd))
@@ -51,11 +51,11 @@
(begin
(define (proc-mutable dtd proc dict)
(assume (dtd? dtd))
- (assume ((dtd-ref-stx dtd dict-mutable?-id) dtd dict))
+ (assume ((dtd-ref-stx dtd dict-mutable?-id) dtd dict) index)
((dtd-ref-stx dtd index) dtd proc dict))
(define (proc-immutable dtd proc dict)
(assume (dtd? dtd))
- (assume (not ((dtd-ref-stx dtd dict-mutable?-id) dtd dict)))
+ (assume (not ((dtd-ref-stx dtd dict-mutable?-id) dtd dict)) index)
((dtd-ref-stx dtd index) dtd proc dict))))))
(define/dict-proc dictionary? dictionary?-id)