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

Try it out in the tests

This commit is contained in:
Tony Garnock-Jones 2015-07-14 17:44:12 -04:00
parent 2b0ec0d632
commit b2e94f63b4
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
prospect/route.rkt
View File

@ -1023,7 +1023,16 @@
(pretty-print-matcher m)
(flush-output)
m)
(define (pretty-print-matcher*/dot m)
(newline)
(display (matcher->dot (matcher-relabel m (lambda (v)
(if (treap? v)
(map car (treap-to-alist v))
v)))))
(flush-output)
m)
(void (pretty-print-matcher*
(matcher-union (pattern->matcher SA (list (list ?) 'x))
(pattern->matcher SB (list (list ?) 'y)))))
@ -1580,8 +1589,10 @@
(module+ test
(void
(pretty-print-matcher* (matcher-union (pattern->matcher SA ?)
(pattern->matcher SB (list ? '- ?))))))
(let ((m (matcher-union (pattern->matcher SA ?)
(pattern->matcher SB (list ? '- ?)))))
(pretty-print-matcher* m)
(pretty-print-matcher*/dot m))))
(module+ test
(let ()