aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source')
-rw-r--r--lux-jvm/source/program.lux18
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))