summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2021-07-30 07:38:41 -0700
committerKaz Kylheku <kaz@kylheku.com>2021-07-30 07:38:41 -0700
commit4dd724f26c6035ac6ec796a72377007c318a1d96 (patch)
tree63767ebc401aa10f0d3df3a7d2fcad345b379d71 /tests
parentd0923800e0b2b2476ff39d8144549172b5c668cb (diff)
downloadtxr-4dd724f26c6035ac6ec796a72377007c318a1d96.tar.gz
txr-4dd724f26c6035ac6ec796a72377007c318a1d96.tar.bz2
txr-4dd724f26c6035ac6ec796a72377007c318a1d96.zip
tests: longer test for delimited continuations.
* tests/012/cont.tl: New test case. This aborts prior to recent gc fixes.
Diffstat (limited to 'tests')
-rw-r--r--tests/012/cont.tl10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/012/cont.tl b/tests/012/cont.tl
index 0a728ff9..1d79b37b 100644
--- a/tests/012/cont.tl
+++ b/tests/012/cont.tl
@@ -37,3 +37,13 @@
(eql [w3 -1] [w4 0])))
(list w1 w2 w3 w4)))
("that" "thing" "grows" "slowly"))
+
+(test (amb-scope
+ (let ((🍌 [apply amb (range 95795 95805)])
+ (🍏 [apply amb (range 217510 217520)])
+ (🍉 [apply amb (range 414555 414570)])
+ (🍒 [apply amb (range 422470 422485)]))
+ (amb (= (+ (expt 🍌 4) (expt 🍏 4) (expt 🍉 4))
+ (expt 🍒 4)))
+ (list 🍌 🍏 🍉 🍒)))
+ (95800 217519 414560 422481))