syndicate-lang
/
racket-matrix-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Test exposing fatal flaw

This commit is contained in:
Tony Garnock-Jones 2012-03-22 12:16:35 -04:00
parent 2e9d8b060e
commit 74dd849d3b
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
topicset.rkt
View File

@ -185,6 +185,10 @@
(check-equal? (// (list 'x) (list 'y)) (list (// 'x 'y)))
(check-equal? (// (list 'x) (list 'y)) (list (// 'y 'x)))
(check-false (pair? (// (cons 'x 'y) (cons 'z 'w) (cons 'z 'q))))
(check-equal? (// (cons 'x 'y) (cons 'z 'w) (cons 'z 'q))
(// (cons 'x 'y) (cons 'z (// 'w 'q))))
(check-equal? (topicset-union (list 'x) (list (// 'x 'y))) (list (// 'x 'y)))
(check-equal? (topicset-union (list 'y) (list (// 'x 'y))) (list (// 'x 'y)))
(check-equal? (topicset-union (list 'z) (list (// 'x 'y))) (list (// 'x 'y 'z)))