diff options
author | Eduardo Julian | 2022-07-01 18:53:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-01 18:53:58 -0400 |
commit | 104130efba46a875eba566384578f8aa8593ad37 (patch) | |
tree | b538fabc8b8a44a37b1806092b3f17a764fc73f2 /stdlib/source/polytypic | |
parent | a8d76e48df01d0f5326faa8456797f91cb2cbeba (diff) |
Moved "lux/macro/code" to "lux/meta/code".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/polytypic/lux/abstract/equivalence.lux | 3 | ||||
-rw-r--r-- | stdlib/source/polytypic/lux/abstract/functor.lux | 3 | ||||
-rw-r--r-- | stdlib/source/polytypic/lux/data/format/json.lux | 6 |
3 files changed, 5 insertions, 7 deletions
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux index 983beea4d..0c83b9ab5 100644 --- a/stdlib/source/polytypic/lux/abstract/equivalence.lux +++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux @@ -19,8 +19,6 @@ ["[0]" set] ["[0]" dictionary (.only Dictionary)] ["[0]" tree]]] - [macro - ["[0]" code]] [math [number ["[0]" nat (.use "[1]#[0]" decimal)] @@ -34,6 +32,7 @@ ["[0]" day] ["[0]" month]] [meta + ["[0]" code] ["[0]" type (.only) ["<[1]>" \\parser] ["[0]" poly (.only polytypic)] diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux index e10853519..db17e49ac 100644 --- a/stdlib/source/polytypic/lux/abstract/functor.lux +++ b/stdlib/source/polytypic/lux/abstract/functor.lux @@ -11,12 +11,11 @@ ["%" \\format (.only format)]] [collection ["[0]" list (.use "[1]#[0]" monad monoid)]]] - [macro - ["[0]" code]] [math [number ["n" nat]]] [meta + ["[0]" code] ["[0]" type (.only) ["<[1]>" \\parser] ["[0]" poly (.only polytypic)]]]]] diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux index 229abb9c9..a8eee64d0 100644 --- a/stdlib/source/polytypic/lux/data/format/json.lux +++ b/stdlib/source/polytypic/lux/data/format/json.lux @@ -18,9 +18,7 @@ ["[0]" sequence (.only sequence)] ["[0]" dictionary]]] [macro - [syntax (.only syntax)] - ["[0]" code (.only) - ["<[1]>" \\parser]]] + [syntax (.only syntax)]] [math [number ["n" nat (.use "[1]#[0]" decimal)] @@ -34,6 +32,8 @@ ["[0]" day] ["[0]" month]] [meta + ["[0]" code (.only) + ["<[1]>" \\parser]] ["[0]" type (.only) ["<[1]>" \\parser] ["[0]" unit] |