From 6fd22846f21b8b70b7867e989109d14a366c0a3e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 14 Aug 2021 03:09:58 -0400
Subject: Moved documentation-generation machinery to its own module.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 2 +-
 stdlib/source/poly/lux/abstract/functor.lux     | 2 +-
 stdlib/source/poly/lux/data/format/json.lux     | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 895c8d1a5..805576e18 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -45,7 +45,7 @@
   (`` (do {! <>.monad}
         [.let [g!_ (code.local_identifier "_____________")]
          *env* <type>.env
-         inputT <type>.peek
+         inputT <type>.next
          .let [@Equivalence (: (-> Type Code)
                                (function (_ type)
                                  (` ((~! /.Equivalence) (~ (poly.code *env* type))))))]]
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 842c4b66c..db011ca27 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -30,7 +30,7 @@
            funcC (code.local_identifier "____________funcC")
            inputC (code.local_identifier "____________inputC")]
      *env* <type>.env
-     inputT <type>.peek
+     inputT <type>.next
      [polyC varsC non_functorT] (<type>.local (list inputT)
                                               (<type>.polymorphic <type>.any))
      .let [num_vars (list.size varsC)]
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 3146804e5..a77ef5980 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -127,7 +127,7 @@
        .let [@JSON\encode (: (-> Type Code)
                              (function (_ type)
                                (` (-> (~ (poly.code *env* type)) /.JSON))))]
-       inputT <type>.peek]
+       inputT <type>.next]
       ($_ <>.either
           <basic>
           <time>
@@ -250,7 +250,7 @@
        .let [@JSON\decode (: (-> Type Code)
                              (function (_ type)
                                (` (</>.Parser (~ (poly.code *env* type))))))]
-       inputT <type>.peek]
+       inputT <type>.next]
       ($_ <>.either
           <basic>
           <time>
-- 
cgit v1.2.3