From 4dd724f26c6035ac6ec796a72377007c318a1d96 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Fri, 30 Jul 2021 07:38:41 -0700 Subject: tests: longer test for delimited continuations. * tests/012/cont.tl: New test case. This aborts prior to recent gc fixes. --- tests/012/cont.tl | 10 ++++++++++ 1 file changed, 10 insertions(+) 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)) -- cgit v1.2.3