diff options
author | Eduardo Julian | 2023-01-16 03:14:45 -0400 |
---|---|---|
committer | Eduardo Julian | 2023-01-16 03:14:45 -0400 |
commit | a7f2679f1372f222c1610ed4d1226b1b893fcc1a (patch) | |
tree | 5743222c78bcab68b70493d54555d4b14510de09 /stdlib/source/library/lux/control/aspect.lux | |
parent | 33188f943329296ff4c19ad3fcf717194e3b237e (diff) |
Can now compile the JVM back-end using itself.
Diffstat (limited to 'stdlib/source/library/lux/control/aspect.lux')
-rw-r--r-- | stdlib/source/library/lux/control/aspect.lux | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/control/aspect.lux b/stdlib/source/library/lux/control/aspect.lux index 8feeaebc8..4fe5e1f6f 100644 --- a/stdlib/source/library/lux/control/aspect.lux +++ b/stdlib/source/library/lux/control/aspect.lux @@ -36,7 +36,8 @@ ["[0]" type]]]]]]]]) (type .public (Advice value) - (-> value value)) + (-> value + value)) (def .public (before pre) (All (_ input output) @@ -104,7 +105,8 @@ (List [Point_Cut Symbol])) (def (without_global [module short]) - (-> Symbol (analysis.Operation Any)) + (-> Symbol + (analysis.Operation Any)) (function (_ lux) (let [without_global (is (-> (property.List [Bit .Global]) (property.List [Bit .Global])) (property.lacks short)) @@ -118,7 +120,8 @@ []]}))) (def (global_reference name) - (-> Symbol (Meta [Bit .Global])) + (-> Symbol + (Meta [Bit .Global])) (do meta.monad [name (meta.normal name) current_module_name meta.current_module_name @@ -209,7 +212,8 @@ (in it))) (def (expression type term) - (-> Type analysis.Analysis Analysis) + (-> Type analysis.Term + Analysis) (analysis (_ phase archive []) (do phase.monad [_ (type.inference type)] @@ -217,7 +221,7 @@ (def (with_cached_expression [type term] then) (All (_ of) - (-> [Type analysis.Analysis] + (-> [Type analysis.Term] (-> (-> Code (analysis.Operation of)) (analysis.Operation of)))) (do phase.monad @@ -231,7 +235,8 @@ (with_template [<name> <parameters> <term> <scenario> <advised>] [(def (<name> original aspect) - (-> Code Aspect Analysis) + (-> Code Aspect + Analysis) (analysis (_ phase archive <parameters>) (do [! phase.monad] [[type term] (type.inferring |