www

commit 9f9294dc4cb9a2748b1c21660bfae8b9ef2075e3
parent 6618f0e038842072b6a409afe99ce02524a21c3f
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Wed, 25 Jan 2017 14:18:13 -0500

reduce lens dependency to lens-common and lens-unstable

Diffstat:
M
info.rkt
 | 
3
++-
M
turnstile/examples/rosette/fsm.rkt
 | 
2
--
M
turnstile/turnstile.rkt
 | 
3
+--

3 files changed, 3 insertions(+), 5 deletions(-)
diff --git a/info.rkt b/info.rkt
@@ -4,7 +4,8 @@
 
 (define deps
   '("base"
-    "lens"
+    "lens-common"
+    "lens-unstable"
     ))
 
 (define build-deps
diff --git a/turnstile/examples/rosette/fsm.rkt b/turnstile/examples/rosette/fsm.rkt
@@ -7,8 +7,6 @@
                   reject verify-automaton debug-automaton synthesize-automaton))
 (provide (rename-out [rosette:choose ?]))
 
-(require (for-syntax lens unstable/lens))
-
 (provide FSM State Pict
          (typed-out [reject : State]
                     [verify-automaton : (→ FSM Regexp (List Symbol))]
diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt
@@ -12,8 +12,7 @@
 (require (except-in (rename-in
                      macrotypes/typecheck
                      [define-typed-syntax -define-typed-syntax]
-                     [define-syntax-category -define-syntax-category]
-                     )
+                     [define-syntax-category -define-syntax-category])
                     #%module-begin))
 
 (module typecheck+ racket/base