diff options
Diffstat (limited to 'lux-jvm/source')
| -rw-r--r-- | lux-jvm/source/program.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux index ff268327f..32c508c59 100644 --- a/lux-jvm/source/program.lux +++ b/lux-jvm/source/program.lux @@ -72,17 +72,17 @@ "[1]::[0]" (getClass [] (java/lang/Class java/lang/Object))) -(def: _object_class +(def _object_class (java/lang/Class java/lang/Object) (ffi.class_for java/lang/Object)) -(def: _apply2_args +(def _apply2_args (Array (java/lang/Class java/lang/Object)) (|> (ffi.array (java/lang/Class java/lang/Object) 2) (ffi.write! 0 _object_class) (ffi.write! 1 _object_class))) -(def: _apply5_args +(def _apply5_args (Array (java/lang/Class java/lang/Object)) (|> (ffi.array (java/lang/Class java/lang/Object) 5) (ffi.write! 0 _object_class) @@ -91,7 +91,7 @@ (ffi.write! 3 _object_class) (ffi.write! 4 _object_class))) -(def: .public (expander macro inputs lux) +(def .public (expander macro inputs lux) Expander (do try.monad [apply_method (|> macro @@ -106,11 +106,11 @@ (ffi.write! 1 (as java/lang/Object lux))) apply_method)))) -(def: (phase_wrapper archive) +(def (phase_wrapper archive) (-> Archive (Operation Anchor (Bytecode Any) Definition phase.Wrapper)) (at phase.monad in (|>>))) -(def: .public platform +(def .public platform (IO [java/lang/ClassLoader /runtime.Host (Platform Anchor (Bytecode Any) Definition)]) @@ -127,7 +127,7 @@ platform.#phase_wrapper ..phase_wrapper platform.#write product.right]]))) -(def: (extender phase_wrapper) +(def (extender phase_wrapper) (-> phase.Wrapper extension.Extender) ... TODO: Stop relying on coercions ASAP. (<| (as extension.Extender) @@ -156,11 +156,11 @@ (ffi.write! 4 (as java/lang/Object state))) method)))) -(def: (declare_success! _) +(def (declare_success! _) (-> Any (Async Any)) (async.future (at world/program.default exit +0))) -(def: (lux_compiler it) +(def (lux_compiler it) (-> Any platform.Custom) (as_expected it)) |