make test has failing tests

[mjdwitt]

After successfully (I think) building with Racket, make test produces some failing tests:

regiment test

;; Performing all unit tests.  First ensuring all libraries initialized...
;;   All libraries initialized.


;; Testing module: "helpers.ss: my messy utils file."
;; (with test output suppressed)
0  (atom? '#()) -> #t: RUNNING TEST 
PASS
1  99 -> 99: RUNNING TEST 
PASS
2  (deep-all-matches null? '(1 (3) (4 . 5))) -> (() ()): RUNNING TEST 
PASS
3  (deep-all-matches list? '(1 (3) (4 . 5))) -> ((1 (3) (4 . 5)) ...: RUNNING TEST 
PASS
4  (deep-all-matches (lambda (x) (and (number? x) (even? x))) '(1 (3) ... -> (4): RUNNING TEST 
PASS
5  (deep-all-matches (lambda (x) (and (number? x) (odd? x))) '(1 (3) (... -> (1 3 5): RUNNING TEST 
PASS
6  (deep-all-matches (lambda (x) (and (number? x) (odd? x))) '#(1 #(3)... -> (1 3 5): RUNNING TEST 
PASS
7  (deep-assq 3 '(9 (4 (1 2 a) 4))) -> #f: RUNNING TEST 
PASS
8  (deep-assq 3 '(9 (4 (1 2 3 9 a) 4))) -> (3 9 a): RUNNING TEST 
PASS
9  (deep-assq 3 '(9 (4 ((3 9 a) 4)))) -> (3 9 a): RUNNING TEST 
PASS
10  (deep-member? 3 '(9 (4 ((3 9 a) 4)))) -> #t: RUNNING TEST 
PASS
11  (deep-member? 3 '(9 (4 ((9 a) 4)))) -> #f: RUNNING TEST 
PASS
12  (string-split "abc def qet foo faz " #\x0020) -> ('abc' 'def' 'qet...: RUNNING TEST 
PASS
13  (string-split "abc def qet foo   faz" #\x0020) -> ('abc' 'def' 'qet...: RUNNING TEST 
PASS
14  (with-output-to-string (lambda () (display-constrained 'test  ' '(a... -> 'test  abcdefg......: RUNNING TEST 
PASS
15  (graph-get-connected-component 'e '((a b c) (b c) (c) (d e f) (e g ... -> (h g e): RUNNING TEST 
PASS
16  (graph-get-connected-component 'h '((a b c) (b c) (c) (d e f) (e g ... -> (h): RUNNING TEST 
PASS
17  (graph-get-connected-component 'a '((a b c) (b c) (c) (d e f) (e g ... -> (c b a): RUNNING TEST 
PASS
18  (graph-get-connected-component 'a '((a b) (b a))) -> (b a): RUNNING TEST 
PASS
19  (graph-get-connected-component 'a '((a b) (b a c))) -> (c b a): RUNNING TEST 
PASS
20  (list (substring? 'ab' 'abc') (substring? 'ab' 'a') (substring? 'ab... -> (#t #f #t #t #f): RUNNING TEST 
PASS
   "Test with-error-handlers"
21  (let ((return '())) (let/ec k (with-error-handlers disp (lambda () ... -> (1): RUNNING TEST 
PASS
   "Apply ordered."
22  (let ((x '())) (apply-ordered list (set! x (cons 1 x)) (set! x (con... -> (1 2 3): RUNNING TEST 
PASS
23  (map cadr (histogram '(1 1 1 2 3 4 5 5 5 5 6 6) 2)) -> (4 2 6): RUNNING TEST 
PASS
24  (map cadr (histogram '(1 1 1 2 3 4 5 5 5 5 6 6 7) 2)) -> (4 2 6 1): RUNNING TEST 
PASS


;; Testing module: "streams.ss: Implementation of streams as lazy lists."
;; (with test output suppressed)
0  (mvlet (((x _) (stream-take 5 iota-stream))) x) -> (0 1 2 3 4): RUNNING TEST 
PASS
1  (mvlet (((x _) (stream-take 3 `(1 2 . ,(delay '(3)))))) x) -> (1 2 3): RUNNING TEST 
PASS
2  (mvlet (((x _) (stream-take 10 (stream-filter even? iota-stream))))... -> (0 2 4 6 8 10 12 ...: RUNNING TEST 
PASS
3  (stream-cdr (delay '(1))) -> (): RUNNING TEST 
PASS
4  (stream-car (delay '(1))) -> 1: RUNNING TEST 
PASS
   "stream-map"
5  (mvlet (((ls _) (stream-take 3 (stream-map add1 '(1 2 3))))) ls) -> (2 3 4): RUNNING TEST 
PASS
   "stream-map"
6  (mvlet (((ls _) (stream-take 3 (stream-map add1 (stream-cons 1 (str... -> (2 3 4): RUNNING TEST 
PASS
   "stream-filter"
7  (stream-take-all (stream-filter odd? (stream-cons 1 (stream-cons 2 ... -> (1 3): RUNNING TEST 
PASS
   "stream-append: Shouldn't hit the error."
8  (stream-car (stream-cdr (stream-append (delay (append '(1 2) (delay... -> 2: RUNNING TEST 
PASS
   "stream-append: Should hit the error."
9  (stream-car (stream-cdr (stream-append (delay (cons 1 (delay (error... -> error: RUNNING TEST 
PASS


;; Testing module: "regiment_helpers.ss: Regiment-specific utils."
;; (with test output suppressed)
   "Reunique names"
0  (reunique-names '(foo_3 foo_43 foo_3 foo)) -> (foo foo_1 foo fo...: RUNNING TEST 
PASS
   "Reunique names #2"
1  (reunique-names '(foo_3 (bar_3) foo_43 foo_3 (bar_3 bar_4))) -> (foo (bar) foo_1 ...: RUNNING TEST 
PASS
2  (peel-annotations '(src-pos p (assert-type Int x))) -> x: RUNNING TEST 
PASS
3  (apply/annotations '(src-pos p (assert-type Int x)) (lambda (_ k) (... -> (src-pos p (asser...: RUNNING TEST 
PASS


;; Testing module: "Type Representations"
;; (with test output suppressed)
   "NUM must have vars attached"
0  (type? '#((NUM Int) (NUM Float))) -> #f: RUNNING TEST 
PASS
1  (type? '(NUM a)) -> #t: RUNNING TEST 
PASS
2  (type? '(Int -> (NUM a))) -> #t: RUNNING TEST 

FAIL: Expected: 
#t

      Received: 
#f

      For Test: 
{type? {quote {Int -> {NUM a}}}}

      Test Output:
----------------------------------------
----------------------------------------
Violating test bound to global-variable, try (reg:top-level-eval (top-level-value 'failed-unit-test))
Expected and received also bound to globals, consider: (diff (top-level-value 'unit-test-expected) (top-level-value 'unit-test-received))
If test output was suppressed, you may wish to inspect it: (display (top-level-value 'default-unit-tester-output))

Because we're in batch mode, printing unit test output here:
======================================================================

[mjdwitt]

This turns out to be a bug specific to Racket builds. When building with Chez, we use a version of match built by Ryan, but Racket uses its own match for Racket builds and apparently there are some differences in how they handle ellipses.

There are other bugs in Chez builds resulting from the wavescript FIFO reimplementation from a while ago where FIFO:andmap was never reimplemented. Those are the only failing tests for Chez builds, so we'll just comment them out for now and bring them back when we reimplement FIFO:andmap. (See issue #17.)

We should come back to the Racket issues at some point, but for now we're focused on getting wavescript working at all.

[joshcox]

Fixed #17. Waiting on Racket.