Artifact
77faa269c9281b491d0ba54f168b467b93973bcb:
- File
srfi/tests/testing.sps
— part of check-in
[80c8c83034]
at
2016-07-07 18:11:39
on branch trunk
— initial import
(user:
ovenpasta@pizzahack.eu
size: 26685)
0000: 3b 3b 3b 0a 3b 3b 3b 20 20 54 68 69 73 20 69 73 ;;;.;;; This is
0010: 20 61 20 74 65 73 74 20 73 75 69 74 65 20 77 72 a test suite wr
0020: 69 74 74 65 6e 20 69 6e 20 74 68 65 20 6e 6f 74 itten in the not
0030: 61 74 69 6f 6e 20 6f 66 20 0a 3b 3b 3b 20 20 53 ation of .;;; S
0040: 52 46 49 2d 36 34 2c 20 41 20 53 63 68 65 6d 65 RFI-64, A Scheme
0050: 20 41 50 49 20 66 6f 72 20 74 65 73 74 20 73 75 API for test su
0060: 69 74 65 73 0a 3b 3b 3b 0a 0a 23 21 72 36 72 73 ites.;;;..#!r6rs
0070: 0a 28 69 6d 70 6f 72 74 0a 20 20 28 65 78 63 65 .(import. (exce
0080: 70 74 20 28 72 6e 72 73 20 62 61 73 65 29 20 65 pt (rnrs base) e
0090: 72 72 6f 72 29 0a 20 20 28 72 6e 72 73 20 6c 69 rror). (rnrs li
00a0: 73 74 73 29 0a 20 20 28 73 75 72 66 61 67 65 20 sts). (surfage
00b0: 73 36 34 20 74 65 73 74 69 6e 67 29 29 0a 0a 28 s64 testing))..(
00c0: 64 65 66 69 6e 65 20 28 65 72 72 6f 72 20 6d 73 define (error ms
00d0: 67 29 0a 20 20 28 61 73 73 65 72 74 69 6f 6e 2d g). (assertion-
00e0: 76 69 6f 6c 61 74 69 6f 6e 20 22 28 73 75 72 66 violation "(surf
00f0: 61 67 65 20 73 36 34 20 74 65 73 74 69 6e 67 29 age s64 testing)
0100: 20 74 65 73 74 20 70 72 6f 67 72 61 6d 22 20 6d test program" m
0110: 73 67 29 29 0a 0a 28 74 65 73 74 2d 62 65 67 69 sg))..(test-begi
0120: 6e 20 22 53 52 46 49 20 36 34 20 2d 20 4d 65 74 n "SRFI 64 - Met
0130: 61 2d 54 65 73 74 20 53 75 69 74 65 22 29 0a 0a a-Test Suite")..
0140: 3b 3b 3b 0a 3b 3b 3b 20 20 49 72 6f 6e 69 63 61 ;;;.;;; Ironica
0150: 6c 6c 79 2c 20 69 6e 20 6f 72 64 65 72 20 74 6f lly, in order to
0160: 20 73 65 74 20 75 70 20 74 68 65 20 6d 65 74 61 set up the meta
0170: 2d 74 65 73 74 20 65 6e 76 69 72 6f 6e 6d 65 6e -test environmen
0180: 74 2c 0a 3b 3b 3b 20 20 77 65 20 68 61 76 65 20 t,.;;; we have
0190: 74 6f 20 69 6e 76 6f 6b 65 20 6f 6e 65 20 6f 66 to invoke one of
01a0: 20 74 68 65 20 6d 6f 73 74 20 73 6f 70 68 69 73 the most sophis
01b0: 74 69 63 61 74 65 64 20 66 65 61 74 75 72 65 73 ticated features
01c0: 3a 0a 3b 3b 3b 20 20 63 75 73 74 6f 6d 20 74 65 :.;;; custom te
01d0: 73 74 20 72 75 6e 6e 65 72 73 0a 3b 3b 3b 0a 0a st runners.;;;..
01e0: 3b 3b 3b 20 20 54 68 65 20 60 70 72 6f 70 2d 72 ;;; The `prop-r
01f0: 75 6e 6e 65 72 27 20 69 6e 76 6f 6b 65 73 20 60 unner' invokes `
0200: 74 68 75 6e 6b 27 20 69 6e 20 74 68 65 20 63 6f thunk' in the co
0210: 6e 74 65 78 74 20 6f 66 20 61 20 6e 65 77 0a 3b ntext of a new.;
0220: 3b 3b 20 20 74 65 73 74 20 72 75 6e 6e 65 72 2c ;; test runner,
0230: 20 61 6e 64 20 72 65 74 75 72 6e 73 20 74 68 65 and returns the
0240: 20 69 6e 64 69 63 61 74 65 64 20 70 72 6f 70 65 indicated prope
0250: 72 74 69 65 73 20 6f 66 20 74 68 65 20 0a 3b 3b rties of the .;;
0260: 3b 20 20 6c 61 73 74 2d 65 78 65 63 75 74 65 64 ; last-executed
0270: 20 74 65 73 74 20 72 65 73 75 6c 74 2e 0a 0a 28 test result...(
0280: 64 65 66 69 6e 65 20 28 70 72 6f 70 2d 72 75 6e define (prop-run
0290: 6e 65 72 20 70 72 6f 70 73 20 74 68 75 6e 6b 29 ner props thunk)
02a0: 0a 20 20 28 6c 65 74 20 28 28 72 20 28 74 65 73 . (let ((r (tes
02b0: 74 2d 72 75 6e 6e 65 72 2d 6e 75 6c 6c 29 29 0a t-runner-null)).
02c0: 20 20 20 20 20 20 20 20 28 70 6c 69 73 74 20 27 (plist '
02d0: 28 29 29 29 0a 20 20 20 20 3b 3b 0a 20 20 20 20 ())). ;;.
02e0: 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d 6f 6e 2d (test-runner-on-
02f0: 74 65 73 74 2d 65 6e 64 21 0a 20 20 20 20 20 72 test-end!. r
0300: 0a 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 72 . (lambda (r
0310: 75 6e 6e 65 72 29 0a 20 20 20 20 20 20 20 28 73 unner). (s
0320: 65 74 21 20 70 6c 69 73 74 20 28 74 65 73 74 2d et! plist (test-
0330: 72 65 73 75 6c 74 2d 61 6c 69 73 74 20 72 75 6e result-alist run
0340: 6e 65 72 29 29 29 29 0a 20 20 20 20 3b 3b 0a 20 ner)))). ;;.
0350: 20 20 20 28 74 65 73 74 2d 77 69 74 68 2d 72 75 (test-with-ru
0360: 6e 6e 65 72 20 72 20 28 74 68 75 6e 6b 29 29 0a nner r (thunk)).
0370: 20 20 20 20 3b 3b 20 72 65 6f 72 64 65 72 20 74 ;; reorder t
0380: 68 65 20 70 72 6f 70 65 72 74 69 65 73 20 73 6f he properties so
0390: 20 74 68 65 79 20 61 72 65 20 69 6e 20 74 68 65 they are in the
03a0: 20 6f 72 64 65 72 0a 20 20 20 20 3b 3b 20 67 69 order. ;; gi
03b0: 76 65 6e 20 62 79 20 60 70 72 6f 70 73 27 2e 20 ven by `props'.
03c0: 20 4e 6f 74 65 20 74 68 61 74 20 61 6e 79 20 70 Note that any p
03d0: 72 6f 70 65 72 74 79 20 6c 69 73 74 65 64 20 69 roperty listed i
03e0: 6e 20 60 70 72 6f 70 73 27 0a 20 20 20 20 3b 3b n `props'. ;;
03f0: 20 74 68 61 74 20 69 73 20 6e 6f 74 20 69 6e 20 that is not in
0400: 74 68 65 20 70 72 6f 70 65 72 74 79 20 61 6c 69 the property ali
0410: 73 74 20 77 69 6c 6c 20 6f 63 63 75 72 20 61 73 st will occur as
0420: 20 23 66 0a 20 20 20 20 28 6d 61 70 20 28 6c 61 #f. (map (la
0430: 6d 62 64 61 20 28 6b 29 0a 20 20 20 20 20 20 20 mbda (k).
0440: 20 20 20 20 28 61 73 73 71 20 6b 20 70 6c 69 73 (assq k plis
0450: 74 29 29 0a 20 20 20 20 20 20 20 20 20 70 72 6f t)). pro
0460: 70 73 29 29 29 0a 0a 3b 3b 3b 20 20 60 6f 6e 2d ps)))..;;; `on-
0470: 74 65 73 74 2d 72 75 6e 6e 65 72 27 20 63 72 65 test-runner' cre
0480: 61 74 65 73 20 61 20 6e 75 6c 6c 20 74 65 73 74 ates a null test
0490: 20 72 75 6e 6e 65 72 20 61 6e 64 20 74 68 65 6e runner and then
04a0: 0a 3b 3b 3b 20 20 61 72 72 61 6e 67 65 64 20 66 .;;; arranged f
04b0: 6f 72 20 60 76 69 73 69 74 27 20 74 6f 20 62 65 or `visit' to be
04c0: 20 63 61 6c 6c 65 64 20 77 69 74 68 20 74 68 65 called with the
04d0: 20 72 75 6e 6e 65 72 0a 3b 3b 3b 20 20 77 68 65 runner.;;; whe
04e0: 6e 65 76 65 72 20 61 20 74 65 73 74 20 69 73 20 never a test is
04f0: 72 75 6e 2e 20 20 54 68 65 20 72 65 73 75 6c 74 run. The result
0500: 73 20 6f 66 20 74 68 65 20 63 61 6c 6c 73 20 74 s of the calls t
0510: 6f 0a 3b 3b 3b 20 20 60 76 69 73 69 74 27 20 61 o.;;; `visit' a
0520: 72 65 20 72 65 74 75 72 6e 65 64 20 69 6e 20 61 re returned in a
0530: 20 6c 69 73 74 0a 0a 28 64 65 66 69 6e 65 20 28 list..(define (
0540: 6f 6e 2d 74 65 73 74 2d 72 75 6e 6e 65 72 20 74 on-test-runner t
0550: 68 75 6e 6b 20 76 69 73 69 74 29 0a 20 20 28 6c hunk visit). (l
0560: 65 74 20 28 28 72 20 28 74 65 73 74 2d 72 75 6e et ((r (test-run
0570: 6e 65 72 2d 6e 75 6c 6c 29 29 0a 20 20 20 20 20 ner-null)).
0580: 20 20 20 28 72 65 73 75 6c 74 73 20 27 28 29 29 (results '())
0590: 29 0a 20 20 20 20 3b 3b 0a 20 20 20 20 28 74 65 ). ;;. (te
05a0: 73 74 2d 72 75 6e 6e 65 72 2d 6f 6e 2d 74 65 73 st-runner-on-tes
05b0: 74 2d 65 6e 64 21 0a 20 20 20 20 20 72 0a 20 20 t-end!. r.
05c0: 20 20 20 28 6c 61 6d 62 64 61 20 28 72 75 6e 6e (lambda (runn
05d0: 65 72 29 0a 20 20 20 20 20 20 20 28 73 65 74 21 er). (set!
05e0: 20 72 65 73 75 6c 74 73 20 28 63 6f 6e 73 20 28 results (cons (
05f0: 76 69 73 69 74 20 72 29 20 72 65 73 75 6c 74 73 visit r) results
0600: 29 29 29 29 0a 20 20 20 20 3b 3b 0a 20 20 20 20 )))). ;;.
0610: 28 74 65 73 74 2d 77 69 74 68 2d 72 75 6e 6e 65 (test-with-runne
0620: 72 20 72 20 28 74 68 75 6e 6b 29 29 0a 20 20 20 r r (thunk)).
0630: 20 28 72 65 76 65 72 73 65 20 72 65 73 75 6c 74 (reverse result
0640: 73 29 29 29 0a 0a 3b 3b 3b 0a 3b 3b 3b 20 20 54 s)))..;;;.;;; T
0650: 68 65 20 60 74 72 69 76 2d 72 75 6e 6e 65 72 27 he `triv-runner'
0660: 20 69 6e 76 6f 6b 65 73 20 60 74 68 75 6e 6b 27 invokes `thunk'
0670: 0a 3b 3b 3b 20 20 61 6e 64 20 72 65 74 75 72 6e .;;; and return
0680: 73 20 61 20 6c 69 73 74 20 6f 66 20 36 20 6c 69 s a list of 6 li
0690: 73 74 73 2c 20 74 68 65 20 66 69 72 73 74 20 35 sts, the first 5
06a0: 20 6f 66 20 77 68 69 63 68 0a 3b 3b 3b 20 20 61 of which.;;; a
06b0: 72 65 20 61 20 6c 69 73 74 20 6f 66 20 74 68 65 re a list of the
06c0: 20 6e 61 6d 65 73 20 6f 66 20 74 68 65 20 74 65 names of the te
06d0: 73 74 73 20 74 68 61 74 2c 20 72 65 73 70 65 63 sts that, respec
06e0: 74 69 76 65 6c 79 2c 0a 3b 3b 3b 20 20 50 41 53 tively,.;;; PAS
06f0: 53 2c 20 46 41 49 4c 2c 20 58 46 41 49 4c 2c 20 S, FAIL, XFAIL,
0700: 58 50 41 53 53 2c 20 61 6e 64 20 53 4b 49 50 2e XPASS, and SKIP.
0710: 0a 3b 3b 3b 20 20 54 68 65 20 6c 61 73 74 20 69 .;;; The last i
0720: 74 65 6d 20 69 73 20 61 20 6c 69 73 74 20 6f 66 tem is a list of
0730: 20 63 6f 75 6e 74 73 2e 0a 3b 3b 3b 0a 0a 28 64 counts..;;;..(d
0740: 65 66 69 6e 65 20 28 74 72 69 76 2d 72 75 6e 6e efine (triv-runn
0750: 65 72 20 74 68 75 6e 6b 29 0a 20 20 28 6c 65 74 er thunk). (let
0760: 20 28 28 72 20 28 74 65 73 74 2d 72 75 6e 6e 65 ((r (test-runne
0770: 72 2d 6e 75 6c 6c 29 29 0a 20 20 20 20 20 20 20 r-null)).
0780: 20 28 61 63 63 75 6d 2d 70 61 73 73 20 27 28 29 (accum-pass '()
0790: 29 0a 20 20 20 20 20 20 20 20 28 61 63 63 75 6d ). (accum
07a0: 2d 66 61 69 6c 20 27 28 29 29 0a 20 20 20 20 20 -fail '()).
07b0: 20 20 20 28 61 63 63 75 6d 2d 78 66 61 69 6c 20 (accum-xfail
07c0: 27 28 29 29 0a 20 20 20 20 20 20 20 20 28 61 63 '()). (ac
07d0: 63 75 6d 2d 78 70 61 73 73 20 27 28 29 29 0a 20 cum-xpass '()).
07e0: 20 20 20 20 20 20 20 28 61 63 63 75 6d 2d 73 6b (accum-sk
07f0: 69 70 20 27 28 29 29 29 0a 20 20 20 20 3b 3b 0a ip '())). ;;.
0800: 20 20 20 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 (test-runner
0810: 2d 6f 6e 2d 62 61 64 2d 63 6f 75 6e 74 21 0a 20 -on-bad-count!.
0820: 20 20 20 20 72 0a 20 20 20 20 20 28 6c 61 6d 62 r. (lamb
0830: 64 61 20 28 72 75 6e 6e 65 72 20 63 6f 75 6e 74 da (runner count
0840: 20 65 78 70 65 63 74 65 64 2d 63 6f 75 6e 74 29 expected-count)
0850: 0a 20 20 20 20 20 20 20 28 65 72 72 6f 72 20 28 . (error (
0860: 73 74 72 69 6e 67 2d 61 70 70 65 6e 64 20 22 62 string-append "b
0870: 61 64 20 63 6f 75 6e 74 20 22 20 28 6e 75 6d 62 ad count " (numb
0880: 65 72 2d 3e 73 74 72 69 6e 67 20 63 6f 75 6e 74 er->string count
0890: 29 0a 09 09 09 20 20 20 20 20 22 20 62 75 74 20 ).... " but
08a0: 65 78 70 65 63 74 65 64 20 22 0a 09 09 09 20 20 expected "....
08b0: 20 20 20 28 6e 75 6d 62 65 72 2d 3e 73 74 72 69 (number->stri
08c0: 6e 67 20 65 78 70 65 63 74 65 64 2d 63 6f 75 6e ng expected-coun
08d0: 74 29 29 29 29 29 0a 20 20 20 20 28 74 65 73 74 t))))). (test
08e0: 2d 72 75 6e 6e 65 72 2d 6f 6e 2d 62 61 64 2d 65 -runner-on-bad-e
08f0: 6e 64 2d 6e 61 6d 65 21 0a 20 20 20 20 20 72 0a nd-name!. r.
0900: 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 72 75 (lambda (ru
0910: 6e 6e 65 72 20 62 65 67 69 6e 20 65 6e 64 29 0a nner begin end).
0920: 20 20 20 20 20 20 20 28 65 72 72 6f 72 20 28 73 (error (s
0930: 74 72 69 6e 67 2d 61 70 70 65 6e 64 20 22 62 61 tring-append "ba
0940: 64 20 65 6e 64 20 67 72 6f 6a 75 70 20 6e 61 6d d end grojup nam
0950: 65 20 22 20 65 6e 64 0a 09 09 09 20 20 20 20 20 e " end....
0960: 22 20 62 75 74 20 65 78 70 65 63 74 65 64 20 22 " but expected "
0970: 20 62 65 67 69 6e 29 29 29 29 0a 20 20 20 20 28 begin)))). (
0980: 74 65 73 74 2d 72 75 6e 6e 65 72 2d 6f 6e 2d 74 test-runner-on-t
0990: 65 73 74 2d 65 6e 64 21 20 0a 20 20 20 20 20 72 est-end! . r
09a0: 20 0a 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 . (lambda (
09b0: 72 75 6e 6e 65 72 29 0a 20 20 20 20 20 20 20 28 runner). (
09c0: 6c 65 74 20 28 28 6e 20 28 74 65 73 74 2d 72 75 let ((n (test-ru
09d0: 6e 6e 65 72 2d 74 65 73 74 2d 6e 61 6d 65 20 72 nner-test-name r
09e0: 75 6e 6e 65 72 29 29 29 0a 20 20 20 20 20 20 20 unner))).
09f0: 20 20 28 63 61 73 65 20 28 74 65 73 74 2d 72 65 (case (test-re
0a00: 73 75 6c 74 2d 6b 69 6e 64 20 72 75 6e 6e 65 72 sult-kind runner
0a10: 29 0a 20 20 20 20 20 20 20 20 20 20 20 28 28 70 ). ((p
0a20: 61 73 73 29 20 28 73 65 74 21 20 61 63 63 75 6d ass) (set! accum
0a30: 2d 70 61 73 73 20 28 63 6f 6e 73 20 6e 20 61 63 -pass (cons n ac
0a40: 63 75 6d 2d 70 61 73 73 29 29 29 0a 20 20 20 20 cum-pass))).
0a50: 20 20 20 20 20 20 20 28 28 66 61 69 6c 29 20 28 ((fail) (
0a60: 73 65 74 21 20 61 63 63 75 6d 2d 66 61 69 6c 20 set! accum-fail
0a70: 28 63 6f 6e 73 20 6e 20 61 63 63 75 6d 2d 66 61 (cons n accum-fa
0a80: 69 6c 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 il))).
0a90: 20 28 28 78 70 61 73 73 29 20 28 73 65 74 21 20 ((xpass) (set!
0aa0: 61 63 63 75 6d 2d 78 70 61 73 73 20 28 63 6f 6e accum-xpass (con
0ab0: 73 20 6e 20 61 63 63 75 6d 2d 78 70 61 73 73 29 s n accum-xpass)
0ac0: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 28 28 )). ((
0ad0: 78 66 61 69 6c 29 20 28 73 65 74 21 20 61 63 63 xfail) (set! acc
0ae0: 75 6d 2d 78 66 61 69 6c 20 28 63 6f 6e 73 20 6e um-xfail (cons n
0af0: 20 61 63 63 75 6d 2d 78 66 61 69 6c 29 29 29 0a accum-xfail))).
0b00: 20 20 20 20 20 20 20 20 20 20 20 28 28 73 6b 69 ((ski
0b10: 70 29 20 28 73 65 74 21 20 61 63 63 75 6d 2d 73 p) (set! accum-s
0b20: 6b 69 70 20 28 63 6f 6e 73 20 6e 20 61 63 63 75 kip (cons n accu
0b30: 6d 2d 73 6b 69 70 29 29 29 29 29 29 29 0a 20 20 m-skip))))))).
0b40: 20 20 3b 3b 0a 20 20 20 20 28 74 65 73 74 2d 77 ;;. (test-w
0b50: 69 74 68 2d 72 75 6e 6e 65 72 20 72 20 28 74 68 ith-runner r (th
0b60: 75 6e 6b 29 29 0a 20 20 20 20 28 6c 69 73 74 20 unk)). (list
0b70: 28 72 65 76 65 72 73 65 20 61 63 63 75 6d 2d 70 (reverse accum-p
0b80: 61 73 73 29 20 20 20 20 3b 20 70 61 73 73 65 64 ass) ; passed
0b90: 20 61 73 20 65 78 70 65 63 74 65 64 0a 20 20 20 as expected.
0ba0: 20 20 20 20 20 20 20 28 72 65 76 65 72 73 65 20 (reverse
0bb0: 61 63 63 75 6d 2d 66 61 69 6c 29 20 20 20 20 3b accum-fail) ;
0bc0: 20 66 61 69 6c 65 64 2c 20 62 75 74 20 77 61 73 failed, but was
0bd0: 20 65 78 70 65 63 74 65 64 20 74 6f 20 70 61 73 expected to pas
0be0: 73 0a 20 20 20 20 20 20 20 20 20 20 28 72 65 76 s. (rev
0bf0: 65 72 73 65 20 61 63 63 75 6d 2d 78 66 61 69 6c erse accum-xfail
0c00: 29 20 20 20 3b 20 66 61 69 6c 65 64 20 61 73 20 ) ; failed as
0c10: 65 78 70 65 63 74 65 64 0a 20 20 20 20 20 20 20 expected.
0c20: 20 20 20 28 72 65 76 65 72 73 65 20 61 63 63 75 (reverse accu
0c30: 6d 2d 78 70 61 73 73 29 20 20 20 3b 20 70 61 73 m-xpass) ; pas
0c40: 73 65 64 2c 20 62 75 74 20 77 61 73 20 65 78 70 sed, but was exp
0c50: 65 63 74 65 64 20 74 6f 20 66 61 69 6c 0a 20 20 ected to fail.
0c60: 20 20 20 20 20 20 20 20 28 72 65 76 65 72 73 65 (reverse
0c70: 20 61 63 63 75 6d 2d 73 6b 69 70 29 20 20 20 20 accum-skip)
0c80: 3b 20 77 61 73 20 6e 6f 74 20 65 78 65 63 75 74 ; was not execut
0c90: 65 64 0a 20 20 20 20 20 20 20 20 20 20 28 6c 69 ed. (li
0ca0: 73 74 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d st (test-runner-
0cb0: 70 61 73 73 2d 63 6f 75 6e 74 20 72 29 0a 20 20 pass-count r).
0cc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
0cd0: 65 73 74 2d 72 75 6e 6e 65 72 2d 66 61 69 6c 2d est-runner-fail-
0ce0: 63 6f 75 6e 74 20 72 29 0a 20 20 20 20 20 20 20 count r).
0cf0: 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 72 (test-r
0d00: 75 6e 6e 65 72 2d 78 66 61 69 6c 2d 63 6f 75 6e unner-xfail-coun
0d10: 74 20 72 29 0a 20 20 20 20 20 20 20 20 20 20 20 t r).
0d20: 20 20 20 20 20 28 74 65 73 74 2d 72 75 6e 6e 65 (test-runne
0d30: 72 2d 78 70 61 73 73 2d 63 6f 75 6e 74 20 72 29 r-xpass-count r)
0d40: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
0d50: 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d 73 6b (test-runner-sk
0d60: 69 70 2d 63 6f 75 6e 74 20 72 29 29 29 29 29 0a ip-count r))))).
0d70: 0a 28 64 65 66 69 6e 65 20 28 70 61 74 68 2d 72 .(define (path-r
0d80: 65 76 65 61 6c 69 6e 67 2d 72 75 6e 6e 65 72 20 evealing-runner
0d90: 74 68 75 6e 6b 29 0a 20 20 28 6c 65 74 20 28 28 thunk). (let ((
0da0: 72 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d 6e r (test-runner-n
0db0: 75 6c 6c 29 29 0a 20 20 20 20 20 20 20 20 28 73 ull)). (s
0dc0: 65 71 20 27 28 29 29 29 0a 20 20 20 20 3b 3b 0a eq '())). ;;.
0dd0: 20 20 20 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 (test-runner
0de0: 2d 6f 6e 2d 74 65 73 74 2d 65 6e 64 21 20 0a 20 -on-test-end! .
0df0: 20 20 20 20 72 20 0a 20 20 20 20 20 28 6c 61 6d r . (lam
0e00: 62 64 61 20 28 72 75 6e 6e 65 72 29 0a 20 20 20 bda (runner).
0e10: 20 20 20 20 28 73 65 74 21 20 73 65 71 20 28 63 (set! seq (c
0e20: 6f 6e 73 20 28 6c 69 73 74 20 28 74 65 73 74 2d ons (list (test-
0e30: 72 75 6e 6e 65 72 2d 67 72 6f 75 70 2d 70 61 74 runner-group-pat
0e40: 68 20 72 75 6e 6e 65 72 29 0a 20 20 20 20 20 20 h runner).
0e50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0e60: 20 20 20 20 20 20 20 28 74 65 73 74 2d 72 75 6e (test-run
0e70: 6e 65 72 2d 74 65 73 74 2d 6e 61 6d 65 20 72 75 ner-test-name ru
0e80: 6e 6e 65 72 29 29 0a 20 20 20 20 20 20 20 20 20 nner)).
0e90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 73 65 se
0ea0: 71 29 29 29 29 0a 20 20 20 20 28 74 65 73 74 2d q)))). (test-
0eb0: 77 69 74 68 2d 72 75 6e 6e 65 72 20 72 20 28 74 with-runner r (t
0ec0: 68 75 6e 6b 29 29 0a 20 20 20 20 28 72 65 76 65 hunk)). (reve
0ed0: 72 73 65 20 73 65 71 29 29 29 0a 0a 3b 3b 3b 0a rse seq)))..;;;.
0ee0: 3b 3b 3b 20 20 4e 6f 77 20 77 65 20 63 61 6e 20 ;;; Now we can
0ef0: 73 74 61 72 74 20 74 65 73 74 69 6e 67 20 63 6f start testing co
0f00: 6d 70 6c 69 61 6e 63 65 20 77 69 74 68 20 53 52 mpliance with SR
0f10: 46 49 2d 36 34 0a 3b 3b 3b 0a 0a 28 74 65 73 74 FI-64.;;;..(test
0f20: 2d 62 65 67 69 6e 20 22 31 2e 20 53 69 6d 70 6c -begin "1. Simpl
0f30: 65 20 74 65 73 74 2d 63 61 73 65 73 22 29 0a 0a e test-cases")..
0f40: 28 74 65 73 74 2d 62 65 67 69 6e 20 22 31 2e 31 (test-begin "1.1
0f50: 2e 20 74 65 73 74 2d 61 73 73 65 72 74 22 29 0a . test-assert").
0f60: 0a 28 64 65 66 69 6e 65 20 28 74 29 0a 20 20 28 .(define (t). (
0f70: 74 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 28 triv-runner. (
0f80: 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 28 lambda (). (
0f90: 74 65 73 74 2d 61 73 73 65 72 74 20 22 61 22 20 test-assert "a"
0fa0: 23 74 29 0a 20 20 20 20 20 28 74 65 73 74 2d 61 #t). (test-a
0fb0: 73 73 65 72 74 20 22 62 22 20 23 66 29 29 29 29 ssert "b" #f))))
0fc0: 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a 20 22 ..(test-equal. "
0fd0: 31 2e 31 2e 31 2e 20 56 65 72 79 20 73 69 6d 70 1.1.1. Very simp
0fe0: 6c 65 22 0a 20 27 28 28 22 61 22 29 20 28 22 62 le". '(("a") ("b
0ff0: 22 29 20 28 29 20 28 29 20 28 29 20 28 31 20 31 ") () () () (1 1
1000: 20 30 20 30 20 30 29 29 0a 20 28 74 29 29 0a 0a 0 0 0)). (t))..
1010: 28 74 65 73 74 2d 65 71 75 61 6c 0a 20 22 31 2e (test-equal. "1.
1020: 31 2e 32 2e 20 41 20 74 65 73 74 20 77 69 74 68 1.2. A test with
1030: 20 6e 6f 20 6e 61 6d 65 22 0a 20 27 28 28 22 61 no name". '(("a
1040: 22 29 20 28 22 22 29 20 28 29 20 28 29 20 28 29 ") ("") () () ()
1050: 20 28 31 20 31 20 30 20 30 20 30 29 29 0a 20 28 (1 1 0 0 0)). (
1060: 74 72 69 76 2d 72 75 6e 6e 65 72 20 28 6c 61 6d triv-runner (lam
1070: 62 64 61 20 28 29 20 28 74 65 73 74 2d 61 73 73 bda () (test-ass
1080: 65 72 74 20 22 61 22 20 23 74 29 20 28 74 65 73 ert "a" #t) (tes
1090: 74 2d 61 73 73 65 72 74 20 23 66 29 29 29 29 0a t-assert #f)))).
10a0: 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a 20 22 31 .(test-equal. "1
10b0: 2e 31 2e 33 2e 20 54 65 73 74 73 20 63 61 6e 20 .1.3. Tests can
10c0: 68 61 76 65 20 74 68 65 20 73 61 6d 65 20 6e 61 have the same na
10d0: 6d 65 22 0a 20 27 28 28 22 61 22 20 22 61 22 29 me". '(("a" "a")
10e0: 20 28 29 20 28 29 20 28 29 20 28 29 20 28 32 20 () () () () (2
10f0: 30 20 30 20 30 20 30 29 29 0a 20 28 74 72 69 76 0 0 0 0)). (triv
1100: 2d 72 75 6e 6e 65 72 20 28 6c 61 6d 62 64 61 20 -runner (lambda
1110: 28 29 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 () (test-assert
1120: 22 61 22 20 23 74 29 20 28 74 65 73 74 2d 61 73 "a" #t) (test-as
1130: 73 65 72 74 20 22 61 22 20 23 74 29 29 29 29 0a sert "a" #t)))).
1140: 0a 28 64 65 66 69 6e 65 20 28 63 68 6f 6b 65 29 .(define (choke)
1150: 0a 20 20 28 76 65 63 74 6f 72 2d 72 65 66 20 27 . (vector-ref '
1160: 23 28 31 20 32 29 20 33 29 29 0a 0a 28 74 65 73 #(1 2) 3))..(tes
1170: 74 2d 65 71 75 61 6c 0a 20 22 31 2e 31 2e 34 2e t-equal. "1.1.4.
1180: 20 4f 6e 65 20 77 61 79 20 74 6f 20 46 41 49 4c One way to FAIL
1190: 20 69 73 20 74 6f 20 74 68 72 6f 77 20 61 6e 20 is to throw an
11a0: 65 72 72 6f 72 22 0a 20 27 28 28 29 20 28 22 61 error". '(() ("a
11b0: 22 29 20 28 29 20 28 29 20 28 29 20 28 30 20 31 ") () () () (0 1
11c0: 20 30 20 30 20 30 29 29 0a 20 28 74 72 69 76 2d 0 0 0)). (triv-
11d0: 72 75 6e 6e 65 72 20 28 6c 61 6d 62 64 61 20 28 runner (lambda (
11e0: 29 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 ) (test-assert "
11f0: 61 22 20 28 63 68 6f 6b 65 29 29 29 29 29 0a 0a a" (choke)))))..
1200: 28 74 65 73 74 2d 65 6e 64 29 3b 31 2e 31 0a 0a (test-end);1.1..
1210: 28 74 65 73 74 2d 62 65 67 69 6e 20 22 31 2e 32 (test-begin "1.2
1220: 2e 20 74 65 73 74 2d 65 71 76 22 29 0a 0a 28 64 . test-eqv")..(d
1230: 65 66 69 6e 65 20 28 6d 65 61 6e 20 78 20 79 29 efine (mean x y)
1240: 0a 20 20 28 2f 20 28 2b 20 78 20 79 29 20 32 2e . (/ (+ x y) 2.
1250: 30 29 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0))..(test-equal
1260: 0a 20 22 31 2e 32 2e 31 2e 20 20 53 69 6d 70 6c . "1.2.1. Simpl
1270: 65 20 6e 75 6d 65 72 69 63 61 6c 20 65 71 75 69 e numerical equi
1280: 76 61 6c 65 6e 63 65 22 0a 20 27 28 28 22 63 22 valence". '(("c"
1290: 29 20 28 22 61 22 20 22 62 22 29 20 28 29 20 28 ) ("a" "b") () (
12a0: 29 20 28 29 20 28 31 20 32 20 30 20 30 20 30 29 ) () (1 2 0 0 0)
12b0: 29 0a 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a ). (triv-runner.
12c0: 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 (lambda ().
12d0: 20 28 74 65 73 74 2d 65 71 76 20 22 61 22 20 28 (test-eqv "a" (
12e0: 6d 65 61 6e 20 33 20 35 29 20 34 29 0a 20 20 20 mean 3 5) 4).
12f0: 20 28 74 65 73 74 2d 65 71 76 20 22 62 22 20 28 (test-eqv "b" (
1300: 6d 65 61 6e 20 33 20 35 29 20 34 2e 35 29 0a 20 mean 3 5) 4.5).
1310: 20 20 20 28 74 65 73 74 2d 65 71 76 20 22 63 22 (test-eqv "c"
1320: 20 28 6d 65 61 6e 20 33 20 35 29 20 34 2e 30 29 (mean 3 5) 4.0)
1330: 29 29 29 0a 0a 28 74 65 73 74 2d 65 6e 64 29 3b )))..(test-end);
1340: 31 2e 32 0a 0a 28 74 65 73 74 2d 65 6e 64 20 22 1.2..(test-end "
1350: 31 2e 20 53 69 6d 70 6c 65 20 74 65 73 74 2d 63 1. Simple test-c
1360: 61 73 65 73 22 29 0a 0a 3b 3b 3b 0a 3b 3b 3b 0a ases")..;;;.;;;.
1370: 3b 3b 3b 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e ;;;..(test-begin
1380: 20 22 32 2e 20 54 65 73 74 73 20 66 6f 72 20 63 "2. Tests for c
1390: 61 74 63 68 69 6e 67 20 65 72 72 6f 72 73 22 29 atching errors")
13a0: 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 32 ..(test-begin "2
13b0: 2e 31 2e 20 74 65 73 74 2d 65 72 72 6f 72 22 29 .1. test-error")
13c0: 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a 20 22 ..(test-equal. "
13d0: 32 2e 31 2e 31 2e 20 42 61 73 65 6c 69 6e 65 20 2.1.1. Baseline
13e0: 74 65 73 74 3b 20 50 41 53 53 20 77 69 74 68 20 test; PASS with
13f0: 6e 6f 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 73 no optional args
1400: 22 0a 20 27 28 28 22 22 29 20 28 29 20 28 29 20 ". '(("") () ()
1410: 28 29 20 28 29 20 28 31 20 30 20 30 20 30 20 30 () () (1 0 0 0 0
1420: 29 29 0a 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 )). (triv-runner
1430: 0a 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 . (lambda ().
1440: 20 20 3b 3b 20 50 41 53 53 0a 20 20 20 20 28 74 ;; PASS. (t
1450: 65 73 74 2d 65 72 72 6f 72 20 28 76 65 63 74 6f est-error (vecto
1460: 72 2d 72 65 66 20 27 23 28 31 20 32 29 20 39 29 r-ref '#(1 2) 9)
1470: 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 ))))..(test-equa
1480: 6c 0a 20 22 32 2e 31 2e 32 2e 20 42 61 73 65 6c l. "2.1.2. Basel
1490: 69 6e 65 20 74 65 73 74 3b 20 46 41 49 4c 20 77 ine test; FAIL w
14a0: 69 74 68 20 6e 6f 20 6f 70 74 69 6f 6e 61 6c 20 ith no optional
14b0: 61 72 67 73 22 0a 20 27 28 28 29 20 28 22 22 29 args". '(() ("")
14c0: 20 28 29 20 28 29 20 28 29 20 28 30 20 31 20 30 () () () (0 1 0
14d0: 20 30 20 30 29 29 0a 20 28 74 72 69 76 2d 72 75 0 0)). (triv-ru
14e0: 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 20 28 nner. (lambda (
14f0: 29 0a 20 20 20 20 3b 3b 20 46 41 49 4c 3a 20 74 ). ;; FAIL: t
1500: 68 65 20 65 78 70 72 20 64 6f 65 73 20 6e 6f 74 he expr does not
1510: 20 72 61 69 73 65 20 61 6e 20 65 72 72 6f 72 20 raise an error
1520: 61 6e 64 20 60 74 65 73 74 2d 65 72 72 6f 72 27 and `test-error'
1530: 20 69 73 0a 20 20 20 20 3b 3b 20 20 20 20 20 20 is. ;;
1540: 20 63 6c 61 69 6d 69 6e 67 20 74 68 61 74 20 69 claiming that i
1550: 74 20 77 69 6c 6c 2c 20 73 6f 20 74 68 69 73 20 t will, so this
1560: 74 65 73 74 20 73 68 6f 75 6c 64 20 46 41 49 4c test should FAIL
1570: 0a 20 20 20 20 28 74 65 73 74 2d 65 72 72 6f 72 . (test-error
1580: 20 28 76 65 63 74 6f 72 2d 72 65 66 20 27 23 28 (vector-ref '#(
1590: 31 20 32 29 20 30 29 29 29 29 29 0a 0a 28 74 65 1 2) 0)))))..(te
15a0: 73 74 2d 65 71 75 61 6c 0a 20 22 32 2e 31 2e 33 st-equal. "2.1.3
15b0: 2e 20 50 41 53 53 20 77 69 74 68 20 61 20 74 65 . PASS with a te
15c0: 73 74 20 6e 61 6d 65 20 61 6e 64 20 65 72 72 6f st name and erro
15d0: 72 20 74 79 70 65 22 0a 20 27 28 28 22 61 22 29 r type". '(("a")
15e0: 20 28 29 20 28 29 20 28 29 20 28 29 20 28 31 20 () () () () (1
15f0: 30 20 30 20 30 20 30 29 29 0a 20 28 74 72 69 76 0 0 0 0)). (triv
1600: 2d 72 75 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 -runner. (lambd
1610: 61 20 28 29 0a 20 20 20 20 3b 3b 20 50 41 53 53 a (). ;; PASS
1620: 0a 20 20 20 20 28 74 65 73 74 2d 65 72 72 6f 72 . (test-error
1630: 20 22 61 22 20 23 74 20 28 76 65 63 74 6f 72 2d "a" #t (vector-
1640: 72 65 66 20 27 23 28 31 20 32 29 20 39 29 29 29 ref '#(1 2) 9)))
1650: 29 29 0a 0a 28 74 65 73 74 2d 65 6e 64 20 22 32 ))..(test-end "2
1660: 2e 31 2e 20 74 65 73 74 2d 65 72 72 6f 72 22 29 .1. test-error")
1670: 0a 0a 28 74 65 73 74 2d 65 6e 64 20 22 32 2e 20 ..(test-end "2.
1680: 54 65 73 74 73 20 66 6f 72 20 63 61 74 63 68 69 Tests for catchi
1690: 6e 67 20 65 72 72 6f 72 73 22 29 0a 0a 3b 3b 3b ng errors")..;;;
16a0: 0a 3b 3b 3b 0a 3b 3b 3b 0a 0a 28 74 65 73 74 2d .;;;.;;;..(test-
16b0: 62 65 67 69 6e 20 22 33 2e 20 54 65 73 74 20 67 begin "3. Test g
16c0: 72 6f 75 70 73 20 61 6e 64 20 70 61 74 68 73 22 roups and paths"
16d0: 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a 20 )..(test-equal.
16e0: 22 33 2e 31 2e 20 74 65 73 74 2d 62 65 67 69 6e "3.1. test-begin
16f0: 20 77 69 74 68 20 75 6e 73 70 65 63 69 66 69 63 with unspecific
1700: 20 74 65 73 74 2d 65 6e 64 22 0a 20 27 28 28 22 test-end". '(("
1710: 62 22 29 20 28 29 20 28 29 20 28 29 20 28 29 20 b") () () () ()
1720: 28 31 20 30 20 30 20 30 20 30 29 29 0a 20 28 74 (1 0 0 0 0)). (t
1730: 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 28 6c 61 riv-runner. (la
1740: 6d 62 64 61 20 28 29 0a 20 20 20 20 28 74 65 73 mbda (). (tes
1750: 74 2d 62 65 67 69 6e 20 22 61 22 29 0a 20 20 20 t-begin "a").
1760: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 62 (test-assert "b
1770: 22 20 23 74 29 0a 20 20 20 20 28 74 65 73 74 2d " #t). (test-
1780: 65 6e 64 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 end))))..(test-e
1790: 71 75 61 6c 0a 20 22 33 2e 32 2e 20 74 65 73 74 qual. "3.2. test
17a0: 2d 62 65 67 69 6e 20 77 69 74 68 20 6e 61 6d 65 -begin with name
17b0: 2d 6d 61 74 63 68 69 6e 67 20 74 65 73 74 2d 65 -matching test-e
17c0: 6e 64 22 0a 20 27 28 28 22 62 22 29 20 28 29 20 nd". '(("b") ()
17d0: 28 29 20 28 29 20 28 29 20 28 31 20 30 20 30 20 () () () (1 0 0
17e0: 30 20 30 29 29 0a 20 28 74 72 69 76 2d 72 75 6e 0 0)). (triv-run
17f0: 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 20 28 29 ner. (lambda ()
1800: 0a 20 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e . (test-begin
1810: 20 22 61 22 29 0a 20 20 20 20 28 74 65 73 74 2d "a"). (test-
1820: 61 73 73 65 72 74 20 22 62 22 20 23 74 29 0a 20 assert "b" #t).
1830: 20 20 20 28 74 65 73 74 2d 65 6e 64 20 22 61 22 (test-end "a"
1840: 29 29 29 29 0a 0a 3b 3b 3b 20 73 69 6e 63 65 20 ))))..;;; since
1850: 74 68 65 20 65 72 72 6f 72 20 72 61 69 73 65 64 the error raised
1860: 20 62 79 20 60 74 65 73 74 2d 65 6e 64 27 20 6f by `test-end' o
1870: 6e 20 61 20 6d 69 73 6d 61 74 63 68 20 69 73 20 n a mismatch is
1880: 6e 6f 74 20 61 20 74 65 73 74 0a 3b 3b 3b 20 65 not a test.;;; e
1890: 72 72 6f 72 2c 20 77 65 20 61 63 74 75 61 6c 6c rror, we actuall
18a0: 79 20 65 78 70 65 63 74 20 74 68 65 20 74 72 69 y expect the tri
18b0: 76 2d 72 75 6e 6e 65 72 20 69 74 73 65 6c 66 20 v-runner itself
18c0: 74 6f 20 66 61 69 6c 0a 0a 28 74 65 73 74 2d 65 to fail..(test-e
18d0: 72 72 6f 72 0a 20 22 33 2e 33 2e 20 74 65 73 74 rror. "3.3. test
18e0: 2d 62 65 67 69 6e 20 77 69 74 68 20 6d 69 73 6d -begin with mism
18f0: 61 74 63 68 65 64 20 74 65 73 74 2d 65 6e 64 22 atched test-end"
1900: 0a 23 74 0a 20 28 74 72 69 76 2d 72 75 6e 6e 65 .#t. (triv-runne
1910: 72 0a 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 r. (lambda ().
1920: 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e 20 22 (test-begin "
1930: 61 22 29 0a 20 20 20 20 28 74 65 73 74 2d 61 73 a"). (test-as
1940: 73 65 72 74 20 22 62 22 20 23 74 29 0a 20 20 20 sert "b" #t).
1950: 20 28 74 65 73 74 2d 65 6e 64 20 22 78 22 29 29 (test-end "x"))
1960: 29 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a ))..(test-equal.
1970: 20 22 33 2e 34 2e 20 74 65 73 74 2d 62 65 67 69 "3.4. test-begi
1980: 6e 20 77 69 74 68 20 6e 61 6d 65 20 61 6e 64 20 n with name and
1990: 63 6f 75 6e 74 22 0a 20 27 28 28 22 62 22 20 22 count". '(("b" "
19a0: 63 22 29 20 28 29 20 28 29 20 28 29 20 28 29 20 c") () () () ()
19b0: 28 32 20 30 20 30 20 30 20 30 29 29 0a 20 28 74 (2 0 0 0 0)). (t
19c0: 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 28 6c 61 riv-runner. (la
19d0: 6d 62 64 61 20 28 29 0a 20 20 20 20 28 74 65 73 mbda (). (tes
19e0: 74 2d 62 65 67 69 6e 20 22 61 22 20 32 29 0a 20 t-begin "a" 2).
19f0: 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 (test-assert
1a00: 22 62 22 20 23 74 29 0a 20 20 20 20 28 74 65 73 "b" #t). (tes
1a10: 74 2d 61 73 73 65 72 74 20 22 63 22 20 23 74 29 t-assert "c" #t)
1a20: 0a 20 20 20 20 28 74 65 73 74 2d 65 6e 64 20 22 . (test-end "
1a30: 61 22 29 29 29 29 0a 0a 3b 3b 20 73 69 6d 69 6c a"))))..;; simil
1a40: 61 72 6c 79 20 68 65 72 65 2c 20 61 20 6d 69 73 arly here, a mis
1a50: 6d 61 74 63 68 65 64 20 63 6f 75 6e 74 20 69 73 matched count is
1a60: 20 61 20 6c 65 78 69 63 61 6c 20 65 72 72 6f 72 a lexical error
1a70: 0a 3b 3b 20 61 6e 64 20 6e 6f 74 20 61 20 74 65 .;; and not a te
1a80: 73 74 20 66 61 69 6c 75 72 65 2e 2e 2e 0a 0a 28 st failure.....(
1a90: 74 65 73 74 2d 65 72 72 6f 72 0a 20 22 33 2e 35 test-error. "3.5
1aa0: 2e 20 74 65 73 74 2d 62 65 67 69 6e 20 77 69 74 . test-begin wit
1ab0: 68 20 6d 69 73 6d 61 74 63 68 65 64 20 63 6f 75 h mismatched cou
1ac0: 6e 74 22 0a 20 23 74 0a 20 28 74 72 69 76 2d 72 nt". #t. (triv-r
1ad0: 75 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 20 unner. (lambda
1ae0: 28 29 0a 20 20 20 20 28 74 65 73 74 2d 62 65 67 (). (test-beg
1af0: 69 6e 20 22 61 22 20 39 39 29 0a 20 20 20 20 28 in "a" 99). (
1b00: 74 65 73 74 2d 61 73 73 65 72 74 20 22 62 22 20 test-assert "b"
1b10: 23 74 29 0a 20 20 20 20 28 74 65 73 74 2d 65 6e #t). (test-en
1b20: 64 20 22 61 22 29 29 29 29 0a 0a 28 74 65 73 74 d "a"))))..(test
1b30: 2d 65 71 75 61 6c 0a 20 22 33 2e 36 2e 20 69 6e -equal. "3.6. in
1b40: 74 72 6f 73 70 65 63 74 69 6e 67 20 6f 6e 20 74 trospecting on t
1b50: 68 65 20 67 72 6f 75 70 20 70 61 74 68 22 0a 20 he group path".
1b60: 27 28 28 28 29 20 22 77 22 29 0a 20 20 20 28 28 '((() "w"). ((
1b70: 22 61 22 20 22 62 22 29 20 22 78 22 29 0a 20 20 "a" "b") "x").
1b80: 20 28 28 22 61 22 20 22 62 22 29 20 22 79 22 29 (("a" "b") "y")
1b90: 0a 20 20 20 28 28 22 61 22 29 20 22 7a 22 29 29 . (("a") "z"))
1ba0: 0a 20 3b 3b 0a 20 3b 3b 20 20 60 70 61 74 68 2d . ;;. ;; `path-
1bb0: 72 65 76 65 61 6c 69 6e 67 2d 72 75 6e 6e 65 72 revealing-runner
1bc0: 27 20 69 73 20 64 65 73 69 67 6e 65 64 20 74 6f ' is designed to
1bd0: 20 72 65 74 75 72 6e 20 61 20 6c 69 73 74 0a 20 return a list.
1be0: 3b 3b 20 20 6f 66 20 74 68 65 20 74 65 73 74 73 ;; of the tests
1bf0: 20 65 78 65 63 75 74 65 64 2c 20 69 6e 20 6f 72 executed, in or
1c00: 64 65 72 2e 20 20 45 61 63 68 20 65 6e 74 72 79 der. Each entry
1c10: 20 69 73 20 61 20 6c 69 73 74 0a 20 3b 3b 20 20 is a list. ;;
1c20: 28 47 52 4f 55 50 2d 50 41 54 48 20 54 45 53 54 (GROUP-PATH TEST
1c30: 2d 4e 41 4d 45 29 2c 20 61 6e 64 20 65 61 63 68 -NAME), and each
1c40: 20 47 52 4f 55 50 2d 50 41 54 48 20 69 73 20 61 GROUP-PATH is a
1c50: 20 6c 69 73 74 0a 20 3b 3b 20 20 6f 66 20 74 65 list. ;; of te
1c60: 73 74 20 67 72 6f 75 70 73 20 73 74 61 72 74 69 st groups starti
1c70: 6e 67 20 66 72 6f 6d 20 74 68 65 20 74 6f 70 6d ng from the topm
1c80: 6f 73 74 0a 20 3b 3b 0a 20 28 70 61 74 68 2d 72 ost. ;;. (path-r
1c90: 65 76 65 61 6c 69 6e 67 2d 72 75 6e 6e 65 72 0a evealing-runner.
1ca0: 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 (lambda ().
1cb0: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 77 (test-assert "w
1cc0: 22 20 23 74 29 0a 20 20 20 20 28 74 65 73 74 2d " #t). (test-
1cd0: 62 65 67 69 6e 20 22 61 22 29 0a 20 20 20 20 28 begin "a"). (
1ce0: 74 65 73 74 2d 62 65 67 69 6e 20 22 62 22 29 0a test-begin "b").
1cf0: 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 (test-assert
1d00: 20 22 78 22 20 23 74 29 0a 20 20 20 20 28 74 65 "x" #t). (te
1d10: 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 23 74 st-assert "y" #t
1d20: 29 0a 20 20 20 20 28 74 65 73 74 2d 65 6e 64 29 ). (test-end)
1d30: 0a 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 . (test-asser
1d40: 74 20 22 7a 22 20 23 74 29 29 29 29 0a 0a 0a 28 t "z" #t))))...(
1d50: 74 65 73 74 2d 65 6e 64 20 22 33 2e 20 54 65 73 test-end "3. Tes
1d60: 74 20 67 72 6f 75 70 73 20 61 6e 64 20 70 61 74 t groups and pat
1d70: 68 73 22 29 0a 0a 3b 3b 3b 0a 3b 3b 3b 0a 3b 3b hs")..;;;.;;;.;;
1d80: 3b 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 ;..(test-begin "
1d90: 34 2e 20 48 61 6e 64 6c 69 6e 67 20 73 65 74 2d 4. Handling set-
1da0: 75 70 20 61 6e 64 20 63 6c 65 61 6e 75 70 22 29 up and cleanup")
1db0: 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 22 34 ..(test-equal "4
1dc0: 2e 31 2e 20 4e 6f 72 6d 61 6c 20 65 78 69 74 20 .1. Normal exit
1dd0: 70 61 74 68 22 0a 20 20 20 20 20 20 20 20 20 20 path".
1de0: 20 20 20 27 28 69 6e 20 31 20 32 20 6f 75 74 29 '(in 1 2 out)
1df0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c . (l
1e00: 65 74 20 28 28 65 78 20 27 28 29 29 29 0a 20 20 et ((ex '())).
1e10: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 64 65 (de
1e20: 66 69 6e 65 20 28 64 6f 20 73 29 0a 20 20 20 20 fine (do s).
1e30: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 73 65 (se
1e40: 74 21 20 65 78 20 28 63 6f 6e 73 20 73 20 65 78 t! ex (cons s ex
1e50: 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ))).
1e60: 20 20 20 3b 3b 0a 20 20 20 20 20 20 20 20 20 20 ;;.
1e70: 20 20 20 20 20 28 74 72 69 76 2d 72 75 6e 6e 65 (triv-runne
1e80: 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 r.
1e90: 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 (lambda ().
1ea0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1eb0: 74 65 73 74 2d 67 72 6f 75 70 2d 77 69 74 68 2d test-group-with-
1ec0: 63 6c 65 61 6e 75 70 0a 20 20 20 20 20 20 20 20 cleanup.
1ed0: 20 20 20 20 20 20 20 20 20 20 20 22 66 6f 6f 22 "foo"
1ee0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1ef0: 20 20 20 20 28 64 6f 20 27 69 6e 29 0a 20 20 20 (do 'in).
1f00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1f10: 28 64 6f 20 31 29 0a 20 20 20 20 20 20 20 20 20 (do 1).
1f20: 20 20 20 20 20 20 20 20 20 20 28 64 6f 20 32 29 (do 2)
1f30: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1f40: 20 20 20 20 28 64 6f 20 27 6f 75 74 29 29 29 29 (do 'out))))
1f50: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1f60: 28 72 65 76 65 72 73 65 20 65 78 29 29 29 0a 20 (reverse ex))).
1f70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 28 .(
1f80: 74 65 73 74 2d 65 71 75 61 6c 20 22 34 2e 32 2e test-equal "4.2.
1f90: 20 45 78 63 65 70 74 69 6f 6e 20 65 78 69 74 20 Exception exit
1fa0: 70 61 74 68 22 0a 20 20 20 20 20 20 20 20 20 20 path".
1fb0: 20 20 20 27 28 69 6e 20 31 20 6f 75 74 29 0a 20 '(in 1 out).
1fc0: 20 20 20 20 20 20 20 20 20 20 20 20 28 6c 65 74 (let
1fd0: 20 28 28 65 78 20 27 28 29 29 29 0a 20 20 20 20 ((ex '())).
1fe0: 20 20 20 20 20 20 20 20 20 20 20 28 64 65 66 69 (defi
1ff0: 6e 65 20 28 64 6f 20 73 29 0a 20 20 20 20 20 20 ne (do s).
2000: 20 20 20 20 20 20 20 20 20 20 20 28 73 65 74 21 (set!
2010: 20 65 78 20 28 63 6f 6e 73 20 73 20 65 78 29 29 ex (cons s ex))
2020: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
2030: 20 3b 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 ;;.
2040: 20 20 20 3b 3b 20 74 68 65 20 6f 75 74 65 72 20 ;; the outer
2050: 72 75 6e 6e 65 72 20 69 73 20 74 6f 20 72 75 6e runner is to run
2060: 20 74 68 65 20 60 74 65 73 74 2d 65 72 72 6f 72 the `test-error
2070: 27 20 69 6e 2c 20 74 6f 0a 20 20 20 20 20 20 20 ' in, to.
2080: 20 20 20 20 20 20 20 20 3b 3b 20 63 61 74 63 68 ;; catch
2090: 20 74 68 65 20 65 78 63 65 70 74 69 6f 6e 20 72 the exception r
20a0: 61 69 73 65 64 20 69 6e 20 74 68 65 20 69 6e 6e aised in the inn
20b0: 65 72 20 72 75 6e 6e 65 72 2c 0a 20 20 20 20 20 er runner,.
20c0: 20 20 20 20 20 20 20 20 20 20 3b 3b 20 73 69 6e ;; sin
20d0: 63 65 20 77 65 20 64 6f 6e 27 74 20 77 61 6e 74 ce we don't want
20e0: 20 74 6f 20 64 65 70 65 6e 64 20 6f 6e 20 61 6e to depend on an
20f0: 79 20 6f 74 68 65 72 0a 20 20 20 20 20 20 20 20 y other.
2100: 20 20 20 20 20 20 20 3b 3b 20 65 78 63 65 70 74 ;; except
2110: 69 6f 6e 2d 63 61 74 63 68 69 6e 67 20 73 75 70 ion-catching sup
2120: 70 6f 72 74 0a 20 20 20 20 20 20 20 20 20 20 20 port.
2130: 20 20 20 20 3b 3b 0a 20 20 20 20 20 20 20 20 20 ;;.
2140: 20 20 20 20 20 20 28 74 72 69 76 2d 72 75 6e 6e (triv-runn
2150: 65 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 er.
2160: 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 (lambda ().
2170: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2180: 28 74 65 73 74 2d 65 72 72 6f 72 0a 20 20 20 20 (test-error.
2190: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
21a0: 74 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 20 triv-runner.
21b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
21c0: 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 (lambda ().
21d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
21e0: 20 28 74 65 73 74 2d 67 72 6f 75 70 2d 77 69 74 (test-group-wit
21f0: 68 2d 63 6c 65 61 6e 75 70 0a 20 20 20 20 20 20 h-cleanup.
2200: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2210: 20 22 66 6f 6f 22 0a 20 20 20 20 20 20 20 20 20 "foo".
2220: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 64 (d
2230: 6f 20 27 69 6e 29 20 28 74 65 73 74 2d 61 73 73 o 'in) (test-ass
2240: 65 72 74 20 23 74 29 0a 20 20 20 20 20 20 20 20 ert #t).
2250: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2260: 64 6f 20 31 29 20 20 20 28 74 65 73 74 2d 61 73 do 1) (test-as
2270: 73 65 72 74 20 23 74 29 0a 20 20 20 20 20 20 20 sert #t).
2280: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2290: 28 63 68 6f 6b 65 29 20 20 28 74 65 73 74 2d 61 (choke) (test-a
22a0: 73 73 65 72 74 20 23 74 29 0a 20 20 20 20 20 20 ssert #t).
22b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
22c0: 20 28 64 6f 20 32 29 20 20 20 28 74 65 73 74 2d (do 2) (test-
22d0: 61 73 73 65 72 74 20 23 74 29 0a 20 20 20 20 20 assert #t).
22e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
22f0: 20 20 28 64 6f 20 27 6f 75 74 29 29 29 29 29 29 (do 'out))))))
2300: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
2310: 20 28 72 65 76 65 72 73 65 20 65 78 29 29 29 0a (reverse ex))).
2320: 0a 28 74 65 73 74 2d 65 6e 64 20 22 34 2e 20 48 .(test-end "4. H
2330: 61 6e 64 6c 69 6e 67 20 73 65 74 2d 75 70 20 61 andling set-up a
2340: 6e 64 20 63 6c 65 61 6e 75 70 22 29 0a 0a 3b 3b nd cleanup")..;;
2350: 3b 0a 3b 3b 3b 0a 3b 3b 3b 0a 0a 28 74 65 73 74 ;.;;;.;;;..(test
2360: 2d 62 65 67 69 6e 20 22 35 2e 20 54 65 73 74 20 -begin "5. Test
2370: 73 70 65 63 69 66 69 65 72 73 22 29 0a 0a 28 74 specifiers")..(t
2380: 65 73 74 2d 62 65 67 69 6e 20 22 35 2e 31 2e 20 est-begin "5.1.
2390: 74 65 73 74 2d 6d 61 74 63 68 2d 6e 61 6d 65 64 test-match-named
23a0: 22 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 ")..(test-equal
23b0: 22 35 2e 31 2e 31 2e 20 6d 61 74 63 68 20 74 65 "5.1.1. match te
23c0: 73 74 20 6e 61 6d 65 73 22 0a 20 20 20 20 20 20 st names".
23d0: 20 20 20 20 20 20 27 28 28 22 79 22 29 20 28 29 '(("y") ()
23e0: 20 28 29 20 28 29 20 28 22 78 22 29 20 28 31 20 () () ("x") (1
23f0: 30 20 30 20 30 20 31 29 29 0a 20 20 20 20 20 20 0 0 0 1)).
2400: 20 20 20 20 20 20 28 74 72 69 76 2d 72 75 6e 6e (triv-runn
2410: 65 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 er.
2420: 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 (lambda ().
2430: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
2440: 73 6b 69 70 20 28 74 65 73 74 2d 6d 61 74 63 68 skip (test-match
2450: 2d 6e 61 6d 65 20 22 78 22 29 29 0a 20 20 20 20 -name "x")).
2460: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
2470: 2d 61 73 73 65 72 74 20 22 78 22 20 23 74 29 0a -assert "x" #t).
2480: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2490: 74 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 test-assert "y"
24a0: 23 74 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 71 #t))))..(test-eq
24b0: 75 61 6c 20 22 35 2e 31 2e 32 2e 20 62 75 74 20 ual "5.1.2. but
24c0: 6e 6f 74 20 67 72 6f 75 70 20 6e 61 6d 65 73 22 not group names"
24d0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 27 28 28 . '((
24e0: 22 7a 22 29 20 28 29 20 28 29 20 28 29 20 28 29 "z") () () () ()
24f0: 20 28 31 20 30 20 30 20 30 20 30 29 29 0a 20 20 (1 0 0 0 0)).
2500: 20 20 20 20 20 20 20 20 20 20 28 74 72 69 76 2d (triv-
2510: 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 20 20 20 runner.
2520: 20 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 (lambda ().
2530: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
2540: 65 73 74 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d est-skip (test-m
2550: 61 74 63 68 2d 6e 61 6d 65 20 22 78 22 29 29 0a atch-name "x")).
2560: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2570: 74 65 73 74 2d 62 65 67 69 6e 20 22 78 22 29 0a test-begin "x").
2580: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2590: 74 65 73 74 2d 61 73 73 65 72 74 20 22 7a 22 20 test-assert "z"
25a0: 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 #t).
25b0: 20 20 20 28 74 65 73 74 2d 65 6e 64 29 29 29 29 (test-end))))
25c0: 0a 0a 28 74 65 73 74 2d 65 6e 64 29 0a 0a 28 74 ..(test-end)..(t
25d0: 65 73 74 2d 62 65 67 69 6e 20 22 35 2e 32 2e 20 est-begin "5.2.
25e0: 74 65 73 74 2d 6d 61 74 63 68 2d 6e 74 68 22 29 test-match-nth")
25f0: 0a 3b 3b 20 53 65 65 20 61 6c 73 6f 3a 20 5b 36 .;; See also: [6
2600: 2e 34 2e 20 53 68 6f 72 74 2d 63 69 72 63 75 69 .4. Short-circui
2610: 74 20 65 76 61 6c 75 61 74 69 6f 6e 5d 0a 0a 28 t evaluation]..(
2620: 74 65 73 74 2d 65 71 75 61 6c 20 22 35 2e 32 2e test-equal "5.2.
2630: 31 2e 20 73 6b 69 70 20 74 68 65 20 6e 74 68 20 1. skip the nth
2640: 6f 6e 65 20 61 66 74 65 72 22 0a 20 20 20 20 20 one after".
2650: 20 20 20 20 20 20 20 27 28 28 22 76 22 20 22 77 '(("v" "w
2660: 22 20 22 79 22 20 22 7a 22 29 20 28 29 20 28 29 " "y" "z") () ()
2670: 20 28 29 20 28 22 78 22 29 20 28 34 20 30 20 30 () ("x") (4 0 0
2680: 20 30 20 31 29 29 0a 20 20 20 20 20 20 20 20 20 0 1)).
2690: 20 20 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a (triv-runner.
26a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c 61 (la
26b0: 6d 62 64 61 20 28 29 0a 20 20 20 20 20 20 20 20 mbda ().
26c0: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
26d0: 65 72 74 20 22 76 22 20 23 74 29 0a 20 20 20 20 ert "v" #t).
26e0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
26f0: 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d 61 74 63 -skip (test-matc
2700: 68 2d 6e 74 68 20 32 29 29 0a 20 20 20 20 20 20 h-nth 2)).
2710: 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 (test-a
2720: 73 73 65 72 74 20 22 77 22 20 23 74 29 20 20 20 ssert "w" #t)
2730: 20 20 20 20 20 20 20 20 20 20 3b 20 31 0a 20 20 ; 1.
2740: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
2750: 73 74 2d 61 73 73 65 72 74 20 22 78 22 20 23 74 st-assert "x" #t
2760: 29 20 20 20 20 20 20 20 20 20 20 20 20 20 3b 20 ) ;
2770: 32 20 53 4b 49 50 0a 20 20 20 20 20 20 20 20 20 2 SKIP.
2780: 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 (test-asse
2790: 72 74 20 22 79 22 20 23 74 29 20 20 20 20 20 20 rt "y" #t)
27a0: 20 20 20 20 20 20 20 3b 20 33 0a 20 20 20 20 20 ; 3.
27b0: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
27c0: 61 73 73 65 72 74 20 22 7a 22 20 23 74 29 29 29 assert "z" #t)))
27d0: 29 20 20 20 20 20 20 20 20 20 20 3b 20 34 0a 0a ) ; 4..
27e0: 28 74 65 73 74 2d 65 71 75 61 6c 20 22 35 2e 32 (test-equal "5.2
27f0: 2e 32 2e 20 73 6b 69 70 20 6d 2c 20 73 74 61 72 .2. skip m, star
2800: 74 69 6e 67 20 61 74 20 6e 22 0a 20 20 20 20 20 ting at n".
2810: 20 20 20 20 20 20 20 27 28 28 22 76 22 20 22 77 '(("v" "w
2820: 22 20 22 7a 22 29 20 28 29 20 28 29 20 28 29 20 " "z") () () ()
2830: 28 22 78 22 20 22 79 22 29 20 28 33 20 30 20 30 ("x" "y") (3 0 0
2840: 20 30 20 32 29 29 0a 20 20 20 20 20 20 20 20 20 0 2)).
2850: 20 20 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a (triv-runner.
2860: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c 61 (la
2870: 6d 62 64 61 20 28 29 0a 20 20 20 20 20 20 20 20 mbda ().
2880: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
2890: 65 72 74 20 22 76 22 20 23 74 29 0a 20 20 20 20 ert "v" #t).
28a0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
28b0: 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d 61 74 63 -skip (test-matc
28c0: 68 2d 6e 74 68 20 32 20 32 29 29 0a 20 20 20 20 h-nth 2 2)).
28d0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
28e0: 2d 61 73 73 65 72 74 20 22 77 22 20 23 74 29 20 -assert "w" #t)
28f0: 20 20 20 20 20 20 20 20 20 20 20 20 3b 20 31 0a ; 1.
2900: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2910: 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 22 20 test-assert "x"
2920: 23 74 29 20 20 20 20 20 20 20 20 20 20 20 20 20 #t)
2930: 3b 20 32 20 53 4b 49 50 0a 20 20 20 20 20 20 20 ; 2 SKIP.
2940: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 (test-as
2950: 73 65 72 74 20 22 79 22 20 23 74 29 20 20 20 20 sert "y" #t)
2960: 20 20 20 20 20 20 20 20 20 3b 20 33 20 53 4b 49 ; 3 SKI
2970: 50 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 P.
2980: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 7a (test-assert "z
2990: 22 20 23 74 29 29 29 29 20 20 20 20 20 20 20 20 " #t))))
29a0: 20 20 3b 20 34 0a 0a 28 74 65 73 74 2d 65 6e 64 ; 4..(test-end
29b0: 29 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 )..(test-begin "
29c0: 35 2e 33 2e 20 74 65 73 74 2d 6d 61 74 63 68 2d 5.3. test-match-
29d0: 61 6e 79 22 29 0a 28 74 65 73 74 2d 65 71 75 61 any").(test-equa
29e0: 6c 20 22 35 2e 33 2e 31 2e 20 62 61 73 69 63 20 l "5.3.1. basic
29f0: 64 69 73 6a 75 6e 63 74 69 6f 6e 22 0a 20 20 20 disjunction".
2a00: 20 20 20 20 20 20 20 20 20 27 28 28 22 76 22 20 '(("v"
2a10: 22 77 22 20 22 7a 22 29 20 28 29 20 28 29 20 28 "w" "z") () () (
2a20: 29 20 28 22 78 22 20 22 79 22 29 20 28 33 20 30 ) ("x" "y") (3 0
2a30: 20 30 20 30 20 32 29 29 0a 20 20 20 20 20 20 20 0 0 2)).
2a40: 20 20 20 20 20 28 74 72 69 76 2d 72 75 6e 6e 65 (triv-runne
2a50: 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28 r. (
2a60: 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 20 lambda ().
2a70: 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 (test-a
2a80: 73 73 65 72 74 20 22 76 22 20 23 74 29 0a 20 20 ssert "v" #t).
2a90: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
2aa0: 73 74 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d 61 st-skip (test-ma
2ab0: 74 63 68 2d 61 6e 79 20 28 74 65 73 74 2d 6d 61 tch-any (test-ma
2ac0: 74 63 68 2d 6e 74 68 20 33 29 0a 20 20 20 20 20 tch-nth 3).
2ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2ae0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2af0: 20 20 20 20 20 28 74 65 73 74 2d 6d 61 74 63 68 (test-match
2b00: 2d 6e 61 6d 65 20 22 78 22 29 29 29 0a 20 20 20 -name "x"))).
2b10: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
2b20: 74 2d 61 73 73 65 72 74 20 22 77 22 20 23 74 29 t-assert "w" #t)
2b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 3b 20 31 ; 1
2b40: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
2b50: 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 22 (test-assert "x"
2b60: 20 23 74 29 20 20 20 20 20 20 20 20 20 20 20 20 #t)
2b70: 20 3b 20 32 20 53 4b 49 50 28 4e 41 4d 45 29 0a ; 2 SKIP(NAME).
2b80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2b90: 74 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 test-assert "y"
2ba0: 23 74 29 20 20 20 20 20 20 20 20 20 20 20 20 20 #t)
2bb0: 3b 20 33 20 53 4b 49 50 28 43 4f 55 4e 54 29 0a ; 3 SKIP(COUNT).
2bc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2bd0: 74 65 73 74 2d 61 73 73 65 72 74 20 22 7a 22 20 test-assert "z"
2be0: 23 74 29 29 29 29 20 20 20 20 20 20 20 20 20 20 #t))))
2bf0: 3b 20 34 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c ; 4..(test-equal
2c00: 20 22 35 2e 33 2e 32 2e 20 64 69 73 6a 75 6e 63 "5.3.2. disjunc
2c10: 74 69 6f 6e 20 69 73 20 63 6f 6d 6d 75 74 61 74 tion is commutat
2c20: 69 76 65 22 0a 20 20 20 20 20 20 20 20 20 20 20 ive".
2c30: 20 27 28 28 22 76 22 20 22 77 22 20 22 7a 22 29 '(("v" "w" "z")
2c40: 20 28 29 20 28 29 20 28 29 20 28 22 78 22 20 22 () () () ("x" "
2c50: 79 22 29 20 28 33 20 30 20 30 20 30 20 32 29 29 y") (3 0 0 0 2))
2c60: 0a 20 20 20 20 20 20 20 20 20 20 20 20 28 74 72 . (tr
2c70: 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 iv-runner.
2c80: 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 (lambda (
2c90: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
2ca0: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 76 (test-assert "v
2cb0: 22 20 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 " #t).
2cc0: 20 20 20 20 20 28 74 65 73 74 2d 73 6b 69 70 20 (test-skip
2cd0: 28 74 65 73 74 2d 6d 61 74 63 68 2d 61 6e 79 20 (test-match-any
2ce0: 28 74 65 73 74 2d 6d 61 74 63 68 2d 6e 61 6d 65 (test-match-name
2cf0: 20 22 78 22 29 0a 20 20 20 20 20 20 20 20 20 20 "x").
2d00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2d10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2d20: 28 74 65 73 74 2d 6d 61 74 63 68 2d 6e 74 68 20 (test-match-nth
2d30: 33 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 3))).
2d40: 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 (test-assert
2d50: 20 22 77 22 20 23 74 29 20 20 20 20 20 20 20 20 "w" #t)
2d60: 20 20 20 20 20 3b 20 31 0a 20 20 20 20 20 20 20 ; 1.
2d70: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 (test-as
2d80: 73 65 72 74 20 22 78 22 20 23 74 29 20 20 20 20 sert "x" #t)
2d90: 20 20 20 20 20 20 20 20 20 3b 20 32 20 53 4b 49 ; 2 SKI
2da0: 50 28 4e 41 4d 45 29 0a 20 20 20 20 20 20 20 20 P(NAME).
2db0: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
2dc0: 65 72 74 20 22 79 22 20 23 74 29 20 20 20 20 20 ert "y" #t)
2dd0: 20 20 20 20 20 20 20 20 3b 20 33 20 53 4b 49 50 ; 3 SKIP
2de0: 28 43 4f 55 4e 54 29 0a 20 20 20 20 20 20 20 20 (COUNT).
2df0: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
2e00: 65 72 74 20 22 7a 22 20 23 74 29 29 29 29 20 20 ert "z" #t))))
2e10: 20 20 20 20 20 20 20 20 3b 20 34 0a 0a 28 74 65 ; 4..(te
2e20: 73 74 2d 65 6e 64 29 0a 0a 28 74 65 73 74 2d 62 st-end)..(test-b
2e30: 65 67 69 6e 20 22 35 2e 34 2e 20 74 65 73 74 2d egin "5.4. test-
2e40: 6d 61 74 63 68 2d 61 6c 6c 22 29 0a 28 74 65 73 match-all").(tes
2e50: 74 2d 65 71 75 61 6c 20 22 35 2e 34 2e 31 2e 20 t-equal "5.4.1.
2e60: 62 61 73 69 63 20 63 6f 6e 6a 75 6e 63 74 69 6f basic conjunctio
2e70: 6e 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 27 n". '
2e80: 28 28 22 76 22 20 22 77 22 20 22 79 22 20 22 7a (("v" "w" "y" "z
2e90: 22 29 20 28 29 20 28 29 20 28 29 20 28 22 78 22 ") () () () ("x"
2ea0: 29 20 28 34 20 30 20 30 20 30 20 31 29 29 0a 20 ) (4 0 0 0 1)).
2eb0: 20 20 20 20 20 20 20 20 20 20 20 28 74 72 69 76 (triv
2ec0: 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 20 20 -runner.
2ed0: 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a (lambda ().
2ee0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
2ef0: 74 65 73 74 2d 61 73 73 65 72 74 20 22 76 22 20 test-assert "v"
2f00: 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 #t).
2f10: 20 20 20 28 74 65 73 74 2d 73 6b 69 70 20 28 74 (test-skip (t
2f20: 65 73 74 2d 6d 61 74 63 68 2d 61 6c 6c 20 28 74 est-match-all (t
2f30: 65 73 74 2d 6d 61 74 63 68 2d 6e 74 68 20 32 20 est-match-nth 2
2f40: 32 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 2).
2f50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2f60: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
2f70: 73 74 2d 6d 61 74 63 68 2d 6e 61 6d 65 20 22 78 st-match-name "x
2f80: 22 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 "))).
2f90: 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 (test-assert
2fa0: 20 22 77 22 20 23 74 29 20 20 20 20 20 20 20 20 "w" #t)
2fb0: 20 20 20 20 20 3b 20 31 0a 20 20 20 20 20 20 20 ; 1.
2fc0: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 (test-as
2fd0: 73 65 72 74 20 22 78 22 20 23 74 29 20 20 20 20 sert "x" #t)
2fe0: 20 20 20 20 20 20 20 20 20 3b 20 32 20 53 4b 49 ; 2 SKI
2ff0: 50 28 4e 41 4d 45 29 20 26 20 53 4b 49 50 28 43 P(NAME) & SKIP(C
3000: 4f 55 4e 54 29 0a 20 20 20 20 20 20 20 20 20 20 OUNT).
3010: 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 (test-asser
3020: 74 20 22 79 22 20 23 74 29 20 20 20 20 20 20 20 t "y" #t)
3030: 20 20 20 20 20 20 3b 20 33 20 53 4b 49 50 28 43 ; 3 SKIP(C
3040: 4f 55 4e 54 29 0a 20 20 20 20 20 20 20 20 20 20 OUNT).
3050: 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 (test-asser
3060: 74 20 22 7a 22 20 23 74 29 29 29 29 20 20 20 20 t "z" #t))))
3070: 20 20 20 20 20 20 3b 20 34 0a 0a 28 74 65 73 74 ; 4..(test
3080: 2d 65 71 75 61 6c 20 22 35 2e 34 2e 32 2e 20 63 -equal "5.4.2. c
3090: 6f 6e 6a 75 6e 63 74 69 6f 6e 20 69 73 20 63 6f onjunction is co
30a0: 6d 6d 75 74 61 74 69 76 65 22 0a 20 20 20 20 20 mmutative".
30b0: 20 20 20 20 20 20 20 27 28 28 22 76 22 20 22 77 '(("v" "w
30c0: 22 20 22 79 22 20 22 7a 22 29 20 28 29 20 28 29 " "y" "z") () ()
30d0: 20 28 29 20 28 22 78 22 29 20 28 34 20 30 20 30 () ("x") (4 0 0
30e0: 20 30 20 31 29 29 0a 20 20 20 20 20 20 20 20 20 0 1)).
30f0: 20 20 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a (triv-runner.
3100: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c 61 (la
3110: 6d 62 64 61 20 28 29 0a 20 20 20 20 20 20 20 20 mbda ().
3120: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
3130: 65 72 74 20 22 76 22 20 23 74 29 0a 20 20 20 20 ert "v" #t).
3140: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
3150: 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d 61 74 63 -skip (test-matc
3160: 68 2d 61 6c 6c 20 28 74 65 73 74 2d 6d 61 74 63 h-all (test-matc
3170: 68 2d 6e 61 6d 65 20 22 78 22 29 0a 20 20 20 20 h-name "x").
3180: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3190: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
31a0: 20 20 20 20 20 20 28 74 65 73 74 2d 6d 61 74 63 (test-matc
31b0: 68 2d 6e 74 68 20 32 20 32 29 29 29 0a 20 20 20 h-nth 2 2))).
31c0: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
31d0: 74 2d 61 73 73 65 72 74 20 22 77 22 20 23 74 29 t-assert "w" #t)
31e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 3b 20 31 ; 1
31f0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
3200: 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 22 (test-assert "x"
3210: 20 23 74 29 20 20 20 20 20 20 20 20 20 20 20 20 #t)
3220: 20 3b 20 32 20 53 4b 49 50 28 4e 41 4d 45 29 20 ; 2 SKIP(NAME)
3230: 26 20 53 4b 49 50 28 43 4f 55 4e 54 29 0a 20 20 & SKIP(COUNT).
3240: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
3250: 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 23 74 st-assert "y" #t
3260: 29 20 20 20 20 20 20 20 20 20 20 20 20 20 3b 20 ) ;
3270: 33 20 53 4b 49 50 28 43 4f 55 4e 54 29 0a 20 20 3 SKIP(COUNT).
3280: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
3290: 73 74 2d 61 73 73 65 72 74 20 22 7a 22 20 23 74 st-assert "z" #t
32a0: 29 29 29 29 20 20 20 20 20 20 20 20 20 20 3b 20 )))) ;
32b0: 34 0a 0a 28 74 65 73 74 2d 65 6e 64 29 0a 0a 28 4..(test-end)..(
32c0: 74 65 73 74 2d 65 6e 64 20 22 35 2e 20 54 65 73 test-end "5. Tes
32d0: 74 20 73 70 65 63 69 66 69 65 72 73 22 29 0a 0a t specifiers")..
32e0: 3b 3b 3b 0a 3b 3b 3b 0a 3b 3b 3b 0a 0a 28 74 65 ;;;.;;;.;;;..(te
32f0: 73 74 2d 62 65 67 69 6e 20 22 36 2e 20 53 6b 69 st-begin "6. Ski
3300: 70 70 69 6e 67 20 73 65 6c 65 63 74 65 64 20 74 pping selected t
3310: 65 73 74 73 22 29 0a 0a 28 74 65 73 74 2d 65 71 ests")..(test-eq
3320: 75 61 6c 0a 20 22 36 2e 31 2e 20 53 6b 69 70 20 ual. "6.1. Skip
3330: 62 79 20 73 70 65 63 69 66 69 65 72 20 2d 20 6d by specifier - m
3340: 61 74 63 68 2d 6e 61 6d 65 22 0a 20 27 28 28 22 atch-name". '(("
3350: 78 22 29 20 28 29 20 28 29 20 28 29 20 28 22 79 x") () () () ("y
3360: 22 29 20 28 31 20 30 20 30 20 30 20 31 29 29 0a ") (1 0 0 0 1)).
3370: 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 (triv-runner.
3380: 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 28 (lambda (). (
3390: 74 65 73 74 2d 62 65 67 69 6e 20 22 61 22 29 0a test-begin "a").
33a0: 20 20 20 20 28 74 65 73 74 2d 73 6b 69 70 20 28 (test-skip (
33b0: 74 65 73 74 2d 6d 61 74 63 68 2d 6e 61 6d 65 20 test-match-name
33c0: 22 79 22 29 29 0a 20 20 20 20 28 74 65 73 74 2d "y")). (test-
33d0: 61 73 73 65 72 74 20 22 78 22 20 23 74 29 20 20 assert "x" #t)
33e0: 20 20 20 20 3b 20 50 41 53 53 0a 20 20 20 20 28 ; PASS. (
33f0: 74 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 test-assert "y"
3400: 23 66 29 20 20 20 20 20 20 3b 20 53 4b 49 50 0a #f) ; SKIP.
3410: 20 20 20 20 28 74 65 73 74 2d 65 6e 64 29 29 29 (test-end)))
3420: 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a 20 )..(test-equal.
3430: 22 36 2e 32 2e 20 53 68 6f 72 74 68 61 6e 64 20 "6.2. Shorthand
3440: 73 70 65 63 69 66 69 65 72 73 22 0a 20 27 28 28 specifiers". '((
3450: 22 78 22 29 20 28 29 20 28 29 20 28 29 20 28 22 "x") () () () ("
3460: 79 22 29 20 28 31 20 30 20 30 20 30 20 31 29 29 y") (1 0 0 0 1))
3470: 0a 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a 20 . (triv-runner.
3480: 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 (lambda ().
3490: 28 74 65 73 74 2d 62 65 67 69 6e 20 22 61 22 29 (test-begin "a")
34a0: 0a 20 20 20 20 28 74 65 73 74 2d 73 6b 69 70 20 . (test-skip
34b0: 22 79 22 29 0a 20 20 20 20 28 74 65 73 74 2d 61 "y"). (test-a
34c0: 73 73 65 72 74 20 22 78 22 20 23 74 29 20 20 20 ssert "x" #t)
34d0: 20 20 20 3b 20 50 41 53 53 0a 20 20 20 20 28 74 ; PASS. (t
34e0: 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 23 est-assert "y" #
34f0: 66 29 20 20 20 20 20 20 3b 20 53 4b 49 50 0a 20 f) ; SKIP.
3500: 20 20 20 28 74 65 73 74 2d 65 6e 64 29 29 29 29 (test-end))))
3510: 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 36 ..(test-begin "6
3520: 2e 33 2e 20 53 70 65 63 69 66 69 65 72 20 53 74 .3. Specifier St
3530: 61 63 6b 22 29 0a 0a 28 74 65 73 74 2d 65 71 75 ack")..(test-equ
3540: 61 6c 0a 20 22 36 2e 33 2e 31 2e 20 43 6c 65 61 al. "6.3.1. Clea
3550: 72 69 6e 67 20 74 68 65 20 53 70 65 63 69 66 69 ring the Specifi
3560: 65 72 20 53 74 61 63 6b 22 0a 20 27 28 28 22 78 er Stack". '(("x
3570: 22 20 22 78 22 29 20 28 22 79 22 29 20 28 29 20 " "x") ("y") ()
3580: 28 29 20 28 22 79 22 29 20 28 32 20 31 20 30 20 () ("y") (2 1 0
3590: 30 20 31 29 29 0a 20 28 74 72 69 76 2d 72 75 6e 0 1)). (triv-run
35a0: 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 20 28 29 ner. (lambda ()
35b0: 0a 20 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e . (test-begin
35c0: 20 22 61 22 29 0a 20 20 20 20 28 74 65 73 74 2d "a"). (test-
35d0: 73 6b 69 70 20 22 79 22 29 0a 20 20 20 20 28 74 skip "y"). (t
35e0: 65 73 74 2d 61 73 73 65 72 74 20 22 78 22 20 23 est-assert "x" #
35f0: 74 29 20 20 20 20 20 20 3b 20 50 41 53 53 0a 20 t) ; PASS.
3600: 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 (test-assert
3610: 22 79 22 20 23 66 29 20 20 20 20 20 20 3b 20 53 "y" #f) ; S
3620: 4b 49 50 0a 20 20 20 20 28 74 65 73 74 2d 65 6e KIP. (test-en
3630: 64 29 0a 20 20 20 20 28 74 65 73 74 2d 62 65 67 d). (test-beg
3640: 69 6e 20 22 62 22 29 0a 20 20 20 20 28 74 65 73 in "b"). (tes
3650: 74 2d 61 73 73 65 72 74 20 22 78 22 20 23 74 29 t-assert "x" #t)
3660: 20 20 20 20 20 20 3b 20 50 41 53 53 0a 20 20 20 ; PASS.
3670: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 79 (test-assert "y
3680: 22 20 23 66 29 20 20 20 20 20 20 3b 20 46 41 49 " #f) ; FAI
3690: 4c 0a 20 20 20 20 28 74 65 73 74 2d 65 6e 64 29 L. (test-end)
36a0: 29 29 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c )))..(test-equal
36b0: 0a 20 22 36 2e 33 2e 32 2e 20 49 6e 68 65 72 69 . "6.3.2. Inheri
36c0: 74 69 6e 67 20 74 68 65 20 53 70 65 63 69 66 69 ting the Specifi
36d0: 65 72 20 53 74 61 63 6b 22 0a 20 27 28 28 22 78 er Stack". '(("x
36e0: 22 20 22 78 22 29 20 28 29 20 28 29 20 28 29 20 " "x") () () ()
36f0: 28 22 79 22 20 22 79 22 29 20 28 32 20 30 20 30 ("y" "y") (2 0 0
3700: 20 30 20 32 29 29 0a 20 28 74 72 69 76 2d 72 75 0 2)). (triv-ru
3710: 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 20 28 nner. (lambda (
3720: 29 0a 20 20 20 20 28 74 65 73 74 2d 73 6b 69 70 ). (test-skip
3730: 20 22 79 22 29 0a 20 20 20 20 28 74 65 73 74 2d "y"). (test-
3740: 62 65 67 69 6e 20 22 61 22 29 0a 20 20 20 20 28 begin "a"). (
3750: 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 22 20 test-assert "x"
3760: 23 74 29 20 20 20 20 20 20 3b 20 50 41 53 53 0a #t) ; PASS.
3770: 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 (test-assert
3780: 20 22 79 22 20 23 66 29 20 20 20 20 20 20 3b 20 "y" #f) ;
3790: 53 4b 49 50 0a 20 20 20 20 28 74 65 73 74 2d 65 SKIP. (test-e
37a0: 6e 64 29 0a 20 20 20 20 28 74 65 73 74 2d 62 65 nd). (test-be
37b0: 67 69 6e 20 22 62 22 29 0a 20 20 20 20 28 74 65 gin "b"). (te
37c0: 73 74 2d 61 73 73 65 72 74 20 22 78 22 20 23 74 st-assert "x" #t
37d0: 29 20 20 20 20 20 20 3b 20 50 41 53 53 0a 20 20 ) ; PASS.
37e0: 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 (test-assert "
37f0: 79 22 20 23 66 29 20 20 20 20 20 20 3b 20 53 4b y" #f) ; SK
3800: 49 50 0a 20 20 20 20 28 74 65 73 74 2d 65 6e 64 IP. (test-end
3810: 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 6e 64 29 ))))..(test-end)
3820: 3b 36 2e 33 0a 0a 28 74 65 73 74 2d 62 65 67 69 ;6.3..(test-begi
3830: 6e 20 22 36 2e 34 2e 20 53 68 6f 72 74 2d 63 69 n "6.4. Short-ci
3840: 72 63 75 69 74 20 65 76 61 6c 75 61 74 69 6f 6e rcuit evaluation
3850: 22 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a ")..(test-equal.
3860: 20 22 36 2e 34 2e 31 2e 20 49 6e 20 74 65 73 74 "6.4.1. In test
3870: 2d 6d 61 74 63 68 2d 61 6c 6c 22 0a 20 27 28 28 -match-all". '((
3880: 22 78 22 29 20 28 22 79 22 20 22 78 22 20 22 7a "x") ("y" "x" "z
3890: 22 29 20 28 29 20 28 29 20 28 22 79 22 29 20 28 ") () () ("y") (
38a0: 31 20 33 20 30 20 30 20 31 29 29 0a 20 28 74 72 1 3 0 0 1)). (tr
38b0: 69 76 2d 72 75 6e 6e 65 72 0a 20 20 28 6c 61 6d iv-runner. (lam
38c0: 62 64 61 20 28 29 0a 20 20 20 20 28 74 65 73 74 bda (). (test
38d0: 2d 62 65 67 69 6e 20 22 61 22 29 0a 20 20 20 20 -begin "a").
38e0: 28 74 65 73 74 2d 73 6b 69 70 20 28 74 65 73 74 (test-skip (test
38f0: 2d 6d 61 74 63 68 2d 61 6c 6c 20 22 79 22 20 28 -match-all "y" (
3900: 74 65 73 74 2d 6d 61 74 63 68 2d 6e 74 68 20 32 test-match-nth 2
3910: 29 29 29 0a 20 20 20 20 3b 3b 20 6c 65 74 27 73 ))). ;; let's
3920: 20 6c 61 62 65 6c 20 74 68 65 20 73 75 62 73 74 label the subst
3930: 72 75 63 74 75 72 65 20 66 6f 72 6d 73 20 73 6f ructure forms so
3940: 20 77 65 20 63 61 6e 0a 20 20 20 20 3b 3b 20 73 we can. ;; s
3950: 65 65 20 77 68 69 63 68 20 6f 6e 65 20 60 74 65 ee which one `te
3960: 73 74 2d 6d 61 74 63 68 2d 6e 74 68 27 20 69 73 st-match-nth' is
3970: 20 67 6f 69 6e 67 20 74 6f 20 73 6b 69 70 0a 20 going to skip.
3980: 20 20 20 3b 3b 20 20 20 20 20 20 20 20 20 20 20 ;;
3990: 20 20 20 20 20 20 20 20 20 20 20 20 20 3b 20 23 ; #
39a0: 20 20 20 22 79 22 20 20 32 20 20 20 72 65 73 75 "y" 2 resu
39b0: 6c 74 0a 20 20 20 20 28 74 65 73 74 2d 61 73 73 lt. (test-ass
39c0: 65 72 74 20 22 78 22 20 23 74 29 20 20 20 20 20 ert "x" #t)
39d0: 20 3b 20 31 20 2d 20 23 66 20 20 20 23 66 20 20 ; 1 - #f #f
39e0: 50 41 53 53 20 20 20 0a 20 20 20 20 28 74 65 73 PASS . (tes
39f0: 74 2d 61 73 73 65 72 74 20 22 79 22 20 23 66 29 t-assert "y" #f)
3a00: 20 20 20 20 20 20 3b 20 32 20 2d 20 23 74 20 20 ; 2 - #t
3a10: 20 23 74 20 20 53 4b 49 50 20 0a 20 20 20 20 28 #t SKIP . (
3a20: 74 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 test-assert "y"
3a30: 23 66 29 20 20 20 20 20 20 3b 20 33 20 2d 20 23 #f) ; 3 - #
3a40: 74 20 20 20 23 66 20 20 46 41 49 4c 0a 20 20 20 t #f FAIL.
3a50: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 (test-assert "x
3a60: 22 20 23 66 29 20 20 20 20 20 20 3b 20 34 20 2d " #f) ; 4 -
3a70: 20 23 66 20 20 20 23 66 20 20 46 41 49 4c 0a 20 #f #f FAIL.
3a80: 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 (test-assert
3a90: 22 7a 22 20 23 66 29 20 20 20 20 20 20 3b 20 35 "z" #f) ; 5
3aa0: 20 2d 20 23 66 20 20 20 23 66 20 20 46 41 49 4c - #f #f FAIL
3ab0: 0a 20 20 20 20 28 74 65 73 74 2d 65 6e 64 29 29 . (test-end))
3ac0: 29 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a ))..(test-equal.
3ad0: 20 22 36 2e 34 2e 32 2e 20 49 6e 20 73 65 70 61 "6.4.2. In sepa
3ae0: 72 61 74 65 20 73 6b 69 70 2d 6c 69 73 74 20 65 rate skip-list e
3af0: 6e 74 72 69 65 73 22 0a 20 27 28 28 22 78 22 29 ntries". '(("x")
3b00: 20 28 22 78 22 20 22 7a 22 29 20 28 29 20 28 29 ("x" "z") () ()
3b10: 20 28 22 79 22 20 22 79 22 29 20 28 31 20 32 20 ("y" "y") (1 2
3b20: 30 20 30 20 32 29 29 0a 20 28 74 72 69 76 2d 72 0 0 2)). (triv-r
3b30: 75 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 20 unner. (lambda
3b40: 28 29 0a 20 20 20 20 28 74 65 73 74 2d 62 65 67 (). (test-beg
3b50: 69 6e 20 22 61 22 29 0a 20 20 20 20 28 74 65 73 in "a"). (tes
3b60: 74 2d 73 6b 69 70 20 22 79 22 29 0a 20 20 20 20 t-skip "y").
3b70: 28 74 65 73 74 2d 73 6b 69 70 20 28 74 65 73 74 (test-skip (test
3b80: 2d 6d 61 74 63 68 2d 6e 74 68 20 32 29 29 0a 20 -match-nth 2)).
3b90: 20 20 20 3b 3b 20 6c 65 74 27 73 20 6c 61 62 65 ;; let's labe
3ba0: 6c 20 74 68 65 20 73 75 62 73 74 72 75 63 74 75 l the substructu
3bb0: 72 65 20 66 6f 72 6d 73 20 73 6f 20 77 65 20 63 re forms so we c
3bc0: 61 6e 0a 20 20 20 20 3b 3b 20 73 65 65 20 77 68 an. ;; see wh
3bd0: 69 63 68 20 6f 6e 65 20 60 74 65 73 74 2d 6d 61 ich one `test-ma
3be0: 74 63 68 2d 6e 74 68 27 20 69 73 20 67 6f 69 6e tch-nth' is goin
3bf0: 67 20 74 6f 20 73 6b 69 70 0a 20 20 20 20 3b 3b g to skip. ;;
3c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3c10: 20 20 20 20 20 20 20 20 3b 20 23 20 20 20 22 79 ; # "y
3c20: 22 20 20 32 20 20 20 72 65 73 75 6c 74 0a 20 20 " 2 result.
3c30: 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 (test-assert "
3c40: 78 22 20 23 74 29 20 20 20 20 20 20 3b 20 31 20 x" #t) ; 1
3c50: 2d 20 23 66 20 20 20 23 66 20 20 50 41 53 53 20 - #f #f PASS
3c60: 20 20 0a 20 20 20 20 28 74 65 73 74 2d 61 73 73 . (test-ass
3c70: 65 72 74 20 22 79 22 20 23 66 29 20 20 20 20 20 ert "y" #f)
3c80: 20 3b 20 32 20 2d 20 23 74 20 20 20 23 74 20 20 ; 2 - #t #t
3c90: 53 4b 49 50 20 0a 20 20 20 20 28 74 65 73 74 2d SKIP . (test-
3ca0: 61 73 73 65 72 74 20 22 79 22 20 23 66 29 20 20 assert "y" #f)
3cb0: 20 20 20 20 3b 20 33 20 2d 20 23 74 20 20 20 23 ; 3 - #t #
3cc0: 66 20 20 53 4b 49 50 0a 20 20 20 20 28 74 65 73 f SKIP. (tes
3cd0: 74 2d 61 73 73 65 72 74 20 22 78 22 20 23 66 29 t-assert "x" #f)
3ce0: 20 20 20 20 20 20 3b 20 34 20 2d 20 23 66 20 20 ; 4 - #f
3cf0: 20 23 66 20 20 46 41 49 4c 0a 20 20 20 20 28 74 #f FAIL. (t
3d00: 65 73 74 2d 61 73 73 65 72 74 20 22 7a 22 20 23 est-assert "z" #
3d10: 66 29 20 20 20 20 20 20 3b 20 35 20 2d 20 23 66 f) ; 5 - #f
3d20: 20 20 20 23 66 20 20 46 41 49 4c 0a 20 20 20 20 #f FAIL.
3d30: 28 74 65 73 74 2d 65 6e 64 29 29 29 29 0a 0a 28 (test-end))))..(
3d40: 74 65 73 74 2d 62 65 67 69 6e 20 22 36 2e 34 2e test-begin "6.4.
3d50: 33 2e 20 53 6b 69 70 70 69 6e 67 20 74 65 73 74 3. Skipping test
3d60: 20 73 75 69 74 65 73 22 29 0a 0a 28 74 65 73 74 suites")..(test
3d70: 2d 65 71 75 61 6c 0a 20 22 36 2e 34 2e 33 2e 31 -equal. "6.4.3.1
3d80: 2e 20 49 6e 74 72 6f 64 75 63 65 64 20 75 73 69 . Introduced usi
3d90: 6e 67 20 27 74 65 73 74 2d 62 65 67 69 6e 27 22 ng 'test-begin'"
3da0: 0a 20 27 28 28 22 78 22 29 20 28 29 20 28 29 20 . '(("x") () ()
3db0: 28 29 20 28 29 20 28 31 20 30 20 30 20 30 20 30 () () (1 0 0 0 0
3dc0: 29 29 0a 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 )). (triv-runner
3dd0: 0a 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 . (lambda ().
3de0: 20 20 28 74 65 73 74 2d 62 65 67 69 6e 20 22 61 (test-begin "a
3df0: 22 29 0a 20 20 20 20 28 74 65 73 74 2d 73 6b 69 "). (test-ski
3e00: 70 20 22 62 22 29 0a 20 20 20 20 28 74 65 73 74 p "b"). (test
3e10: 2d 62 65 67 69 6e 20 22 62 22 29 20 20 20 20 20 -begin "b")
3e20: 20 20 20 20 20 20 20 3b 20 6e 6f 74 20 73 6b 69 ; not ski
3e30: 70 70 65 64 0a 20 20 20 20 28 74 65 73 74 2d 61 pped. (test-a
3e40: 73 73 65 72 74 20 22 78 22 20 23 74 29 0a 20 20 ssert "x" #t).
3e50: 20 20 28 74 65 73 74 2d 65 6e 64 20 22 62 22 29 (test-end "b")
3e60: 0a 20 20 20 20 28 74 65 73 74 2d 65 6e 64 20 22 . (test-end "
3e70: 61 22 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 78 a"))))..(test-ex
3e80: 70 65 63 74 2d 66 61 69 6c 20 31 29 20 3b 3b 20 pect-fail 1) ;;
3e90: 3f 3f 3f 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a ???.(test-equal.
3ea0: 20 22 36 2e 34 2e 33 2e 32 2e 20 49 6e 74 72 6f "6.4.3.2. Intro
3eb0: 64 75 63 65 64 20 75 73 69 6e 67 20 27 74 65 73 duced using 'tes
3ec0: 74 2d 67 72 6f 75 70 27 22 0a 20 27 28 28 29 20 t-group'". '(()
3ed0: 28 29 20 28 29 20 28 29 20 28 29 20 28 30 20 30 () () () () (0 0
3ee0: 20 30 20 30 20 31 29 29 0a 20 28 74 72 69 76 2d 0 0 1)). (triv-
3ef0: 72 75 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 61 runner. (lambda
3f00: 20 28 29 0a 20 20 20 20 28 74 65 73 74 2d 62 65 (). (test-be
3f10: 67 69 6e 20 22 61 22 29 0a 20 20 20 20 28 74 65 gin "a"). (te
3f20: 73 74 2d 73 6b 69 70 20 22 62 22 29 0a 20 20 20 st-skip "b").
3f30: 20 28 74 65 73 74 2d 67 72 6f 75 70 20 0a 20 20 (test-group .
3f40: 20 20 20 22 62 22 20 20 20 20 20 20 20 20 20 20 "b"
3f50: 20 20 3b 20 73 6b 69 70 70 65 64 0a 20 20 20 20 ; skipped.
3f60: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 (test-assert "x
3f70: 22 20 23 74 29 29 0a 20 20 20 20 28 74 65 73 74 " #t)). (test
3f80: 2d 65 6e 64 20 22 61 22 29 29 29 29 0a 0a 28 74 -end "a"))))..(t
3f90: 65 73 74 2d 65 71 75 61 6c 0a 20 22 36 2e 34 2e est-equal. "6.4.
3fa0: 33 2e 33 2e 20 4e 6f 6e 2d 73 6b 69 70 70 65 64 3.3. Non-skipped
3fb0: 20 27 74 65 73 74 2d 67 72 6f 75 70 27 22 0a 20 'test-group'".
3fc0: 27 28 28 22 78 22 29 20 28 29 20 28 29 20 28 29 '(("x") () () ()
3fd0: 20 28 29 20 28 31 20 30 20 30 20 30 20 30 29 29 () (1 0 0 0 0))
3fe0: 0a 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a 20 . (triv-runner.
3ff0: 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 (lambda ().
4000: 28 74 65 73 74 2d 62 65 67 69 6e 20 22 61 22 29 (test-begin "a")
4010: 0a 20 20 20 20 28 74 65 73 74 2d 73 6b 69 70 20 . (test-skip
4020: 22 63 22 29 0a 20 20 20 20 28 74 65 73 74 2d 67 "c"). (test-g
4030: 72 6f 75 70 20 22 62 22 20 28 74 65 73 74 2d 61 roup "b" (test-a
4040: 73 73 65 72 74 20 22 78 22 20 23 74 29 29 0a 20 ssert "x" #t)).
4050: 20 20 20 28 74 65 73 74 2d 65 6e 64 20 22 61 22 (test-end "a"
4060: 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 6e 64 29 ))))..(test-end)
4070: 20 3b 20 36 2e 34 2e 33 0a 20 0a 28 74 65 73 74 ; 6.4.3. .(test
4080: 2d 65 6e 64 29 3b 36 2e 34 0a 0a 28 74 65 73 74 -end);6.4..(test
4090: 2d 65 6e 64 20 22 36 2e 20 53 6b 69 70 70 69 6e -end "6. Skippin
40a0: 67 20 73 65 6c 65 63 74 65 64 20 74 65 73 74 73 g selected tests
40b0: 22 29 0a 0a 3b 3b 3b 0a 3b 3b 3b 0a 3b 3b 3b 0a ")..;;;.;;;.;;;.
40c0: 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 37 2e .(test-begin "7.
40d0: 20 45 78 70 65 63 74 65 64 20 66 61 69 6c 75 72 Expected failur
40e0: 65 73 22 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 es")..(test-equa
40f0: 6c 20 22 37 2e 31 2e 20 53 69 6d 70 6c 65 20 65 l "7.1. Simple e
4100: 78 61 6d 70 6c 65 22 0a 20 20 20 20 20 20 20 20 xample".
4110: 20 20 20 20 27 28 28 29 20 28 22 78 22 29 20 28 '(() ("x") (
4120: 22 7a 22 29 20 28 29 20 28 29 20 28 30 20 31 20 "z") () () (0 1
4130: 31 20 30 20 30 29 29 0a 20 20 20 20 20 20 20 20 1 0 0)).
4140: 20 20 20 20 28 74 72 69 76 2d 72 75 6e 6e 65 72 (triv-runner
4150: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c . (l
4160: 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 20 20 ambda ().
4170: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 (test-as
4180: 73 65 72 74 20 22 78 22 20 23 66 29 0a 20 20 20 sert "x" #f).
4190: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
41a0: 74 2d 65 78 70 65 63 74 2d 66 61 69 6c 20 22 7a t-expect-fail "z
41b0: 22 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ").
41c0: 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 (test-assert "
41d0: 7a 22 20 23 66 29 29 29 29 0a 0a 28 74 65 73 74 z" #f))))..(test
41e0: 2d 65 71 75 61 6c 20 22 37 2e 32 2e 20 45 78 70 -equal "7.2. Exp
41f0: 65 63 74 65 64 20 65 78 63 65 70 74 69 6f 6e 22 ected exception"
4200: 0a 20 20 20 20 20 20 20 20 20 20 20 20 27 28 28 . '((
4210: 29 20 28 22 78 22 29 20 28 22 7a 22 29 20 28 29 ) ("x") ("z") ()
4220: 20 28 29 20 28 30 20 31 20 31 20 30 20 30 29 29 () (0 1 1 0 0))
4230: 0a 20 20 20 20 20 20 20 20 20 20 20 20 28 74 72 . (tr
4240: 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 iv-runner.
4250: 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 (lambda (
4260: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
4270: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 (test-assert "x
4280: 22 20 23 66 29 0a 20 20 20 20 20 20 20 20 20 20 " #f).
4290: 20 20 20 20 20 28 74 65 73 74 2d 65 78 70 65 63 (test-expec
42a0: 74 2d 66 61 69 6c 20 22 7a 22 29 0a 20 20 20 20 t-fail "z").
42b0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
42c0: 2d 61 73 73 65 72 74 20 22 7a 22 20 28 63 68 6f -assert "z" (cho
42d0: 6b 65 29 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 ke)))))..(test-e
42e0: 71 75 61 6c 20 22 37 2e 33 2e 20 55 6e 65 78 70 qual "7.3. Unexp
42f0: 65 63 74 65 64 6c 79 20 50 41 53 53 22 0a 20 20 ectedly PASS".
4300: 20 20 20 20 20 20 20 20 20 20 27 28 28 29 20 28 '(() (
4310: 29 20 28 22 79 22 29 20 28 22 78 22 29 20 28 29 ) ("y") ("x") ()
4320: 20 28 30 20 30 20 31 20 31 20 30 29 29 0a 20 20 (0 0 1 1 0)).
4330: 20 20 20 20 20 20 20 20 20 20 28 74 72 69 76 2d (triv-
4340: 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 20 20 20 runner.
4350: 20 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 (lambda ().
4360: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
4370: 65 73 74 2d 65 78 70 65 63 74 2d 66 61 69 6c 20 est-expect-fail
4380: 22 78 22 29 0a 20 20 20 20 20 20 20 20 20 20 20 "x").
4390: 20 20 20 20 28 74 65 73 74 2d 65 78 70 65 63 74 (test-expect
43a0: 2d 66 61 69 6c 20 22 79 22 29 0a 20 20 20 20 20 -fail "y").
43b0: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
43c0: 61 73 73 65 72 74 20 22 78 22 20 23 74 29 0a 20 assert "x" #t).
43d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
43e0: 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 23 est-assert "y" #
43f0: 66 29 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 f)))).
4400: 20 20 20 20 20 0a 0a 0a 28 74 65 73 74 2d 65 6e ...(test-en
4410: 64 20 22 37 2e 20 45 78 70 65 63 74 65 64 20 66 d "7. Expected f
4420: 61 69 6c 75 72 65 73 22 29 0a 0a 3b 3b 3b 0a 3b ailures")..;;;.;
4430: 3b 3b 0a 3b 3b 3b 0a 0a 28 74 65 73 74 2d 62 65 ;;.;;;..(test-be
4440: 67 69 6e 20 22 38 2e 20 54 65 73 74 2d 72 75 6e gin "8. Test-run
4450: 6e 65 72 22 29 0a 0a 3b 3b 3b 0a 3b 3b 3b 20 20 ner")..;;;.;;;
4460: 42 65 63 61 75 73 65 20 77 65 20 77 61 6e 74 20 Because we want
4470: 74 68 69 73 20 74 65 73 74 20 73 75 69 74 65 20 this test suite
4480: 74 6f 20 62 65 20 61 63 63 75 72 61 74 65 20 65 to be accurate e
4490: 76 65 6e 0a 3b 3b 3b 20 20 77 68 65 6e 20 74 68 ven.;;; when th
44a0: 65 20 75 6e 64 65 72 6c 79 69 6e 67 20 69 6d 70 e underlying imp
44b0: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 63 68 6f 6f lementation choo
44c0: 73 65 73 20 74 6f 20 75 73 65 2c 20 65 2e 67 2e ses to use, e.g.
44d0: 2c 0a 3b 3b 3b 20 20 61 20 67 6c 6f 62 61 6c 20 ,.;;; a global
44e0: 76 61 72 69 61 62 6c 65 20 74 6f 20 69 6d 70 6c variable to impl
44f0: 65 6d 65 6e 74 20 77 68 61 74 20 63 6f 75 6c 64 ement what could
4500: 20 62 65 20 74 68 72 65 61 64 20 76 61 72 69 61 be thread varia
4510: 62 6c 65 73 0a 3b 3b 3b 20 20 6f 72 20 53 52 46 bles.;;; or SRF
4520: 49 2d 33 39 20 70 61 72 61 6d 65 74 65 72 20 6f I-39 parameter o
4530: 62 6a 65 63 74 73 2c 20 77 65 20 72 65 61 6c 6c bjects, we reall
4540: 79 20 6e 65 65 64 20 74 6f 20 73 61 76 65 20 61 y need to save a
4550: 6e 64 20 72 65 73 74 6f 72 65 0a 3b 3b 3b 20 20 nd restore.;;;
4560: 74 68 65 69 72 20 73 74 61 74 65 20 6f 75 72 73 their state ours
4570: 65 6c 76 65 73 0a 3b 3b 3b 0a 28 64 65 66 69 6e elves.;;;.(defin
4580: 65 20 28 77 69 74 68 2d 66 61 63 74 6f 72 79 2d e (with-factory-
4590: 73 61 76 65 64 20 74 68 75 6e 6b 29 0a 20 20 28 saved thunk). (
45a0: 6c 65 74 2a 20 28 28 73 61 76 65 64 20 28 74 65 let* ((saved (te
45b0: 73 74 2d 72 75 6e 6e 65 72 2d 66 61 63 74 6f 72 st-runner-factor
45c0: 79 29 29 0a 20 20 20 20 20 20 20 20 20 28 72 65 y)). (re
45d0: 73 75 6c 74 20 28 74 68 75 6e 6b 29 29 29 0a 20 sult (thunk))).
45e0: 20 20 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d (test-runner-
45f0: 66 61 63 74 6f 72 79 20 73 61 76 65 64 29 0a 20 factory saved).
4600: 20 20 20 72 65 73 75 6c 74 29 29 0a 0a 28 74 65 result))..(te
4610: 73 74 2d 62 65 67 69 6e 20 22 38 2e 31 2e 20 74 st-begin "8.1. t
4620: 65 73 74 2d 72 75 6e 6e 65 72 2d 63 75 72 72 65 est-runner-curre
4630: 6e 74 22 29 0a 28 74 65 73 74 2d 61 73 73 65 72 nt").(test-asser
4640: 74 20 22 38 2e 31 2e 31 2e 20 61 75 74 6f 6d 61 t "8.1.1. automa
4650: 74 69 63 61 6c 6c 79 20 72 65 73 74 6f 72 65 64 tically restored
4660: 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28 ". (
4670: 6c 65 74 20 28 28 61 20 30 29 0a 20 20 20 20 20 let ((a 0).
4680: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 62 (b
4690: 20 31 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 1).
46a0: 20 20 20 20 20 20 20 28 63 20 32 29 29 0a 20 20 (c 2)).
46b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 3b 0a 20 ;.
46c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
46d0: 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 riv-runner.
46e0: 20 20 20 20 20 20 20 20 20 20 20 28 6c 61 6d 62 (lamb
46f0: 64 61 20 28 29 0a 20 20 20 20 20 20 20 20 20 20 da ().
4700: 20 20 20 20 20 20 20 20 28 73 65 74 21 20 61 20 (set! a
4710: 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d 63 75 72 (test-runner-cur
4720: 72 65 6e 74 29 29 0a 20 20 20 20 20 20 20 20 20 rent)).
4730: 20 20 20 20 20 20 20 20 20 3b 3b 0a 20 20 20 20 ;;.
4740: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
4750: 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 riv-runner.
4760: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c (l
4770: 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 20 20 ambda ().
4780: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 73 (s
4790: 65 74 21 20 62 20 28 74 65 73 74 2d 72 75 6e 6e et! b (test-runn
47a0: 65 72 2d 63 75 72 72 65 6e 74 29 29 29 29 0a 20 er-current)))).
47b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
47c0: 20 3b 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 ;;.
47d0: 20 20 20 20 20 20 28 73 65 74 21 20 63 20 28 74 (set! c (t
47e0: 65 73 74 2d 72 75 6e 6e 65 72 2d 63 75 72 72 65 est-runner-curre
47f0: 6e 74 29 29 29 29 0a 20 20 20 20 20 20 20 20 20 nt)))).
4800: 20 20 20 20 20 20 3b 3b 0a 20 20 20 20 20 20 20 ;;.
4810: 20 20 20 20 20 20 20 20 28 61 6e 64 20 28 65 71 (and (eq
4820: 3f 20 61 20 63 29 0a 20 20 20 20 20 20 20 20 20 ? a c).
4830: 20 20 20 20 20 20 20 20 20 20 20 28 6e 6f 74 20 (not
4840: 28 65 71 3f 20 61 20 62 29 29 29 29 29 0a 20 20 (eq? a b))))).
4850: 20 20 20 20 20 20 20 20 20 20 20 20 0a 28 74 65 .(te
4860: 73 74 2d 65 6e 64 29 0a 0a 28 74 65 73 74 2d 62 st-end)..(test-b
4870: 65 67 69 6e 20 22 38 2e 32 2e 20 74 65 73 74 2d egin "8.2. test-
4880: 72 75 6e 6e 65 72 2d 73 69 6d 70 6c 65 22 29 0a runner-simple").
4890: 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 38 2e (test-assert "8.
48a0: 32 2e 31 2e 20 64 65 66 61 75 6c 74 20 6f 6e 2d 2.1. default on-
48b0: 74 65 73 74 20 68 6f 6f 6b 22 0a 20 20 20 20 20 test hook".
48c0: 20 20 20 20 20 20 20 20 28 65 71 3f 20 28 74 65 (eq? (te
48d0: 73 74 2d 72 75 6e 6e 65 72 2d 6f 6e 2d 74 65 73 st-runner-on-tes
48e0: 74 2d 65 6e 64 20 28 74 65 73 74 2d 72 75 6e 6e t-end (test-runn
48f0: 65 72 2d 73 69 6d 70 6c 65 29 29 0a 20 20 20 20 er-simple)).
4900: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74 65 te
4910: 73 74 2d 6f 6e 2d 74 65 73 74 2d 65 6e 64 2d 73 st-on-test-end-s
4920: 69 6d 70 6c 65 29 29 0a 28 74 65 73 74 2d 61 73 imple)).(test-as
4930: 73 65 72 74 20 22 38 2e 32 2e 32 2e 20 64 65 66 sert "8.2.2. def
4940: 61 75 6c 74 20 6f 6e 2d 66 69 6e 61 6c 20 68 6f ault on-final ho
4950: 6f 6b 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 ok".
4960: 20 28 65 71 3f 20 28 74 65 73 74 2d 72 75 6e 6e (eq? (test-runn
4970: 65 72 2d 6f 6e 2d 66 69 6e 61 6c 20 28 74 65 73 er-on-final (tes
4980: 74 2d 72 75 6e 6e 65 72 2d 73 69 6d 70 6c 65 29 t-runner-simple)
4990: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
49a0: 20 20 20 20 74 65 73 74 2d 6f 6e 2d 66 69 6e 61 test-on-fina
49b0: 6c 2d 73 69 6d 70 6c 65 29 29 0a 28 74 65 73 74 l-simple)).(test
49c0: 2d 65 6e 64 29 0a 0a 28 74 65 73 74 2d 62 65 67 -end)..(test-beg
49d0: 69 6e 20 22 38 2e 33 2e 20 74 65 73 74 2d 72 75 in "8.3. test-ru
49e0: 6e 6e 65 72 2d 66 61 63 74 6f 72 79 22 29 0a 0a nner-factory")..
49f0: 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 38 2e (test-assert "8.
4a00: 33 2e 31 2e 20 64 65 66 61 75 6c 74 20 66 61 63 3.1. default fac
4a10: 74 6f 72 79 22 0a 20 20 20 20 20 20 20 20 20 20 tory".
4a20: 20 20 20 28 65 71 3f 20 28 74 65 73 74 2d 72 75 (eq? (test-ru
4a30: 6e 6e 65 72 2d 66 61 63 74 6f 72 79 29 20 74 65 nner-factory) te
4a40: 73 74 2d 72 75 6e 6e 65 72 2d 73 69 6d 70 6c 65 st-runner-simple
4a50: 29 29 0a 0a 28 74 65 73 74 2d 61 73 73 65 72 74 ))..(test-assert
4a60: 20 22 38 2e 33 2e 32 2e 20 73 65 74 74 61 62 6c "8.3.2. settabl
4a70: 65 20 66 61 63 74 6f 72 79 22 0a 20 20 20 20 20 e factory".
4a80: 20 20 20 20 20 20 20 20 28 77 69 74 68 2d 66 61 (with-fa
4a90: 63 74 6f 72 79 2d 73 61 76 65 64 0a 20 20 20 20 ctory-saved.
4aa0: 20 20 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 (lambd
4ab0: 61 20 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 a ().
4ac0: 20 20 20 20 20 28 74 65 73 74 2d 72 75 6e 6e 65 (test-runne
4ad0: 72 2d 66 61 63 74 6f 72 79 20 74 65 73 74 2d 72 r-factory test-r
4ae0: 75 6e 6e 65 72 2d 6e 75 6c 6c 29 0a 20 20 20 20 unner-null).
4af0: 20 20 20 20 20 20 20 20 20 20 20 20 3b 3b 20 77 ;; w
4b00: 65 20 68 61 76 65 20 6e 6f 20 77 61 79 2c 20 77 e have no way, w
4b10: 69 74 68 6f 75 74 20 62 72 69 6e 67 69 6e 67 20 ithout bringing
4b20: 69 6e 20 6f 74 68 65 72 20 53 52 46 49 73 2c 0a in other SRFIs,.
4b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
4b40: 3b 3b 20 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 ;; to make sure
4b50: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 64 6f the following do
4b60: 65 73 6e 27 74 20 70 72 69 6e 74 20 61 6e 79 74 esn't print anyt
4b70: 68 69 6e 67 2c 0a 20 20 20 20 20 20 20 20 20 20 hing,.
4b80: 20 20 20 20 20 20 3b 3b 20 62 75 74 20 69 74 20 ;; but it
4b90: 73 68 6f 75 6c 64 6e 27 74 3a 0a 20 20 20 20 20 shouldn't:.
4ba0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
4bb0: 2d 77 69 74 68 2d 72 75 6e 6e 65 72 0a 20 20 20 -with-runner.
4bc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
4bd0: 65 73 74 2d 72 75 6e 6e 65 72 2d 63 72 65 61 74 est-runner-creat
4be0: 65 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 e).
4bf0: 20 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 (lambda ().
4c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
4c10: 20 20 28 74 65 73 74 2d 62 65 67 69 6e 20 22 61 (test-begin "a
4c20: 22 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ").
4c30: 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 (test-asse
4c40: 72 74 20 23 74 29 20 20 20 20 20 20 20 20 20 20 rt #t)
4c50: 20 20 20 3b 20 70 61 73 73 0a 20 20 20 20 20 20 ; pass.
4c60: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
4c70: 73 74 2d 61 73 73 65 72 74 20 23 66 29 20 20 20 st-assert #f)
4c80: 20 20 20 20 20 20 20 20 20 20 3b 20 66 61 69 6c ; fail
4c90: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
4ca0: 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 (test-assert
4cb0: 20 28 76 65 63 74 6f 72 2d 72 65 66 20 27 23 28 (vector-ref '#(
4cc0: 33 29 20 31 30 29 29 20 20 3b 20 66 61 69 6c 20 3) 10)) ; fail
4cd0: 77 69 74 68 20 65 72 72 6f 72 0a 20 20 20 20 20 with error.
4ce0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
4cf0: 65 73 74 2d 65 6e 64 20 22 61 22 29 29 29 0a 20 est-end "a"))).
4d00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
4d10: 65 71 3f 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 eq? (test-runner
4d20: 2d 66 61 63 74 6f 72 79 29 20 74 65 73 74 2d 72 -factory) test-r
4d30: 75 6e 6e 65 72 2d 6e 75 6c 6c 29 29 29 29 0a 20 unner-null)))).
4d40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a .
4d50: 28 74 65 73 74 2d 65 6e 64 29 0a 0a 3b 3b 3b 20 (test-end)..;;;
4d60: 54 68 69 73 20 67 6f 74 20 74 65 73 74 65 64 20 This got tested
4d70: 61 62 6f 75 74 20 61 73 20 77 65 6c 6c 20 61 73 about as well as
4d80: 20 69 74 20 63 6f 75 6c 64 20 69 6e 20 38 2e 33 it could in 8.3
4d90: 2e 32 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 .2..(test-begin
4da0: 22 38 2e 34 2e 20 74 65 73 74 2d 72 75 6e 6e 65 "8.4. test-runne
4db0: 72 2d 63 72 65 61 74 65 22 29 0a 28 74 65 73 74 r-create").(test
4dc0: 2d 65 6e 64 29 0a 0a 3b 3b 3b 20 54 68 69 73 20 -end)..;;; This
4dd0: 67 6f 74 20 74 65 73 74 65 64 20 61 62 6f 75 74 got tested about
4de0: 20 61 73 20 77 65 6c 6c 20 61 73 20 69 74 20 63 as well as it c
4df0: 6f 75 6c 64 20 69 6e 20 38 2e 33 2e 32 20 0a 0a ould in 8.3.2 ..
4e00: 28 74 65 73 74 2d 62 65 67 69 6e 20 22 38 2e 35 (test-begin "8.5
4e10: 2e 20 74 65 73 74 2d 72 75 6e 6e 65 72 2d 66 61 . test-runner-fa
4e20: 63 74 6f 72 79 22 29 0a 28 74 65 73 74 2d 65 6e ctory").(test-en
4e30: 64 29 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 d)..(test-begin
4e40: 22 38 2e 36 2e 20 74 65 73 74 2d 61 70 70 6c 79 "8.6. test-apply
4e50: 22 29 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 22 ").(test-equal "
4e60: 38 2e 36 2e 31 2e 20 53 69 6d 70 6c 65 20 28 66 8.6.1. Simple (f
4e70: 6f 72 6d 20 31 29 20 74 65 73 74 2d 61 70 70 6c orm 1) test-appl
4e80: 79 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 27 y". '
4e90: 28 28 22 77 22 20 22 70 22 20 22 76 22 29 20 28 (("w" "p" "v") (
4ea0: 29 20 28 29 20 28 29 20 28 22 78 22 29 20 28 33 ) () () ("x") (3
4eb0: 20 30 20 30 20 30 20 31 29 29 0a 20 20 20 20 20 0 0 0 1)).
4ec0: 20 20 20 20 20 20 20 28 74 72 69 76 2d 72 75 6e (triv-run
4ed0: 6e 65 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 ner.
4ee0: 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 (lambda ().
4ef0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
4f00: 2d 62 65 67 69 6e 20 22 61 22 29 0a 20 20 20 20 -begin "a").
4f10: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
4f20: 2d 61 73 73 65 72 74 20 22 77 22 20 23 74 29 0a -assert "w" #t).
4f30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
4f40: 74 65 73 74 2d 61 70 70 6c 79 0a 20 20 20 20 20 test-apply.
4f50: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
4f60: 2d 6d 61 74 63 68 2d 6e 61 6d 65 20 22 70 22 29 -match-name "p")
4f70: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
4f80: 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 (lambda ().
4f90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
4fa0: 65 73 74 2d 62 65 67 69 6e 20 22 70 22 29 0a 20 est-begin "p").
4fb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
4fc0: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 (test-assert "x
4fd0: 22 20 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 " #t).
4fe0: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 65 6e (test-en
4ff0: 64 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 d).
5000: 20 20 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e (test-begin
5010: 20 22 7a 22 29 0a 20 20 20 20 20 20 20 20 20 20 "z").
5020: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 (test-as
5030: 73 65 72 74 20 22 70 22 20 23 74 29 20 20 3b 20 sert "p" #t) ;
5040: 6f 6e 6c 79 20 74 68 69 73 20 6f 6e 65 20 73 68 only this one sh
5050: 6f 75 6c 64 20 65 78 65 63 75 74 65 20 69 6e 20 ould execute in
5060: 68 65 72 65 0a 20 20 20 20 20 20 20 20 20 20 20 here.
5070: 20 20 20 20 20 20 20 28 74 65 73 74 2d 65 6e 64 (test-end
5080: 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ))).
5090: 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 (test-assert
50a0: 22 76 22 20 23 74 29 29 29 29 0a 0a 28 74 65 73 "v" #t))))..(tes
50b0: 74 2d 65 71 75 61 6c 20 22 38 2e 36 2e 32 2e 20 t-equal "8.6.2.
50c0: 53 69 6d 70 6c 65 20 28 66 6f 72 6d 20 32 29 20 Simple (form 2)
50d0: 74 65 73 74 2d 61 70 70 6c 79 22 0a 20 20 20 20 test-apply".
50e0: 20 20 20 20 20 20 20 20 27 28 28 22 77 22 20 22 '(("w" "
50f0: 70 22 20 22 76 22 29 20 28 29 20 28 29 20 28 29 p" "v") () () ()
5100: 20 28 22 78 22 29 20 28 33 20 30 20 30 20 30 20 ("x") (3 0 0 0
5110: 31 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 1)).
5120: 28 74 72 69 76 2d 72 75 6e 6e 65 72 0a 20 20 20 (triv-runner.
5130: 20 20 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 (lambd
5140: 61 20 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 a ().
5150: 20 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e 20 (test-begin
5160: 22 61 22 29 0a 20 20 20 20 20 20 20 20 20 20 20 "a").
5170: 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 (test-assert
5180: 20 22 77 22 20 23 74 29 0a 20 20 20 20 20 20 20 "w" #t).
5190: 20 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 70 (test-ap
51a0: 70 6c 79 0a 20 20 20 20 20 20 20 20 20 20 20 20 ply.
51b0: 20 20 20 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 (test-runner
51c0: 2d 63 75 72 72 65 6e 74 29 0a 20 20 20 20 20 20 -current).
51d0: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
51e0: 6d 61 74 63 68 2d 6e 61 6d 65 20 22 70 22 29 0a match-name "p").
51f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5200: 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 (lambda ().
5210: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
5220: 73 74 2d 62 65 67 69 6e 20 22 70 22 29 0a 20 20 st-begin "p").
5230: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5240: 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 22 (test-assert "x"
5250: 20 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 20 #t).
5260: 20 20 20 20 20 20 20 28 74 65 73 74 2d 65 6e 64 (test-end
5270: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
5280: 20 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e 20 (test-begin
5290: 22 7a 22 29 0a 20 20 20 20 20 20 20 20 20 20 20 "z").
52a0: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
52b0: 65 72 74 20 22 70 22 20 23 74 29 20 20 3b 20 6f ert "p" #t) ; o
52c0: 6e 6c 79 20 74 68 69 73 20 6f 6e 65 20 73 68 6f nly this one sho
52d0: 75 6c 64 20 65 78 65 63 75 74 65 20 69 6e 20 68 uld execute in h
52e0: 65 72 65 0a 20 20 20 20 20 20 20 20 20 20 20 20 ere.
52f0: 20 20 20 20 20 20 28 74 65 73 74 2d 65 6e 64 29 (test-end)
5300: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 )).
5310: 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 (test-assert "
5320: 76 22 20 23 74 29 29 29 29 0a 0a 28 74 65 73 74 v" #t))))..(test
5330: 2d 65 78 70 65 63 74 2d 66 61 69 6c 20 31 29 20 -expect-fail 1)
5340: 3b 3b 20 64 65 70 65 6e 64 73 20 6f 6e 20 61 6c ;; depends on al
5350: 6c 20 74 65 73 74 2d 6d 61 74 63 68 2d 6e 74 68 l test-match-nth
5360: 20 62 65 69 6e 67 20 63 61 6c 6c 65 64 2e 0a 28 being called..(
5370: 74 65 73 74 2d 65 71 75 61 6c 20 22 38 2e 36 2e test-equal "8.6.
5380: 33 2e 20 74 65 73 74 2d 61 70 70 6c 79 20 77 69 3. test-apply wi
5390: 74 68 20 73 6b 69 70 73 22 0a 20 20 20 20 20 20 th skips".
53a0: 20 20 20 20 20 20 27 28 28 22 77 22 20 22 71 22 '(("w" "q"
53b0: 20 22 76 22 29 20 28 29 20 28 29 20 28 29 20 28 "v") () () () (
53c0: 22 78 22 20 22 70 22 20 22 78 22 29 20 28 33 20 "x" "p" "x") (3
53d0: 30 20 30 20 30 20 33 29 29 0a 20 20 20 20 20 20 0 0 0 3)).
53e0: 20 20 20 20 20 20 28 74 72 69 76 2d 72 75 6e 6e (triv-runn
53f0: 65 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 er.
5400: 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 20 (lambda ().
5410: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
5420: 62 65 67 69 6e 20 22 61 22 29 0a 20 20 20 20 20 begin "a").
5430: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
5440: 61 73 73 65 72 74 20 22 77 22 20 23 74 29 0a 20 assert "w" #t).
5450: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
5460: 65 73 74 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d est-skip (test-m
5470: 61 74 63 68 2d 6e 74 68 20 32 29 29 0a 20 20 20 atch-nth 2)).
5480: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
5490: 74 2d 73 6b 69 70 20 28 74 65 73 74 2d 6d 61 74 t-skip (test-mat
54a0: 63 68 2d 6e 74 68 20 34 29 29 0a 20 20 20 20 20 ch-nth 4)).
54b0: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
54c0: 61 70 70 6c 79 0a 20 20 20 20 20 20 20 20 20 20 apply.
54d0: 20 20 20 20 20 20 28 74 65 73 74 2d 72 75 6e 6e (test-runn
54e0: 65 72 2d 63 75 72 72 65 6e 74 29 0a 20 20 20 20 er-current).
54f0: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
5500: 74 2d 6d 61 74 63 68 2d 6e 61 6d 65 20 22 70 22 t-match-name "p"
5510: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
5520: 20 20 28 74 65 73 74 2d 6d 61 74 63 68 2d 6e 61 (test-match-na
5530: 6d 65 20 22 71 22 29 0a 20 20 20 20 20 20 20 20 me "q").
5540: 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 20 (lambda
5550: 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ().
5560: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5570: 20 20 20 20 20 20 20 20 20 20 20 3b 20 6f 6e 6c ; onl
5580: 79 20 65 78 65 63 75 74 65 20 69 66 20 53 4b 49 y execute if SKI
5590: 50 3d 6e 6f 20 61 6e 64 20 41 50 50 4c 59 3d 79 P=no and APPLY=y
55a0: 65 73 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 es.
55b0: 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 (test-asser
55c0: 74 20 22 78 22 20 23 74 29 20 20 3b 20 23 20 31 t "x" #t) ; # 1
55d0: 20 53 4b 49 50 3d 6e 6f 20 20 41 50 50 4c 59 3d SKIP=no APPLY=
55e0: 6e 6f 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 no.
55f0: 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 (test-asser
5600: 74 20 22 70 22 20 23 74 29 20 20 3b 20 23 20 32 t "p" #t) ; # 2
5610: 20 53 4b 49 50 3d 79 65 73 20 41 50 50 4c 59 3d SKIP=yes APPLY=
5620: 79 65 73 0a 20 20 20 20 20 20 20 20 20 20 20 20 yes.
5630: 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 (test-asse
5640: 72 74 20 22 71 22 20 23 74 29 20 20 3b 20 23 20 rt "q" #t) ; #
5650: 33 20 53 4b 49 50 3d 6e 6f 20 20 41 50 50 4c 59 3 SKIP=no APPLY
5660: 3d 79 65 73 0a 20 20 20 20 20 20 20 20 20 20 20 =yes.
5670: 20 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 (test-ass
5680: 65 72 74 20 22 78 22 20 23 66 29 20 20 3b 20 23 ert "x" #f) ; #
5690: 20 34 20 53 4b 49 50 3d 79 65 73 20 41 50 50 4c 4 SKIP=yes APPL
56a0: 59 3d 6e 6f 0a 20 20 20 20 20 20 20 20 20 20 20 Y=no.
56b0: 20 20 20 20 20 20 20 30 29 29 0a 20 20 20 20 20 0)).
56c0: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
56d0: 61 73 73 65 72 74 20 22 76 22 20 23 74 29 29 29 assert "v" #t)))
56e0: 29 0a 0a 3b 3b 3b 20 20 55 6e 66 6f 72 74 75 6e )..;;; Unfortun
56f0: 61 74 65 6c 79 2c 20 73 69 6e 63 65 20 74 68 65 ately, since the
5700: 72 65 20 69 73 20 6e 6f 20 77 61 79 20 74 6f 20 re is no way to
5710: 55 4e 42 49 4e 44 20 74 68 65 20 63 75 72 72 65 UNBIND the curre
5720: 6e 74 20 74 65 73 74 20 72 75 6e 6e 65 72 2c 0a nt test runner,.
5730: 3b 3b 3b 20 20 74 68 65 72 65 20 69 73 20 6e 6f ;;; there is no
5740: 20 77 61 79 20 74 6f 20 74 65 73 74 20 74 68 65 way to test the
5750: 20 62 65 68 61 76 69 6f 72 20 6f 66 20 60 74 65 behavior of `te
5760: 73 74 2d 61 70 70 6c 79 27 20 69 6e 20 74 68 65 st-apply' in the
5770: 20 61 62 73 65 6e 63 65 0a 3b 3b 3b 20 20 6f 66 absence.;;; of
5780: 20 61 20 63 75 72 72 65 6e 74 20 72 75 6e 6e 65 a current runne
5790: 72 20 77 69 74 68 69 6e 20 6f 75 72 20 6c 69 74 r within our lit
57a0: 74 6c 65 20 6d 65 74 61 2d 74 65 73 74 20 66 72 tle meta-test fr
57b0: 61 6d 65 77 6f 72 6b 2e 0a 3b 3b 3b 0a 3b 3b 3b amework..;;;.;;;
57c0: 20 20 54 6f 20 74 65 73 74 20 74 68 65 20 62 65 To test the be
57d0: 68 61 76 69 6f 72 20 6d 61 6e 75 61 6c 6c 79 2c havior manually,
57e0: 20 79 6f 75 20 73 68 6f 75 6c 64 20 62 65 20 61 you should be a
57f0: 62 6c 65 20 74 6f 20 69 6e 76 6f 6b 65 3a 0a 3b ble to invoke:.;
5800: 3b 3b 0a 3b 3b 3b 20 20 20 20 20 28 74 65 73 74 ;;.;;; (test
5810: 2d 61 70 70 6c 79 20 22 61 22 20 28 6c 61 6d 62 -apply "a" (lamb
5820: 64 61 20 28 29 20 28 74 65 73 74 2d 61 73 73 65 da () (test-asse
5830: 72 74 20 22 61 22 20 23 74 29 29 29 0a 3b 3b 3b rt "a" #t))).;;;
5840: 0a 3b 3b 3b 20 20 66 72 6f 6d 20 74 68 65 20 74 .;;; from the t
5850: 6f 70 20 6c 65 76 65 6c 20 28 77 69 74 68 20 53 op level (with S
5860: 52 46 49 20 36 34 20 61 76 61 69 6c 61 62 6c 65 RFI 64 available
5870: 29 20 61 6e 64 20 69 74 20 73 68 6f 75 6c 64 20 ) and it should
5880: 63 72 65 61 74 65 20 61 0a 3b 3b 3b 20 20 6e 65 create a.;;; ne
5890: 77 2c 20 64 65 66 61 75 6c 74 20 28 73 69 6d 70 w, default (simp
58a0: 6c 65 29 20 74 65 73 74 20 72 75 6e 6e 65 72 2e le) test runner.
58b0: 0a 0a 28 74 65 73 74 2d 65 6e 64 29 0a 0a 3b 3b ..(test-end)..;;
58c0: 3b 20 20 54 68 69 73 20 65 6e 74 69 72 65 20 73 ; This entire s
58d0: 75 69 74 65 20 64 65 70 65 6e 64 73 20 68 65 61 uite depends hea
58e0: 76 69 6c 79 20 6f 6e 20 27 74 65 73 74 2d 77 69 vily on 'test-wi
58f0: 74 68 2d 72 75 6e 6e 65 72 27 2e 20 20 49 66 20 th-runner'. If
5900: 69 74 20 64 69 64 6e 27 74 0a 3b 3b 3b 20 20 77 it didn't.;;; w
5910: 6f 72 6b 2c 20 74 68 69 73 20 73 75 69 74 65 20 ork, this suite
5920: 77 6f 75 6c 64 20 70 72 6f 62 61 62 6c 79 20 67 would probably g
5930: 6f 20 64 6f 77 6e 20 69 6e 20 66 6c 61 6d 65 73 o down in flames
5940: 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 38 2e .(test-begin "8.
5950: 37 2e 20 74 65 73 74 2d 77 69 74 68 2d 72 75 6e 7. test-with-run
5960: 6e 65 72 22 29 0a 28 74 65 73 74 2d 65 6e 64 29 ner").(test-end)
5970: 0a 0a 3b 3b 3b 20 20 41 67 61 69 6e 2c 20 74 68 ..;;; Again, th
5980: 69 73 20 73 75 69 74 65 20 64 65 70 65 6e 64 73 is suite depends
5990: 20 68 65 61 76 69 6c 79 20 6f 6e 20 6d 61 6e 79 heavily on many
59a0: 20 6f 66 20 74 68 65 20 74 65 73 74 2d 72 75 6e of the test-run
59b0: 6e 65 72 0a 3b 3b 3b 20 20 63 6f 6d 70 6f 6e 65 ner.;;; compone
59c0: 6e 74 73 2e 20 20 57 65 27 6c 6c 20 6a 75 73 74 nts. We'll just
59d0: 20 74 65 73 74 20 74 68 6f 73 65 20 74 68 61 74 test those that
59e0: 20 61 72 65 6e 27 74 20 62 65 69 6e 67 20 65 78 aren't being ex
59f0: 65 72 63 69 73 65 64 0a 3b 3b 3b 20 20 62 79 20 ercised.;;; by
5a00: 74 68 65 20 6d 65 74 61 2d 74 65 73 74 20 66 72 the meta-test fr
5a10: 61 6d 65 77 6f 72 6b 0a 28 74 65 73 74 2d 62 65 amework.(test-be
5a20: 67 69 6e 20 22 38 2e 38 2e 20 74 65 73 74 2d 72 gin "8.8. test-r
5a30: 75 6e 6e 65 72 20 63 6f 6d 70 6f 6e 65 6e 74 73 unner components
5a40: 22 29 0a 0a 28 64 65 66 69 6e 65 20 28 61 75 78 ")..(define (aux
5a50: 74 72 61 63 6b 2d 72 75 6e 6e 65 72 20 74 68 75 track-runner thu
5a60: 6e 6b 29 0a 20 20 28 6c 65 74 20 28 28 72 20 28 nk). (let ((r (
5a70: 74 65 73 74 2d 72 75 6e 6e 65 72 2d 6e 75 6c 6c test-runner-null
5a80: 29 29 29 0a 20 20 20 20 28 74 65 73 74 2d 72 75 ))). (test-ru
5a90: 6e 6e 65 72 2d 61 75 78 2d 76 61 6c 75 65 21 20 nner-aux-value!
5aa0: 72 20 27 28 29 29 0a 20 20 20 20 28 74 65 73 74 r '()). (test
5ab0: 2d 72 75 6e 6e 65 72 2d 6f 6e 2d 74 65 73 74 2d -runner-on-test-
5ac0: 65 6e 64 21 20 72 20 28 6c 61 6d 62 64 61 20 28 end! r (lambda (
5ad0: 72 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 r).
5ae0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5af0: 20 28 74 65 73 74 2d 72 75 6e 6e 65 72 2d 61 75 (test-runner-au
5b00: 78 2d 76 61 6c 75 65 21 0a 20 20 20 20 20 20 20 x-value!.
5b10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5b20: 20 20 20 20 20 20 20 20 72 0a 20 20 20 20 20 20 r.
5b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5b40: 20 20 20 20 20 20 20 20 20 28 63 6f 6e 73 20 28 (cons (
5b50: 74 65 73 74 2d 72 75 6e 6e 65 72 2d 74 65 73 74 test-runner-test
5b60: 2d 6e 61 6d 65 20 72 29 0a 20 20 20 20 20 20 20 -name r).
5b70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5b80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
5b90: 65 73 74 2d 72 75 6e 6e 65 72 2d 61 75 78 2d 76 est-runner-aux-v
5ba0: 61 6c 75 65 20 72 29 29 29 29 29 0a 20 20 20 20 alue r))))).
5bb0: 28 74 65 73 74 2d 77 69 74 68 2d 72 75 6e 6e 65 (test-with-runne
5bc0: 72 20 72 20 28 74 68 75 6e 6b 29 29 0a 20 20 20 r r (thunk)).
5bd0: 20 28 72 65 76 65 72 73 65 20 28 74 65 73 74 2d (reverse (test-
5be0: 72 75 6e 6e 65 72 2d 61 75 78 2d 76 61 6c 75 65 runner-aux-value
5bf0: 20 72 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 71 r))))..(test-eq
5c00: 75 61 6c 20 22 38 2e 38 2e 31 2e 20 74 65 73 74 ual "8.8.1. test
5c10: 2d 72 75 6e 6e 65 72 2d 61 75 78 2d 76 61 6c 75 -runner-aux-valu
5c20: 65 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 27 e". '
5c30: 28 22 78 22 20 22 22 20 22 79 22 29 0a 20 20 20 ("x" "" "y").
5c40: 20 20 20 20 20 20 20 20 20 28 61 75 78 74 72 61 (auxtra
5c50: 63 6b 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 ck-runner.
5c60: 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 20 28 (lambda (
5c70: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
5c80: 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 22 78 (test-assert "x
5c90: 22 20 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 " #t).
5ca0: 20 20 20 20 20 28 74 65 73 74 2d 62 65 67 69 6e (test-begin
5cb0: 20 22 61 22 29 0a 20 20 20 20 20 20 20 20 20 20 "a").
5cc0: 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 (test-asser
5cd0: 74 20 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 t #t).
5ce0: 20 20 20 20 20 28 74 65 73 74 2d 65 6e 64 29 0a (test-end).
5cf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
5d00: 74 65 73 74 2d 61 73 73 65 72 74 20 22 79 22 20 test-assert "y"
5d10: 23 66 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 6e #f))))..(test-en
5d20: 64 29 20 3b 20 38 2e 38 0a 0a 28 74 65 73 74 2d d) ; 8.8..(test-
5d30: 65 6e 64 20 22 38 2e 20 54 65 73 74 2d 72 75 6e end "8. Test-run
5d40: 6e 65 72 22 29 0a 0a 28 74 65 73 74 2d 62 65 67 ner")..(test-beg
5d50: 69 6e 20 22 39 2e 20 54 65 73 74 20 52 65 73 75 in "9. Test Resu
5d60: 6c 74 20 50 72 6f 70 65 72 74 69 65 73 22 29 0a lt Properties").
5d70: 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 39 2e .(test-begin "9.
5d80: 31 2e 20 74 65 73 74 2d 72 65 73 75 6c 74 2d 61 1. test-result-a
5d90: 6c 69 73 74 22 29 0a 0a 28 64 65 66 69 6e 65 20 list")..(define
5da0: 28 73 79 6d 62 6f 6c 2d 61 6c 69 73 74 3f 20 6c (symbol-alist? l
5db0: 29 0a 20 20 28 69 66 20 28 6e 75 6c 6c 3f 20 6c ). (if (null? l
5dc0: 29 0a 20 20 20 20 20 20 23 74 0a 20 20 20 20 20 ). #t.
5dd0: 20 28 61 6e 64 20 28 70 61 69 72 3f 20 6c 29 0a (and (pair? l).
5de0: 20 20 20 20 20 20 20 20 20 20 20 28 70 61 69 72 (pair
5df0: 3f 20 28 63 61 72 20 6c 29 29 0a 20 20 20 20 20 ? (car l)).
5e00: 20 20 20 20 20 20 28 73 79 6d 62 6f 6c 3f 20 28 (symbol? (
5e10: 63 61 61 72 20 6c 29 29 0a 20 20 20 20 20 20 20 caar l)).
5e20: 20 20 20 20 28 73 79 6d 62 6f 6c 2d 61 6c 69 73 (symbol-alis
5e30: 74 3f 20 28 63 64 72 20 6c 29 29 29 29 29 0a 0a t? (cdr l)))))..
5e40: 3b 3b 3b 20 63 68 65 63 6b 20 74 68 65 20 76 61 ;;; check the va
5e50: 72 69 6f 75 73 20 73 79 6e 74 61 63 74 69 63 20 rious syntactic
5e60: 66 6f 72 6d 73 0a 0a 28 74 65 73 74 2d 61 73 73 forms..(test-ass
5e70: 65 72 74 20 28 73 79 6d 62 6f 6c 2d 61 6c 69 73 ert (symbol-alis
5e80: 74 3f 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 t?.
5e90: 20 28 63 61 72 20 28 6f 6e 2d 74 65 73 74 2d 72 (car (on-test-r
5ea0: 75 6e 6e 65 72 0a 20 20 20 20 20 20 20 20 20 20 unner.
5eb0: 20 20 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 (lambd
5ec0: 61 20 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 a ().
5ed0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
5ee0: 2d 61 73 73 65 72 74 20 23 74 29 29 0a 20 20 20 -assert #t)).
5ef0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5f00: 20 28 6c 61 6d 62 64 61 20 28 72 29 0a 20 20 20 (lambda (r).
5f10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5f20: 20 20 20 28 74 65 73 74 2d 72 65 73 75 6c 74 2d (test-result-
5f30: 61 6c 69 73 74 20 72 29 29 29 29 29 29 0a 0a 28 alist r))))))..(
5f40: 74 65 73 74 2d 61 73 73 65 72 74 20 28 73 79 6d test-assert (sym
5f50: 62 6f 6c 2d 61 6c 69 73 74 3f 0a 20 20 20 20 20 bol-alist?.
5f60: 20 20 20 20 20 20 20 20 20 28 63 61 72 20 28 6f (car (o
5f70: 6e 2d 74 65 73 74 2d 72 75 6e 6e 65 72 0a 20 20 n-test-runner.
5f80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5f90: 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 (lambda ().
5fa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5fb0: 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 (test-assert
5fc0: 23 74 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 #t)).
5fd0: 20 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 (lambda
5fe0: 20 28 72 29 0a 20 20 20 20 20 20 20 20 20 20 20 (r).
5ff0: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
6000: 2d 72 65 73 75 6c 74 2d 61 6c 69 73 74 20 72 29 -result-alist r)
6010: 29 29 29 29 29 0a 0a 3b 3b 3b 20 63 68 65 63 6b )))))..;;; check
6020: 20 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 74 68 to make sure th
6030: 65 20 72 65 71 75 69 72 65 64 20 70 72 6f 70 65 e required prope
6040: 72 74 69 65 73 20 61 72 65 20 72 65 74 75 72 6e rties are return
6050: 65 64 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 ed..(test-equal
6060: 27 28 28 72 65 73 75 6c 74 2d 6b 69 6e 64 20 2e '((result-kind .
6070: 20 70 61 73 73 29 29 0a 09 20 20 20 20 28 70 72 pass)).. (pr
6080: 6f 70 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 20 op-runner.
6090: 20 20 20 20 20 20 20 27 28 72 65 73 75 6c 74 2d '(result-
60a0: 6b 69 6e 64 29 0a 20 20 20 20 20 20 20 20 20 20 kind).
60b0: 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 (lambda ().
60c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
60d0: 73 74 2d 61 73 73 65 72 74 20 23 74 29 29 29 0a st-assert #t))).
60e0: 09 20 20 20 20 29 0a 0a 28 74 65 73 74 2d 65 71 . )..(test-eq
60f0: 75 61 6c 20 0a 20 20 20 20 20 20 20 20 20 20 20 ual .
6100: 20 27 28 28 72 65 73 75 6c 74 2d 6b 69 6e 64 20 '((result-kind
6110: 2e 20 66 61 69 6c 29 0a 20 20 20 20 20 20 20 20 . fail).
6120: 20 20 20 20 20 20 28 65 78 70 65 63 74 65 64 2d (expected-
6130: 76 61 6c 75 65 20 2e 20 32 29 0a 20 20 20 20 20 value . 2).
6140: 20 20 20 20 20 20 20 20 20 28 61 63 74 75 61 6c (actual
6150: 2d 76 61 6c 75 65 20 2e 20 33 29 29 0a 09 20 20 -value . 3))..
6160: 20 20 28 70 72 6f 70 2d 72 75 6e 6e 65 72 0a 20 (prop-runner.
6170: 20 20 20 20 20 20 20 20 20 20 20 20 27 28 72 65 '(re
6180: 73 75 6c 74 2d 6b 69 6e 64 20 65 78 70 65 63 74 sult-kind expect
6190: 65 64 2d 76 61 6c 75 65 20 61 63 74 75 61 6c 2d ed-value actual-
61a0: 76 61 6c 75 65 29 0a 20 20 20 20 20 20 20 20 20 value).
61b0: 20 20 20 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 (lambda ().
61c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 (t
61d0: 65 73 74 2d 65 71 75 61 6c 20 32 20 28 2b 20 31 est-equal 2 (+ 1
61e0: 20 32 29 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 2)))))..(test-e
61f0: 6e 64 20 22 39 2e 31 2e 20 74 65 73 74 2d 72 65 nd "9.1. test-re
6200: 73 75 6c 74 2d 61 6c 69 73 74 22 29 0a 0a 28 74 sult-alist")..(t
6210: 65 73 74 2d 62 65 67 69 6e 20 22 39 2e 32 2e 20 est-begin "9.2.
6220: 74 65 73 74 2d 72 65 73 75 6c 74 2d 72 65 66 22 test-result-ref"
6230: 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 27 )..(test-equal '
6240: 28 70 61 73 73 29 0a 09 20 20 20 20 28 6f 6e 2d (pass).. (on-
6250: 74 65 73 74 2d 72 75 6e 6e 65 72 0a 20 20 20 20 test-runner.
6260: 20 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 (lambda
6270: 20 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ().
6280: 20 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 (test-assert
6290: 23 74 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 #t)).
62a0: 20 20 28 6c 61 6d 62 64 61 20 28 72 29 0a 20 20 (lambda (r).
62b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 (te
62c0: 73 74 2d 72 65 73 75 6c 74 2d 72 65 66 20 72 20 st-result-ref r
62d0: 27 72 65 73 75 6c 74 2d 6b 69 6e 64 29 29 29 29 'result-kind))))
62e0: 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 27 28 ..(test-equal '(
62f0: 70 61 73 73 29 0a 09 20 20 20 20 28 6f 6e 2d 74 pass).. (on-t
6300: 65 73 74 2d 72 75 6e 6e 65 72 0a 20 20 20 20 20 est-runner.
6310: 20 20 20 20 20 20 20 20 28 6c 61 6d 62 64 61 20 (lambda
6320: 28 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ().
6330: 20 20 28 74 65 73 74 2d 61 73 73 65 72 74 20 23 (test-assert #
6340: 74 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 t)).
6350: 20 28 6c 61 6d 62 64 61 20 28 72 29 0a 20 20 20 (lambda (r).
6360: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
6370: 74 2d 72 65 73 75 6c 74 2d 72 65 66 20 72 20 27 t-result-ref r '
6380: 72 65 73 75 6c 74 2d 6b 69 6e 64 29 29 29 29 0a result-kind)))).
6390: 0a 28 74 65 73 74 2d 65 71 75 61 6c 20 27 28 66 .(test-equal '(f
63a0: 61 69 6c 20 70 61 73 73 29 0a 09 20 20 20 20 28 ail pass).. (
63b0: 6f 6e 2d 74 65 73 74 2d 72 75 6e 6e 65 72 0a 20 on-test-runner.
63c0: 20 20 20 20 20 20 20 20 20 20 20 20 28 6c 61 6d (lam
63d0: 62 64 61 20 28 29 0a 20 20 20 20 20 20 20 20 20 bda ().
63e0: 20 20 20 20 20 20 28 74 65 73 74 2d 61 73 73 65 (test-asse
63f0: 72 74 20 28 3d 20 31 20 32 29 29 0a 20 20 20 20 rt (= 1 2)).
6400: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
6410: 2d 61 73 73 65 72 74 20 28 3d 20 31 20 31 29 29 -assert (= 1 1))
6420: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28 ). (
6430: 6c 61 6d 62 64 61 20 28 72 29 0a 20 20 20 20 20 lambda (r).
6440: 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 2d (test-
6450: 72 65 73 75 6c 74 2d 72 65 66 20 72 20 27 72 65 result-ref r 're
6460: 73 75 6c 74 2d 6b 69 6e 64 29 29 29 29 0a 0a 28 sult-kind))))..(
6470: 74 65 73 74 2d 65 6e 64 20 22 39 2e 32 2e 20 74 test-end "9.2. t
6480: 65 73 74 2d 72 65 73 75 6c 74 2d 72 65 66 22 29 est-result-ref")
6490: 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 39 ..(test-begin "9
64a0: 2e 33 2e 20 74 65 73 74 2d 72 65 73 75 6c 74 2d .3. test-result-
64b0: 73 65 74 21 22 29 0a 0a 28 74 65 73 74 2d 65 71 set!")..(test-eq
64c0: 75 61 6c 20 27 28 31 30 30 20 31 30 30 29 0a 09 ual '(100 100)..
64d0: 20 20 20 20 28 6f 6e 2d 74 65 73 74 2d 72 75 6e (on-test-run
64e0: 6e 65 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 ner.
64f0: 20 28 6c 61 6d 62 64 61 20 28 29 0a 20 20 20 20 (lambda ().
6500: 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 74 (test
6510: 2d 61 73 73 65 72 74 20 28 3d 20 31 20 32 29 29 -assert (= 1 2))
6520: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
6530: 28 74 65 73 74 2d 61 73 73 65 72 74 20 28 3d 20 (test-assert (=
6540: 31 20 31 29 29 29 0a 20 20 20 20 20 20 20 20 20 1 1))).
6550: 20 20 20 20 28 6c 61 6d 62 64 61 20 28 72 29 0a (lambda (r).
6560: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
6570: 74 65 73 74 2d 72 65 73 75 6c 74 2d 73 65 74 21 test-result-set!
6580: 20 72 20 27 66 6f 6f 20 31 30 30 29 0a 20 20 20 r 'foo 100).
6590: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 65 73 (tes
65a0: 74 2d 72 65 73 75 6c 74 2d 72 65 66 20 72 20 27 t-result-ref r '
65b0: 66 6f 6f 29 29 29 29 0a 0a 28 74 65 73 74 2d 65 foo))))..(test-e
65c0: 6e 64 20 22 39 2e 33 2e 20 74 65 73 74 2d 72 65 nd "9.3. test-re
65d0: 73 75 6c 74 2d 73 65 74 21 22 29 0a 0a 28 74 65 sult-set!")..(te
65e0: 73 74 2d 65 6e 64 20 22 39 2e 20 54 65 73 74 20 st-end "9. Test
65f0: 52 65 73 75 6c 74 20 50 72 6f 70 65 72 74 69 65 Result Propertie
6600: 73 22 29 0a 0a 3b 3b 3b 0a 3b 3b 3b 0a 3b 3b 3b s")..;;;.;;;.;;;
6610: 0a 0a 23 7c 20 20 54 69 6d 65 20 74 6f 20 73 74 ..#| Time to st
6620: 6f 70 20 68 61 76 69 6e 67 20 66 75 6e 2e 2e 2e op having fun...
6630: 0a 0a 28 74 65 73 74 2d 62 65 67 69 6e 20 22 39 ..(test-begin "9
6640: 2e 20 46 6f 72 20 66 75 6e 2c 20 73 6f 6d 65 20 . For fun, some
6650: 6d 65 74 61 2d 74 65 73 74 20 65 72 72 6f 72 73 meta-test errors
6660: 22 29 0a 0a 28 74 65 73 74 2d 65 71 75 61 6c 0a ")..(test-equal.
6670: 20 22 39 2e 31 2e 20 52 65 61 6c 6c 79 20 50 41 "9.1. Really PA
6680: 53 53 65 73 2c 20 62 75 74 20 74 65 73 74 20 6c SSes, but test l
6690: 69 6b 65 20 69 74 20 73 68 6f 75 6c 64 20 46 41 ike it should FA
66a0: 49 4c 22 0a 20 27 28 28 29 20 28 22 62 22 29 20 IL". '(() ("b")
66b0: 28 29 20 28 29 20 28 29 29 0a 20 28 74 72 69 76 () () ()). (triv
66c0: 2d 72 75 6e 6e 65 72 0a 20 20 28 6c 61 6d 62 64 -runner. (lambd
66d0: 61 20 28 29 0a 20 20 20 20 28 74 65 73 74 2d 61 a (). (test-a
66e0: 73 73 65 72 74 20 22 62 22 20 23 74 29 29 29 29 ssert "b" #t))))
66f0: 0a 0a 28 74 65 73 74 2d 65 78 70 65 63 74 2d 66 ..(test-expect-f
6700: 61 69 6c 20 22 39 2e 32 2e 20 45 78 70 65 63 74 ail "9.2. Expect
6710: 20 74 6f 20 46 41 49 4c 20 61 6e 64 20 64 6f 20 to FAIL and do
6720: 73 6f 22 29 0a 28 74 65 73 74 2d 65 78 70 65 63 so").(test-expec
6730: 74 2d 66 61 69 6c 20 22 39 2e 33 2e 20 45 78 70 t-fail "9.3. Exp
6740: 65 63 74 20 74 6f 20 46 41 49 4c 20 62 75 74 20 ect to FAIL but
6750: 50 41 53 53 22 29 0a 28 74 65 73 74 2d 73 6b 69 PASS").(test-ski
6760: 70 20 22 39 2e 34 2e 20 53 4b 49 50 20 74 68 69 p "9.4. SKIP thi
6770: 73 20 6f 6e 65 22 29 0a 0a 28 74 65 73 74 2d 61 s one")..(test-a
6780: 73 73 65 72 74 20 22 39 2e 32 2e 20 45 78 70 65 ssert "9.2. Expe
6790: 63 74 20 74 6f 20 46 41 49 4c 20 61 6e 64 20 64 ct to FAIL and d
67a0: 6f 20 73 6f 22 20 23 66 29 0a 28 74 65 73 74 2d o so" #f).(test-
67b0: 61 73 73 65 72 74 20 22 39 2e 33 2e 20 45 78 70 assert "9.3. Exp
67c0: 65 63 74 20 74 6f 20 46 41 49 4c 20 62 75 74 20 ect to FAIL but
67d0: 50 41 53 53 22 20 23 74 29 0a 28 74 65 73 74 2d PASS" #t).(test-
67e0: 61 73 73 65 72 74 20 22 39 2e 34 2e 20 53 4b 49 assert "9.4. SKI
67f0: 50 20 74 68 69 73 20 6f 6e 65 22 20 23 74 29 0a P this one" #t).
6800: 0a 28 74 65 73 74 2d 65 6e 64 29 0a 20 7c 23 0a .(test-end). |#.
6810: 0a 28 74 65 73 74 2d 65 6e 64 20 22 53 52 46 49 .(test-end "SRFI
6820: 20 36 34 20 2d 20 4d 65 74 61 2d 54 65 73 74 20 64 - Meta-Test
6830: 53 75 69 74 65 22 29 0a 0a 3b 3b 3b 0a Suite")..;;;.