diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-07-30 07:38:41 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-07-30 07:38:41 -0700 |
| commit | 6af9d73cff08f8324b0eb612b9befba6fe64e6da (patch) | |
| tree | 63767ebc401aa10f0d3df3a7d2fcad345b379d71 | |
| parent | 9769164b9d1a062eb73fe250f35890d418427155 (diff) | |
| download | txr-6af9d73cff08f8324b0eb612b9befba6fe64e6da.tar.gz txr-6af9d73cff08f8324b0eb612b9befba6fe64e6da.tar.bz2 txr-6af9d73cff08f8324b0eb612b9befba6fe64e6da.zip | |
tests: longer test for delimited continuations.
* tests/012/cont.tl: New test case. This aborts prior to
recent gc fixes.
| -rw-r--r-- | tests/012/cont.tl | 10 |
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)) |