diff options
| author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
| commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
| tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/poly | |
| parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) | |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 1c8aa70e1..4c33de0f3 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -41,7 +41,7 @@ [\\library ["." /]]) -(poly: #export equivalence +(poly: .public equivalence (`` (do {! <>.monad} [.let [g!_ (code.local_identifier "_____________")] *env* <type>.env diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index ff797b29c..bb9ef4a88 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -24,7 +24,7 @@ [\\library ["." /]]) -(poly: #export functor +(poly: .public functor (do {! p.monad} [.let [type_funcC (code.local_identifier "____________type_funcC") funcC (code.local_identifier "____________funcC") diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index c4cae2881..847e3a160 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -321,7 +321,7 @@ (<>.failure (format "Cannot create JSON decoder for: " (type.format inputT))) )))) -(syntax: #export (codec inputT) +(syntax: .public (codec inputT) {#.doc (doc "A macro for automatically producing JSON codecs." (type: Variant (#Bit Bit) |