use #lang reprovide

info.rkt

@@ -15,6 +15,7 @@
     "alexis-util"
     "sweet-exp"
     "kw-make-struct"
+    "reprovide-lang"
     "scribble-lib"))
 
 

lens/main.rkt

@@ -1,7 +1,2 @@
-#lang sweet-exp racket/base
+#lang reprovide
-
-require "private/main.rkt"
-
-provide
-  all-from-out
 "private/main.rkt"

lens/private/base/main.rkt

@@ -1,12 +1,4 @@
-#lang sweet-exp racket/base
+#lang reprovide
-
-require
-  "base.rkt"
-  "view-set.rkt"
-  "transform.rkt"
-
-provide
-  all-from-out
 "base.rkt"
 "view-set.rkt"
 "transform.rkt"

lens/private/compound/main.rkt

@@ -1,16 +1,4 @@
-#lang sweet-exp racket/base
+#lang reprovide
-
-require
-  "compose.rkt"
-  "identity.rkt"
-  "join-hash.rkt"
-  "join-list.rkt"
-  "join-string.rkt"
-  "join-vector.rkt"
-  "thrush.rkt"
-
-provide
-  all-from-out
 "compose.rkt"
 "identity.rkt"
 "join-hash.rkt"

lens/private/hash/main.rkt

@@ -1,12 +1,4 @@
-#lang racket/base
+#lang reprovide
-
+"nested.rkt"
-
-(require "nested.rkt"
 "pick.rkt"
-         "ref.rkt")
+"ref.rkt"
-
-
-(provide
- (all-from-out "nested.rkt"
-               "pick.rkt"
-               "ref.rkt"))

lens/private/list/main.rkt

@@ -1,14 +1,6 @@
-#lang racket/base
+#lang reprovide
-
-(require "car-cdr.rkt"
-         "list-ref-take-drop.rkt"
-         "cadr-etc.rkt"
-         "multi.rkt"
-         "assoc.rkt")
-
-(provide (all-from-out
 "car-cdr.rkt"
 "list-ref-take-drop.rkt"
 "cadr-etc.rkt"
 "multi.rkt"
-          "assoc.rkt"))
+"assoc.rkt"

lens/private/main.rkt

@@ -1,19 +1,6 @@
-#lang sweet-exp racket/base
+#lang sweet-exp reprovide
-
+except-in
-require
+  combine-in
-  "base/main.rkt"
-  "compound/main.rkt"
-  "dict.rkt"
-  "hash/main.rkt"
-  "list/main.rkt"
-  "stream.rkt"
-  "string.rkt"
-  "struct/main.rkt"
-  "vector/main.rkt"
-
-provide
-  except-out
-    all-from-out
     "base/main.rkt"
     "compound/main.rkt"
     "dict.rkt"

lens/private/struct/main.rkt

@@ -1,8 +1,3 @@
-#lang racket/base
+#lang reprovide
-
+"field.rkt"
-(require "field.rkt"
+"struct.rkt"
-         "struct.rkt")
-
-(provide
- (all-from-out "field.rkt"
-               "struct.rkt"))

lens/private/vector/main.rkt

@@ -1,12 +1,4 @@
-#lang racket/base
+#lang reprovide
-
+"nested.rkt"
-
-(require "nested.rkt"
 "pick.rkt"
-         "ref.rkt")
+"ref.rkt"
-
-
-(provide
- (all-from-out "nested.rkt"
-               "pick.rkt"
-               "ref.rkt"))

unstable/lens.rkt

@@ -1,5 +1,2 @@
-#lang racket/base
+#lang reprovide
-
+"lens/main.rkt"
-(require "lens/main.rkt")
-
-(provide (all-from-out "lens/main.rkt"))

unstable/lens/isomorphism.rkt

@@ -1,10 +1,3 @@
-#lang sweet-exp racket/base
+#lang reprovide
-
-require
-  "isomorphism/base.rkt"
-  "isomorphism/data.rkt"
-
-provide
-  all-from-out
 "isomorphism/base.rkt"
 "isomorphism/data.rkt"

unstable/lens/main.rkt

@@ -1,6 +1,4 @@
-#lang sweet-exp racket/base
+#lang reprovide
-require lens/private/util/reprovide
-reprovide
 "arrow.rkt"
 "if.rkt"
 "isomorphism.rkt"
@@ -13,4 +11,3 @@ reprovide
 "sublist.rkt"
 "syntax.rkt"
 "view-set.rkt"
-