From 39e703b12798cb03b8d24bec551296a88efea29b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Thu, 26 Jan 2017 17:18:28 +0100
Subject: [PATCH] Timing info on test-graph-type.

---
 test/test-graph-type.rkt | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/test/test-graph-type.rkt b/test/test-graph-type.rkt
index 9416977..8aba2b0 100644
--- a/test/test-graph-type.rkt
+++ b/test/test-graph-type.rkt
@@ -1,11 +1,11 @@
 #lang typed/racket
-
-(require phc-adt
-         (lib "phc-graph/graph-type.hl.rkt"))
+;; 1.36s
+(require phc-adt)
+;; 3.26s
+(require (lib "phc-graph/graph-type.hl.rkt"))
+;; 3.46s
 (adt-init)
-
-(provide g1)
-
+;; 3.36
 (define-graph-type g1
   [City [name : String]
         [streets : (Listof Street)]
@@ -16,7 +16,9 @@
   [Person [name : String]]
   #:invariant City.citizens._ ∈ City.streets._.houses._.owner
   #:invariant City.citizens._ ∋ City.streets._.houses._.owner)
-
+;; 5.46
+(provide g1)
+;; 5.51s
 (require (for-syntax racket/pretty
                      racket/base))
 (eval #'(begin
@@ -25,6 +27,7 @@
               (pretty-print (syntax-local-value #'g1)))
             #'(void))
           (dbg)))
+;; 5.40
 
 (require (for-syntax syntax/parse
                      "../graph-info.hl.rkt"))
@@ -36,4 +39,5 @@
          #,(node-info-promise-type
             (hash-ref (graph-info-nodes (syntax-local-value #'g1)) 'City)))]))
 (dbg t-city)
-;(define-type expected (t-city Number String Symbol 'Database 'Index))
\ No newline at end of file
+;(define-type expected (t-city Number String Symbol 'Database 'Index))
+;; 6.76s