From 6618f0e038842072b6a409afe99ce02524a21c3f Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Wed, 25 Jan 2017 10:47:42 -0500
Subject: [PATCH] remove dependency on typed racket and sweet-exp

---
 info.rkt                       | 2 --
 macrotypes/info.rkt            | 3 +++
 turnstile/examples/trivial.rkt | 3 +++
 turnstile/info.rkt             | 8 ++++++--
 4 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/info.rkt b/info.rkt
index 53e090f..05a4f6f 100644
--- a/info.rkt
+++ b/info.rkt
@@ -4,9 +4,7 @@
 
 (define deps
   '("base"
-    "sweet-exp-lib"
     "lens"
-    "typed-racket-lib"
     ))
 
 (define build-deps
diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt
index 3bbd4cc..83ccaee 100644
--- a/macrotypes/info.rkt
+++ b/macrotypes/info.rkt
@@ -2,3 +2,6 @@
 
 (define compile-omit-paths 
   '("examples/tests"))
+
+(define test-omit-paths
+  '("examples/tests/mlish/sweet-map.rkt")) ; needs sweet-exp
diff --git a/turnstile/examples/trivial.rkt b/turnstile/examples/trivial.rkt
index 00f5ba9..bf49307 100644
--- a/turnstile/examples/trivial.rkt
+++ b/turnstile/examples/trivial.rkt
@@ -1,6 +1,9 @@
 #lang turnstile
 (require (prefix-in tr: typed/racket))
 
+;; This file tries to extend Ben Greenman's trivial package with lambdas
+;; see tests/trivial-test.rkt for examples
+
 ;; TODO:
 ;; ) do I need separate → and CCs types, both with constraints?
 ;;   - yes?
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index 24bbc73..72b9428 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -5,8 +5,12 @@
 
 (define compile-omit-paths 
   '("examples/rosette"
-    "examples/tests"))
+    "examples/tests"
+    "examples/trivial.rkt"))
 
 (define test-omit-paths
   '("examples/rosette"
-    "examples/tests/rosette"))
+    "examples/tests/rosette"               ; needs rosette
+    "examples/tests/trivial-test.rkt"      ; needs typed/racket
+    "examples/tests/mlish/sweet-map.rkt")) ; needs sweet-exp
+