From a6719eb1242bd95436e972946392092319b7b1ed Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Sun, 9 Feb 2020 23:24:37 -0500
Subject: [PATCH] edit info files to enable raco test typed/

---
 racket/syndicate-gui-toolbox/info.rkt | 3 +++
 racket/typed/info.rkt                 | 8 ++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 racket/typed/info.rkt

diff --git a/racket/syndicate-gui-toolbox/info.rkt b/racket/syndicate-gui-toolbox/info.rkt
index c14a2ca..6ce60ad 100644
--- a/racket/syndicate-gui-toolbox/info.rkt
+++ b/racket/syndicate-gui-toolbox/info.rkt
@@ -1 +1,4 @@
 #lang setup/infotab
+
+(define compile-omit-paths
+  '("examples"))
diff --git a/racket/typed/info.rkt b/racket/typed/info.rkt
new file mode 100644
index 0000000..33cf103
--- /dev/null
+++ b/racket/typed/info.rkt
@@ -0,0 +1,8 @@
+#lang info
+
+(define compile-omit-paths
+  '("examples"
+    "tests"))
+
+(define test-omit-paths
+  '("examples/roles/chat-tcp2.rkt"))