Previously, the identity of the proc object was verified solely based on the identity of irep.
This patch makes the behavior consistent with CRuby.
The reason I noticed this issue was that when adding multiple proc objects with the same irep to a set object, only one was added.
```ruby
p Set.new(Array.new(3) { -> {} }).size
# => 3 (Ruby 4.0)
# => 1 (mruby without this patch)
```
If the block scope is the same, there is only one in CRuby as well.
However, in CRuby, the result of `Proc#to_s` is not affected by the block scope, so it has been changed to be based on the object's address.
The reason no test for `Proc#to_s` was added is that I couldn't determine whether it should be based on `Proc#hash` or the object's address.
```ruby
b = []
t = 3
while t > 0
b << -> {}
t -= 1
end
p Set.new(b).size
# => 1 (Ruby 4.0 and mruby)
p b[0].to_s == b[1].to_s
# => false (Ruby 4.0)
# => true (mruby without this patch)
```
mruby-proc-ext
This mrbgem extends the functionality of the Proc class in mruby, providing additional methods for common operations and introspection.
Features
This gem adds the following methods to the Proc class:
-
===: Alias forProc#call. Allows procs to be used incasestatements.upcase_proc = ->(s) { s.upcase } case "hello" when upcase_proc # this won't match directly, but demonstrates usage if proc returned boolean end # More practically: is_even = ->(n) { n % 2 == 0 } puts "4 is even" if is_even === 4 # => true -
yield: Alias forProc#call.add_one = ->(x) { x + 1 } puts add_one.yield(5) # => 6 -
to_proc: Returnsself. Useful for methods expecting a proc.p = Proc.new { |x| x * 2 } [1, 2, 3].map(&p.to_proc) # => [2, 4, 6] -
curry(arity=self.arity): Returns a curried proc.adder = ->(a, b, c) { a + b + c } curried_adder = adder.curry add5 = curried_adder.call(2, 3) puts add5.call(4) # => 9 mul = ->(x,y) { x * y } mul_by_5 = mul.curry.call(5) puts mul_by_5.call(3) # => 15 -
<< (composition): Returns a new proc that represents the composition of two procs (g << f is g(f(x))).add_one = ->(x) { x + 1 } double_it = ->(x) { x * 2 } composed_proc = double_it << add_one # double_it(add_one(x)) puts composed_proc.call(5) # => double_it(6) => 12 -
>> (composition): Returns a new proc that represents the composition of two procs (f >> g is g(f(x))).add_one = ->(x) { x + 1 } double_it = ->(x) { x * 2 } composed_proc = add_one >> double_it # double_it(add_one(x)) puts composed_proc.call(5) # => double_it(6) => 12 -
lambda?: Returnstrueif the proc is a lambda,falseotherwise.my_lambda = -> {} my_proc = Proc.new {} puts my_lambda.lambda? # => true puts my_proc.lambda? # => false -
source_location: Returns an array containing the source filename and line number where the proc was defined, ornilif this information is not available.# Assuming this code is in "test.rb" at line 5 my_proc = Proc.new {} p my_proc.source_location # => ["test.rb", 5] (if debug info enabled) -
inspect: Returns a string containing a human-readable representation of the proc, including its source location (if available) and whether it's a lambda.my_lambda = ->(x) { x * 2 } # Might output: #<Proc:0x... test.rb:1 (lambda)> puts my_lambda.inspect -
parameters: Returns an array of arrays, describing the parameters accepted by the proc. Each inner array contains the parameter type (:req,:opt,:rest,:key,:keyrest,:block) and its name.prc = ->(a, b=20, *rest, keyparam:, &blk) { } p prc.parameters # => [[:req, :a], [:opt, :b], [:rest, :rest], [:keyreq, :keyparam], [:block, :blk]]
This gem also adds:
-
Kernel#proc: Creates a new proc from a block. This is similar toProc.newbut ensures the created proc is not a lambda.p1 = proc { |a| a } puts p1.lambda? # => false