syndicate-lang
/
minimart-2014
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Another test

This commit is contained in:
Tony Garnock-Jones 2014-05-26 06:29:06 -04:00
parent 139adf074c
commit 3b2e2ad538
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
minimart/route.rkt
View File

@ -1176,11 +1176,14 @@
(let ((A (pattern->matcher SA ?)) (let ((A (pattern->matcher SA ?))
(B (pattern->matcher SB (list (list (list (list 'foo))))))) (B (pattern->matcher SB (list (list (list (list 'foo)))))))
(check-equal? (pretty-print-matcher* (matcher-erase-path (matcher-union A B) B)) (check-equal? (pretty-print-matcher* (matcher-erase-path (matcher-union A B) B))
A A))
'x))
(let ((A (pattern->matcher SA ?)) (let ((A (pattern->matcher SA ?))
(B (matcher-union (pattern->matcher SB (list (list (list (list 'foo))))) (B (matcher-union (pattern->matcher SB (list (list (list (list 'foo)))))
(pattern->matcher SB (list (list (list (list 'bar)))))))) (pattern->matcher SB (list (list (list (list 'bar))))))))
(check-equal? (pretty-print-matcher* (matcher-erase-path (matcher-union A B) B)) (check-equal? (pretty-print-matcher* (matcher-erase-path (matcher-union A B) B))
A A))
'x))) (let ((A (pattern->matcher SA ?))
(B (matcher-union (pattern->matcher SB (list (list (list (list 'foo)))))
(pattern->matcher SB (list (list (list (list 'bar))))))))
(check-equal? (pretty-print-matcher* (matcher-erase-path (matcher-union A B) A))
B)))