diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/macro/context.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/macro/context.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/meta/macro/context.lux b/stdlib/source/library/lux/meta/macro/context.lux index 99b62e8ab..73cda9cd0 100644 --- a/stdlib/source/library/lux/meta/macro/context.lux +++ b/stdlib/source/library/lux/meta/macro/context.lux @@ -46,7 +46,7 @@ (exception .public no_active_context) -(.def (peek' _ context) +(.def .public (peek' _ context) (All (_ a) (-> (Stack a) Symbol (Meta a))) (do meta.monad [stack (..global context)] @@ -61,11 +61,11 @@ (.def .public peek (syntax (_ [g!it (at ?.monad each code.symbol ?code.global)]) - (in (list (` ((,! ..peek') (, g!it) (.symbol (, g!it)))))))) + (in (list (` (..peek' (, g!it) (.symbol (, g!it)))))))) (exception .public no_example) -(.def (search' _ ? context) +(.def .public (search' _ ? context) (All (_ a) (-> (Stack a) (Predicate a) Symbol (Meta a))) (do meta.monad [stack (..global context)] @@ -81,7 +81,7 @@ (.def .public search (syntax (_ [g!context (at ?.monad each code.symbol ?code.global) g!? ?code.any]) - (in (list (` ((,! ..search') (, g!context) (, g!?) (.symbol (, g!context)))))))) + (in (list (` (..search' (, g!context) (, g!?) (.symbol (, g!context)))))))) (.def (alter on_definition [@ context]) (-> (-> Definition Definition) Symbol (Meta Any)) @@ -101,7 +101,7 @@ {.#Right [(revised .#modules (property.revised @ on_module) lux) []]}))) -(.def (push' _ top) +(.def .public (push' _ top) (All (_ a) (-> (Stack a) a Symbol (Meta Any))) (alter (function (_ [exported? type stack]) (|> stack @@ -113,7 +113,7 @@ (.def .public push (syntax (_ [g!context (at ?.monad each code.symbol ?code.global) g!it ?code.any]) - (in (list (` ((,! ..push') (, g!context) (, g!it) (.symbol (, g!context)))))))) + (in (list (` (..push' (, g!context) (, g!it) (.symbol (, g!context)))))))) (.def pop' (-> Symbol (Meta Any)) @@ -144,15 +144,15 @@ (list))) (` (.def ((, g!expression) (, g!it) (, g!body)) (-> (, context_type) Code (Meta Code)) - ((,! do) (,! meta.monad) - [(, g!_) ((,! ..push) (, g!context) (, g!it))] - ((,' in) (` (let [((,' ,') (, g!body)) ((,' ,) (, g!body)) - ((,' ,') (, g!_)) ((,! ..pop) #1 (, g!context))] - ((,' ,') (, g!body)))))))) + (do meta.monad + [(, g!_) (..push (, g!context) (, g!it))] + ((,' in) (` (let [((,' ,') (, g!body)) ((,' ,) (, g!body)) + ((,' ,') (, g!_)) (..pop #1 (, g!context))] + ((,' ,') (, g!body)))))))) (` (.def ((, g!declaration) (, g!it) (, g!body)) (-> (, context_type) Code (Meta (List Code))) - ((,! do) (,! meta.monad) - [(, g!_) ((,! ..push) (, g!context) (, g!it))] - ((,' in) (list (, g!body) - (` ((,! ..pop) #0 (, g!context)))))))) + (do meta.monad + [(, g!_) (..push (, g!context) (, g!it))] + ((,' in) (list (, g!body) + (` (..pop #0 (, g!context)))))))) )))))) |