www

commit 6618f0e038842072b6a409afe99ce02524a21c3f
parent 0084146c1c70ffa34e81b0c60ffe101aac093d7b
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Wed, 25 Jan 2017 10:47:42 -0500

remove dependency on typed racket and sweet-exp

Diffstat:
M
info.rkt
 | 
2
--
M
macrotypes/info.rkt
 | 
3
+++
M
turnstile/examples/trivial.rkt
 | 
3
+++
M
turnstile/info.rkt
 | 
8
++++++--

4 files changed, 12 insertions(+), 4 deletions(-)
diff --git 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
@@ -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
@@ -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
@@ -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
+