aboutsummaryrefslogtreecommitdiff
path: root/lux-ruby/source
diff options
context:
space:
mode:
Diffstat (limited to 'lux-ruby/source')
-rw-r--r--lux-ruby/source/program.lux196
1 files changed, 142 insertions, 54 deletions
diff --git a/lux-ruby/source/program.lux b/lux-ruby/source/program.lux
index 044e97923..64a34c003 100644
--- a/lux-ruby/source/program.lux
+++ b/lux-ruby/source/program.lux
@@ -29,6 +29,7 @@
[math
[number
["n" nat]
+ ["i" int]
["." i64]]]
["." world #_
["." file]
@@ -90,6 +91,10 @@
(#static newInternalFromJavaExternal [org/jruby/Ruby java/lang/String] org/jruby/RubyString)
(asJavaString [] java/lang/String)])
+(import: org/jruby/RubySymbol
+ ["#::."
+ (asJavaString [] java/lang/String)])
+
(import: org/jruby/runtime/builtin/IRubyObject)
(import: org/jruby/Ruby
@@ -110,6 +115,11 @@
(import: org/jruby/runtime/ThreadContext)
+(import: org/jruby/RubyRange
+ ["#::."
+ (first [org/jruby/runtime/ThreadContext] org/jruby/runtime/builtin/IRubyObject)
+ (size [org/jruby/runtime/ThreadContext] org/jruby/runtime/builtin/IRubyObject)])
+
(template [<name>]
[(host.interface: <name>
(getValue [] java/lang/Object))
@@ -311,6 +321,18 @@
(exception.report
["Index" (%.nat index)]))
+(exception: (invalid_index {index java/lang/Object})
+ (exception.report
+ ["Class" (|> index
+ java/lang/Object::getClass
+ java/lang/Object::toString)]
+ ["Index" (|> index
+ java/lang/Object::toString)]))
+
+(import: java/util/Arrays
+ ["#::."
+ (#static [t] copyOfRange [[t] int int] [t])])
+
(def: (lux_wrapper_access lux_structure value)
(-> (-> (Array java/lang/Object) org/jruby/runtime/builtin/IRubyObject)
(-> (Array java/lang/Object) org/jruby/internal/runtime/methods/DynamicMethod))
@@ -327,48 +349,61 @@
{block org/jruby/runtime/Block})
org/jruby/runtime/builtin/IRubyObject
(let [member (host.array_read 0 args)]
- (case (host.check org/jruby/RubyFixnum member)
- (#.Some member)
- (case (array.read (org/jruby/RubyFixnum::getLongValue member) value)
- (#.Some value)
- (wrapped_lux_value lux_structure value)
-
- #.None
- (error! (exception.construct ..invalid_tuple_access [(org/jruby/RubyFixnum::getLongValue member)])))
-
- #.None
- (case (host.check org/jruby/RubyString member)
- (#.Some member)
- (case (:coerce Text (org/jruby/RubyString::asJavaString member))
- (^ (static runtime.variant_tag_field))
- (|> value
- (array.read 0)
- maybe.assume
- (:coerce java/lang/Integer)
- java/lang/Integer::longValue
- (org/jruby/RubyFixnum::new ..initial_ruby_runtime))
-
- (^ (static runtime.variant_flag_field))
- (case (array.read 1 value)
- #.None
- ..ruby_nil
-
- (#.Some flag)
- ..lux_unit)
-
- (^ (static runtime.variant_value_field))
- (case (array.read 2 value)
+ (<| (case (host.check org/jruby/RubyFixnum member)
+ (#.Some member)
+ (case (array.read (org/jruby/RubyFixnum::getLongValue member) value)
(#.Some value)
(wrapped_lux_value lux_structure value)
#.None
- (error! (exception.construct ..nil_has_no_lux_representation [])))
+ (error! (exception.construct ..invalid_tuple_access [(org/jruby/RubyFixnum::getLongValue member)])))
+
+ #.None)
+ (case (host.check org/jruby/RubyString member)
+ (#.Some member)
+ (case (:coerce Text (org/jruby/RubyString::asJavaString member))
+ (^ (static runtime.variant_tag_field))
+ (|> value
+ (array.read 0)
+ maybe.assume
+ (:coerce java/lang/Integer)
+ java/lang/Integer::longValue
+ (org/jruby/RubyFixnum::new ..initial_ruby_runtime))
+
+ (^ (static runtime.variant_flag_field))
+ (case (array.read 1 value)
+ #.None
+ ..ruby_nil
+
+ (#.Some flag)
+ ..lux_unit)
+
+ (^ (static runtime.variant_value_field))
+ (case (array.read 2 value)
+ (#.Some value)
+ (wrapped_lux_value lux_structure value)
- field
- (error! (exception.construct ..invalid_variant_access [field])))
-
- #.None
- (error! (format "lux_wrapper_access INVALID INDEX"))))))))
+ #.None
+ (error! (exception.construct ..nil_has_no_lux_representation [])))
+
+ field
+ (error! (exception.construct ..invalid_variant_access [field])))
+
+ #.None)
+ (case (host.check org/jruby/RubyRange member)
+ (#.Some member)
+ (case [(|> member (org/jruby/RubyRange::first thread_context) (host.check org/jruby/RubyFixnum))
+ (|> member (org/jruby/RubyRange::size thread_context) (host.check org/jruby/RubyFixnum))]
+ [(#.Some first) (#.Some size)]
+ (let [first (org/jruby/RubyFixnum::getLongValue first)
+ size (org/jruby/RubyFixnum::getLongValue size)]
+ (lux_structure (java/util/Arrays::copyOfRange value first (i.+ first size))))
+
+ _
+ (error! (exception.construct ..invalid_index (:coerce java/lang/Object member))))
+
+ #.None)
+ (error! (exception.construct ..invalid_index (:coerce java/lang/Object member))))))))
(def: (lux_wrapper_equality value)
(-> (Array java/lang/Object) org/jruby/internal/runtime/methods/DynamicMethod)
@@ -410,6 +445,63 @@
array.size
(org/jruby/RubyFixnum::new ..initial_ruby_runtime)))))
+(def: (lux_wrapper_to_s value)
+ (-> (Array java/lang/Object) org/jruby/internal/runtime/methods/DynamicMethod)
+ (host.object [] org/jruby/internal/runtime/methods/DynamicMethod []
+ [{java/lang/String "to_s"}]
+
+ (org/jruby/internal/runtime/methods/DynamicMethod
+ [] (call self
+ {thread_context org/jruby/runtime/ThreadContext}
+ {self org/jruby/runtime/builtin/IRubyObject}
+ {module org/jruby/RubyModule}
+ {method java/lang/String}
+ {args [org/jruby/runtime/builtin/IRubyObject]}
+ {block org/jruby/runtime/Block})
+ org/jruby/runtime/builtin/IRubyObject
+ (|> value
+ debug.inspect
+ (org/jruby/RubyString::newInternalFromJavaExternal ..initial_ruby_runtime)))))
+
+(exception: (invalid_operation {method Text})
+ (exception.report
+ ["Method" (%.text method)]))
+
+(def: (lux_wrapper_respond_to? value)
+ (-> (Array java/lang/Object) org/jruby/internal/runtime/methods/DynamicMethod)
+ (host.object [] org/jruby/internal/runtime/methods/DynamicMethod []
+ [{java/lang/String "respond_to?"}]
+
+ (org/jruby/internal/runtime/methods/DynamicMethod
+ [] (call self
+ {thread_context org/jruby/runtime/ThreadContext}
+ {self org/jruby/runtime/builtin/IRubyObject}
+ {module org/jruby/RubyModule}
+ {method java/lang/String}
+ {args [org/jruby/runtime/builtin/IRubyObject]}
+ {block org/jruby/runtime/Block})
+ org/jruby/runtime/builtin/IRubyObject
+ (case (|> args
+ (host.array_read 0)
+ (host.check org/jruby/RubySymbol))
+ (#.Some method)
+ (|> (case (|> method
+ org/jruby/RubySymbol::asJavaString
+ (:coerce Text))
+ (^or "==" "equal?"
+ "to_s" "inspect"
+ "[]" "length" "respond_to?"
+ ## "to_hash"
+ )
+ true
+
+ _
+ false)
+ (org/jruby/RubyBoolean::newBoolean ..initial_ruby_runtime))
+
+ #.None
+ (error! (exception.construct ..invalid_operation ["respond_to?"]))))))
+
(exception: (unknown_method {method Text})
(exception.report
["Method" (%.text method)]))
@@ -428,12 +520,18 @@
"[]"
(org/jruby/runtime/callsite/CacheEntry::new (..lux_wrapper_access lux_structure value) 0)
- "=="
+ (^or "==" "equal?")
(org/jruby/runtime/callsite/CacheEntry::new (..lux_wrapper_equality value) 1)
"length"
(org/jruby/runtime/callsite/CacheEntry::new (..lux_wrapper_length value) 2)
+ (^or "to_s" "inspect")
+ (org/jruby/runtime/callsite/CacheEntry::new (..lux_wrapper_to_s value) 3)
+
+ "respond_to?"
+ (org/jruby/runtime/callsite/CacheEntry::new (..lux_wrapper_respond_to? value) 4)
+
_
(error! (exception.construct ..unknown_method [(:coerce Text method)])))))]
(org/jruby/java/proxies/JavaProxy::new ..initial_ruby_runtime meta_class (:coerce java/lang/Object value))))
@@ -519,7 +617,7 @@
(run! (_.global (reference.artifact context))))))))))
(def: platform
- (IO (Platform _.LVar _.Expression _.Statement))
+ (IO (Platform Register _.Expression _.Statement))
(do io.monad
[host ..host]
(wrap {#platform.&file_system (file.async file.default)
@@ -530,9 +628,9 @@
(def: (program context program)
(Program _.Expression _.Statement)
- (_.statement (_.apply/* (list (runtime.lux//program_args _.command_line_arguments)
- _.nil)
- program)))
+ (_.statement (_.apply_lambda/* (list (runtime.lux//program_args _.command_line_arguments)
+ _.nil)
+ program)))
(def: extender
Extender
@@ -564,14 +662,6 @@
(-> Any (Promise Any))
(promise.future (\ world/program.default exit +0)))
-(def: (scope body!)
- (-> _.Statement _.Statement)
- (let [@program (_.local "lux_program")]
- ($_ _.then
- (_.function @program (list) body!)
- (_.statement (_.apply/* (list) @program))
- )))
-
(program: [{service /cli.service}]
(let [extension ".rb"]
(exec (do promise.monad
@@ -585,15 +675,13 @@
generation.bundle
extension/bundle.empty
..program
- [_.LVar
- _.Expression
- _.Statement]
+ [Register _.Expression _.Statement]
..extender
service
[(packager.package (: _.Statement (_.manual ""))
_.code
_.then
- ..scope)
+ (|>>))
(format (/cli.target service)
(\ file.default separator)
"program"
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 04:01:06 +0000