scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

utils.rkt: Add dotit.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-12-21 23:23:11 +01:00
parent 676e9226a3
commit e73cdc2366
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
utils.rkt
View file

@ -1,7 +1,8 @@
#lang typed/racket #lang typed/racket
(require (for-syntax syntax/parse racket/list) (require (for-syntax syntax/parse racket/list)
typed-compose) typed-compose
"graph-typed.rkt")
(provide Variable VariableMapping GeneralPair (provide Variable VariableMapping GeneralPair
eval-with eval1-with eval-with eval1-with
@ -250,3 +251,7 @@
(check-equal? (hash-ref m1 'b) '(or b (not a))) (check-equal? (hash-ref m1 'b) '(or b (not a)))
(check-equal? (hash-ref m2 'b) '(or b (not a))) (check-equal? (hash-ref m2 'b) '(or b (not a)))
(check-equal? (hash-ref m3 'b) '(or b (not a))))) (check-equal? (hash-ref m3 'b) '(or b (not a)))))
;;; Typeset the graph via graphviz and display it.
(: dotit (-> Graph Void))
(define dotit (compose display graphviz))