From bf0934ff6cc493780f43b7ce17c73c35427f6200 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Mon, 24 Aug 2015 17:20:45 -0400
Subject: [PATCH] use reprovide and include-sections

---
 lens/private/doc-util/include-sections.rkt |  8 +++++
 lens/private/doc-util/main.rkt             |  2 ++
 lens/private/util/reprovide.rkt            |  8 +++++
 unstable/lens/main.rkt                     | 39 ++++++++--------------
 unstable/lens/main.scrbl                   | 27 +++++++++------
 5 files changed, 47 insertions(+), 37 deletions(-)
 create mode 100644 lens/private/doc-util/include-sections.rkt
 create mode 100644 lens/private/util/reprovide.rkt

diff --git a/lens/private/doc-util/include-sections.rkt b/lens/private/doc-util/include-sections.rkt
new file mode 100644
index 0000000..b51575e
--- /dev/null
+++ b/lens/private/doc-util/include-sections.rkt
@@ -0,0 +1,8 @@
+#lang racket/base
+
+(provide include-sections)
+
+(require (only-in scribble/base include-section))
+
+(define-syntax-rule (include-sections mod-path ...)
+  (begin (include-section mod-path) ...))
diff --git a/lens/private/doc-util/main.rkt b/lens/private/doc-util/main.rkt
index 9c99be7..0205894 100644
--- a/lens/private/doc-util/main.rkt
+++ b/lens/private/doc-util/main.rkt
@@ -2,6 +2,7 @@
 
 (require syntax/parse/define
          "deflenses.rkt"
+         "include-sections.rkt"
          "lenses-examples.rkt"
          (for-label lens
                     unstable/lens
@@ -19,6 +20,7 @@
 (provide (all-from-out
           syntax/parse/define
           "deflenses.rkt"
+          "include-sections.rkt"
           "lenses-examples.rkt")
          (for-label (all-from-out
                      lens
diff --git a/lens/private/util/reprovide.rkt b/lens/private/util/reprovide.rkt
new file mode 100644
index 0000000..7041602
--- /dev/null
+++ b/lens/private/util/reprovide.rkt
@@ -0,0 +1,8 @@
+#lang racket/base
+
+(provide reprovide)
+
+(define-syntax-rule (reprovide mod-path ...)
+  (begin
+    (require mod-path ...)
+    (provide (all-from-out mod-path ...))))
diff --git a/unstable/lens/main.rkt b/unstable/lens/main.rkt
index 49d921d..f95a05f 100644
--- a/unstable/lens/main.rkt
+++ b/unstable/lens/main.rkt
@@ -1,28 +1,15 @@
 #lang sweet-exp racket/base
+require lens/private/util/reprovide
+reprovide
+  "arrow.rkt"
+  "isomorphism.rkt"
+  "mapper.rkt"
+  "match.rkt"
+  "set-filterer.rkt"
+  "string-split.rkt"
+  "struct-join.rkt"
+  "struct-nested.rkt"
+  "sublist.rkt"
+  "syntax.rkt"
+  "view-set.rkt"
 
-require
-         "arrow.rkt"
-         "isomorphism.rkt"
-         "mapper.rkt"
-         "match.rkt"
-         "set-filterer.rkt"
-         "string-split.rkt"
-         "struct-join.rkt"
-         "struct-nested.rkt"
-         "sublist.rkt"
-         "syntax.rkt"
-         "view-set.rkt"
-
-provide
-        all-from-out
-         "arrow.rkt"
-         "isomorphism.rkt"
-         "mapper.rkt"
-         "match.rkt"
-         "set-filterer.rkt"
-         "string-split.rkt"
-         "struct-join.rkt"
-         "struct-nested.rkt"
-         "sublist.rkt"
-         "syntax.rkt"
-         "view-set.rkt"
diff --git a/unstable/lens/main.scrbl b/unstable/lens/main.scrbl
index 54dbbbb..9f81232 100644
--- a/unstable/lens/main.scrbl
+++ b/unstable/lens/main.scrbl
@@ -1,5 +1,7 @@
 #lang scribble/manual
 
+@(require lens/private/doc-util/main)
+
 @title{Unstable Lenses}
 
 @defmodule[unstable/lens]
@@ -9,14 +11,17 @@ This library provides additional features for the
 may change in future releases. Do not depend on
 this library being backwards-compatible.
 
-@include-section["arrow.scrbl"]
-@include-section["isomorphism.scrbl"]
-@include-section["mapper.scrbl"]
-@include-section["match.scrbl"]
-@include-section["set-filterer.scrbl"]
-@include-section["string-split.scrbl"]
-@include-section["struct-join.scrbl"]
-@include-section["struct-nested.scrbl"]
-@include-section["sublist.scrbl"]
-@include-section["syntax.scrbl"]
-@include-section["view-set.scrbl"]
+@(include-sections
+  "arrow.scrbl"
+  "isomorphism.scrbl"
+  "mapper.scrbl"
+  "match.scrbl"
+  "set-filterer.scrbl"
+  "string-split.scrbl"
+  "struct-join.scrbl"
+  "struct-nested.scrbl"
+  "sublist.scrbl"
+  "syntax.scrbl"
+  "view-set.scrbl"
+  )
+