From e73cdc2366c385104dbf266d2216c4f8feb0f2a6 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 21 Dec 2020 23:23:11 +0100
Subject: [PATCH] utils.rkt: Add dotit.

---
 utils.rkt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/utils.rkt b/utils.rkt
index 2c97f5c..0587ea6 100644
--- a/utils.rkt
+++ b/utils.rkt
@@ -1,7 +1,8 @@
 #lang typed/racket
 
 (require (for-syntax syntax/parse racket/list)
-         typed-compose)
+         typed-compose
+         "graph-typed.rkt")
 
 (provide Variable VariableMapping GeneralPair
          eval-with eval1-with
@@ -250,3 +251,7 @@
     (check-equal? (hash-ref m1 '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)))))
+
+;;; Typeset the graph via graphviz and display it.
+(: dotit (-> Graph Void))
+(define dotit (compose display graphviz))