Test output for F-operator
Testing time: 8.0s
CHICKEN_INSTALL_PREFIX=/root/src/salmonella/salmonella-4.5.0/repo CHICKEN_INCLUDE_PATH=/root/src/salmonella/salmonella-4.5.0/repo/share/chicken CHICKEN_REPOSITORY=/root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5 /usr/local/chicken-4.5.0/bin/csi -script run.scm
-- testing Shift/Reset Family ------------------------------------------------
-- testing %shift/%reset -------------------------------------------------
(+ 1 (%reset (* 2 (%shift k 4)))) ................................ [ PASS]
(+ 10 (%reset (+ 2 (%shift k (+ 100 (k (k 3))))))) ............... [ PASS]
(* 10 (%reset (* 2 (%shift g (%reset (* 5 (%shift f (+ (f 1) 1)... [ PASS]
...(+ 1 (%reset (+ 10 (f 100)))) ................................. [ PASS]
(%reset (let ((x (%shift f (cons 'a (f '()))))) (%shift g x))) ... [ PASS]
(cons 'a (%reset (cons 'b (%shift f (cons 1 (f (f (cons 'c '())... [ PASS]
(%shift t 'x) .................................................... [ PASS]
7 tests completed in 0.001 seconds.
7 out of 7 (100%) tests passed.
-- done testing %shift/%reset --------------------------------------------
-- testing shift/reset ---------------------------------------------------
(+ 1 (reset (* 2 (shift k 4)))) .................................. [ PASS]
(+ 10 (reset (+ 2 (shift k (+ 100 (k (k 3))))))) ................. [ PASS]
(* 10 (reset (* 2 (shift g (reset (* 5 (shift f (+ (f 1) 1)))))))) [ PASS]
...(+ 1 (reset (+ 10 (f 100)))) .................................. [ PASS]
(reset (let ((x (shift f (cons 'a (f '()))))) (shift g x))) ...... [ PASS]
(cons 'a (reset (cons 'b (shift f (cons 1 (f (f (cons 'c '())))... [ PASS]
(shift t 'x) ..................................................... [ PASS]
7 tests completed in 0.001 seconds.
7 out of 7 (100%) tests passed.
-- done testing shift/reset ----------------------------------------------
-- testing %shift-values/%reset-values -----------------------------------
(+ 1 (%reset-values (* 2 (%shift-values k 4)))) .................. [ PASS]
(+ 10 (%reset-values (+ 2 (%shift-values k (+ 100 (k (k 3))))))) . [ PASS]
(* 10 (%reset-values (* 2 (%shift-values g (%reset-values (* 5 ... [ PASS]
...(+ 1 (%reset-values (+ 10 (f 100)))) .......................... [ PASS]
(%reset-values (let ((x (%shift-values f (cons 'a (f '()))))) (... [ PASS]
(cons 'a (%reset-values (cons 'b (%shift-values f (cons 1 (f (f... [ PASS]
(%shift-values t 'x) ............................................. [ PASS]
(cons 'a (%reset-values (cons 'b (let-values (((x y) (%shift-va... [ PASS]
8 tests completed in 0.001 seconds.
8 out of 8 (100%) tests passed.
-- done testing %shift-values/%reset-values ------------------------------
-- testing shift-values/reset-values -------------------------------------
(+ 1 (reset-values (* 2 (shift-values k 4)))) .................... [ PASS]
(+ 10 (reset-values (+ 2 (shift-values k (+ 100 (k (k 3))))))) ... [ PASS]
(* 10 (reset-values (* 2 (shift-values g (reset-values (* 5 (sh... [ PASS]
...(+ 1 (reset-values (+ 10 (f 100)))) ........................... [ PASS]
(reset-values (let ((x (shift-values f (cons 'a (f '()))))) (sh... [ PASS]
(cons 'a (reset-values (cons 'b (shift-values f (cons 1 (f (f (... [ PASS]
(shift-values t 'x) .............................................. [ PASS]
(cons 'a (reset-values (cons 'b (let-values (((x y) (shift-valu... [ PASS]
8 tests completed in 0.001 seconds.
8 out of 8 (100%) tests passed.
-- done testing shift-values/reset-values --------------------------------
-- testing %bshift/%breset -----------------------------------------------
step 1 ........................................................... [ PASS]
step 2 ........................................................... [ PASS]
two %ranges ...................................................... [ PASS]
collect .......................................................... [ PASS]
%range-collect ................................................... [ PASS]
(begin (%breset r (let* ((k (%range r 1 3 9)) (j (+ 10 k))) (ga... [ PASS]
(begin (%breset out (%breset r (let ((k (%range r 1 4))) (gathe... [ PASS]
(begin (%breset r (let ((k (%range r 1 4))) (%breset inner (let... [ PASS]
8 tests completed in 0.006 seconds.
8 out of 8 (100%) tests passed.
-- done testing %bshift/%breset ------------------------------------------
-- testing bshift/breset -------------------------------------------------
step 1 ........................................................... [ PASS]
step 2 ........................................................... [ PASS]
two ranges ....................................................... [ PASS]
collect .......................................................... [ PASS]
range-collect .................................................... [ PASS]
(begin (breset r (let* ((k (range r 1 3 9)) (j (+ 10 k))) (gath... [ PASS]
(begin (breset out (breset r (let ((k (range r 1 4))) (gather k... [ PASS]
(begin (breset r (let ((k (range r 1 4))) (breset inner (let ((... [ PASS]
8 tests completed in 0.002 seconds.
8 out of 8 (100%) tests passed.
-- done testing bshift/breset --------------------------------------------
-- testing %bshift-values/%breset-values ---------------------------------
(cons 'a (%breset-values r (cons 'b (let-values (((x y) (%bshif... [ PASS]
1 test completed in 0 seconds.
1 out of 1 (100%) test passed.
-- done testing %bshift-values/%breset-values ----------------------------
-- testing bshift-values/breset-values -----------------------------------
(cons 'a (breset-values r (cons 'b (let-values (((x y) (bshift-... [ PASS]
1 test completed in 0 seconds.
1 out of 1 (100%) test passed.
-- done testing bshift-values/breset-values ------------------------------
-- testing gshift/greset -------------------------------------------------
(+ 10 (prompt (+ 2 (control k (+ 100 (k (k 3))))))) .............. [ PASS]
(prompt (let ((x (control f (cons 'a (f '()))))) (control g x))) . [ PASS]
(prompt ((lambda (x) (control l 2)) (control l (+ 1 (l 0))))) .... [ PASS]
(prompt (control f (cons 'a (f '())))) ........................... [ PASS]
(prompt (let ((x (control f (cons 'a (f '()))))) (control g (g ... [ PASS]
(+ 10 (prompt0 (+ 2 (control k (+ 100 (k (k 3))))))) ............. [ PASS]
(prompt0 (prompt0 (let ((x (control f (cons 'a (f '()))))) (con... [ PASS]
(+ 10 (prompt0 (+ 2 (shift0 k (+ 100 (k (k 3))))))) .............. [ PASS]
(prompt0 (cons 'a (prompt0 (shift0 f (shift0 g '()))))) .......... [ PASS]
(prompt0 (cons 'a (prompt0 (prompt0 (shift0 f (shift0 g '())))))) [ PASS]
10 tests completed in 0.002 seconds.
10 out of 10 (100%) tests passed.
-- done testing gshift/greset --------------------------------------------
-- testing reflect/reify -------------------------------------------------
(reify maybe (maybe-baz (maybe-bar (reflect maybe (or (reify ma... [ PASS]
1 test completed in 0 seconds.
1 out of 1 (100%) test passed.
-- done testing reflect/reify --------------------------------------------
10 subgroups completed in 0.016 seconds.
10 out of 10 (100%) subgroups passed.
-- done testing Shift/Reset Family -------------------------------------------