From 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 16 Aug 2021 01:12:01 -0400
Subject: Made extension-definition macros specify their bindings the same way
 as syntax:.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 4 ++--
 stdlib/source/poly/lux/abstract/functor.lux     | 8 ++++----
 stdlib/source/poly/lux/data/format/json.lux     | 6 +++---
 3 files changed, 9 insertions(+), 9 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 805576e18..b311d97ec 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -22,8 +22,7 @@
       ["." tree]]]
     [macro
      [syntax (#+ syntax:)]
-     ["." code]
-     ["." poly (#+ poly:)]]
+     ["." code]]
     [math
      [number
       ["." nat ("#\." decimal)]
@@ -37,6 +36,7 @@
      ["." day]
      ["." month]]
     ["." type
+     ["." poly (#+ poly:)]
      ["." unit]]]]
   [\\library
    ["." /]])
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index db011ca27..57f047798 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -1,7 +1,6 @@
 (.module:
   [library
    [lux #*
-    ["." type]
     [abstract
      [monad (#+ Monad do)]]
     [control
@@ -16,11 +15,12 @@
       ["." list ("#\." monad monoid)]]]
     [macro
      [syntax (#+ syntax:)]
-     ["." code]
-     ["." poly (#+ poly:)]]
+     ["." code]]
     [math
      [number
-      ["n" nat]]]]]
+      ["n" nat]]]
+    ["." type
+     ["." poly (#+ poly:)]]]]
   [\\library
    ["." /]])
 
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index a77ef5980..42f0ed7d8 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -21,8 +21,7 @@
       ["." dictionary]]]
     [macro
      [syntax (#+ syntax:)]
-     ["." code]
-     ["." poly (#+ poly:)]]
+     ["." code]]
     [math
      [number
       ["n" nat ("#\." decimal)]
@@ -36,7 +35,8 @@
      ["." day]
      ["." month]]
     ["." type
-     ["." unit]]]]
+     ["." unit]
+     ["." poly (#+ poly:)]]]]
   [\\library
    ["." / (#+ JSON)]])
 
-- 
cgit v1.2.3