Cleanup, parallel compilation and test in make/make.rkt, verbose coverage with cover -v (it takes a long time, so it's nice to see what it's doing).

graph/graph/__DEBUG_graph_1__.rkt

@@ -1,47 +0,0 @@
-#lang typed/racket
-
-(module m typed/racket
-  (define foo
-    (let ()
-      (define-type Foo (List 'foo (U Bar One)))
-      (define-type Bar (List 'bar (U Foo Zero)))
-      
-      (ann (list 'foo (list 'bar 0)) Foo)))
-  
-  (provide foo))
-
-(require 'm)
-
-;(: f (∀ (A) (→ (List Symbol A) A)))
-;(define (f x) (cadr x))
-
-;(unpack (s-f foo))
-
-(cadr foo)
-
-#|
-(module m typed/racket
-  (struct (A) s ([f : A]))
-  (define foo
-    (let ()
-      (define-type Foo (List 'foo (U (s Foo) (s Bar) One)))
-      (define-type Bar (List 'bar (U (s Foo) (s Bar) Zero)))
-      
-      (ann (s (list 'foo 1)) (s Foo))))
-
-  ;(: unpack (∀ (A) (→ (List Symbol A) A)))
-  ;(define (unpack x) (cadr x))
-  
-  (provide (struct-out s)
-           ;unpack
-           foo))
-
-(require 'm)
-
-;(: f (∀ (A) (→ (List Symbol A) A)))
-;(define (f x) (cadr x))
-
-;(unpack (s-f foo))
-
-(s-f foo)
-|#

graph/graph/__DEBUG_graph_2__.rkt

@@ -1,21 +0,0 @@
-#lang typed/racket
-
-(module m typed/racket
-  (define-type (TFoo A B) (List 'foo (U (TFoo A B) (TBar A B) A)))
-  (define-type (TBar A B) (List 'bar (U (TFoo A B) (TBar A B) B)))
-  
-  (define foo
-    (let ()
-      (define-type Foo (TFoo One Zero))
-      (define-type Bar (TBar One Zero))
-
-      (ann (list 'foo 1) Foo)))
-  
-  (provide foo))
-
-(require 'm)
-
-(: f (∀ (A) (→ (List Symbol A) Any)))
-(define (f x) 2)
-
-(f foo)

graph/graph/__DEBUG_graph_lift__.rkt

@@ -1,9 +0,0 @@
-#lang typed/racket
-
-(define-syntax (l stx)
-  #`(let ()
-      (syntax-local-lift-expression (define-type Foo (List 'foo Foo Bar One)))
-      (syntax-local-lift-expression (define-type Bar (List 'foo Foo Bar One)))
-      1))
-
-(l)

graph/graph/__DEBUG_graph_no_forall__.rkt

@@ -1,21 +0,0 @@
-#lang typed/racket
-
-(module m typed/racket
-  (define-values (x f)
-    (let ()
-      (define-type X (List (U X Null)))
-      
-      (define (f [x : X]) : Integer
-        (if (null? (car x))
-            0
-            (add1 (f (car x)))))
-      
-      (define x : X (list (list (list '()))))
-      
-      (values x f)))
-  
-  (provide x f))
-
-(require 'm)
-
-(f x)

graph/make/make.rkt

@@ -148,6 +148,7 @@
 
 (run! `(,(find-executable-path-or-fail "raco")
         "make"
+        "-j" "8"
         ,@rkt-files))
 
 (make/proc
@@ -180,8 +181,10 @@
 
 (run! `(,(find-executable-path-or-fail "raco")
         "cover"
+        "-v"
         ,@(exclude-dirs rkt-files (list "make/"))))
 
 (run! `(,(find-executable-path-or-fail "raco")
         "test"
+        "-j" "8"
         ,@(exclude-dirs rkt-files (list "make/"))))