aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2022-07-07 21:25:49 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2022-07-07 21:25:49 +0200
commitd11b2e3a0ec03a7f4b7a77cc3cf05497320aa09f (patch)
tree9e783dac6ef76d34126154fa1017deb3d669282f
parentExtend object type system to allow list-of. (diff)
downloadcalp-d11b2e3a0ec03a7f4b7a77cc3cf05497320aa09f.tar.gz
calp-d11b2e3a0ec03a7f4b7a77cc3cf05497320aa09f.tar.xz
Add pair-of to object system.
-rw-r--r--module/hnh/util/object.scm3
1 files changed, 3 insertions, 0 deletions
diff --git a/module/hnh/util/object.scm b/module/hnh/util/object.scm
index 6a26336e..4dbb45a8 100644
--- a/module/hnh/util/object.scm
+++ b/module/hnh/util/object.scm
@@ -47,6 +47,9 @@
variable)))
((_ variable (list-of proc)) (and (list? variable)
(every proc variable)))
+ ((_ variable (pair-of a b)) (and (pair? variable)
+ (build-validator-body (car variable) a)
+ (build-validator-body (cdr variable) b)))
((_ variable (proc args ...)) (proc variable args ...))
((_ variable proc) (proc variable))))