diff options
| author | Eduardo Julian | 2021-08-16 01:12:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-16 01:12:01 -0400 |
| commit | 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (patch) | |
| tree | fc2f67581dd7b1d72c20217a95e031187a375bc5 /stdlib/source/poly | |
| parent | 6fd22846f21b8b70b7867e989109d14a366c0a3e (diff) | |
Made extension-definition macros specify their bindings the same way as syntax:.
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 6 |
3 files changed, 9 insertions, 9 deletions
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)]]) |