diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/macro/context.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/macro/context.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/meta/macro/context.lux b/stdlib/source/library/lux/meta/macro/context.lux index ed4c54849..c39bbd539 100644 --- a/stdlib/source/library/lux/meta/macro/context.lux +++ b/stdlib/source/library/lux/meta/macro/context.lux @@ -48,7 +48,7 @@ (do meta.monad [.let [[@ expected_name] it] defs (meta.definitions @)] - (when (list.one (function (_ [actual_name [exported? type value]]) + (when (list.one (function (_ [actual_name [exported? [type value]]]) (if (text#= expected_name actual_name) {.#Some value} {.#None})) @@ -110,12 +110,12 @@ _ (exception.except ..not_a_definition [definition])))) - on_globals (is (-> (property.List Global) (Try (property.List Global))) + on_globals (is (-> (property.List [Bit Global]) (Try (property.List [Bit Global]))) (function (_ globals) (when (property.value context globals) - {.#Some global} + {.#Some [exported? global]} (try#each (function (_ global) - (property.has context global globals)) + (property.has context [exported? global] globals)) (on_global global)) {.#None} @@ -146,12 +146,12 @@ (All (_ value) (-> value (Stack' value) (Meta Any))) - (alter (function (_ _ [exported? type stack]) + (alter (function (_ _ [type stack]) (|> stack (as (Stack Any)) {.#Item top} (is (Stack Any)) - [exported? type] + [type] {try.#Success})))) (.def .public push @@ -163,7 +163,7 @@ (All (_ value) (-> (Maybe (Predicate value)) (-> value value) (Stack' value) (Meta Any))) - (alter (function (_ @ [exported? type stack]) + (alter (function (_ @ [type stack]) (let [stack (sharing [value] (is (-> value value) !) @@ -183,7 +183,7 @@ _ (exception.except ..no_example [@])))] - (in [exported? type stack])) + (in [type stack])) {.#None} (when stack @@ -191,7 +191,7 @@ (|> stack' (list.partial (! top)) (is (Stack Any)) - [exported? type] + [type] {try.#Success}) _ @@ -207,10 +207,10 @@ (.def .public pop'' (All (_ value) (-> (Stack' value) (Meta Any))) - (alter (function (_ _ [exported? type value]) + (alter (function (_ _ [type value]) (|> (let [value (as (Stack Any) value)] (maybe.else value (list.tail value))) - [exported? type] + [type] {try.#Success})))) (.def .public pop' |