Fix Range#bsearch and raise TypeError when range boundaries are non-numeric and block not passed

Author: andrykonchin

CHANGELOG.md

@@ -15,6 +15,7 @@ Bug fixes:
 * Run context cleanup such as showing the output of tools when `SignalException` and `Interrupt` escape (@eregon).
 * Handle a new variable inside the `case` target expression correctly (#3377, @eregon).
 * The arguments of `Thread.new(*args, &block)` need to be marked as shared between multiple threads (#3179, @eregon).
+* Fix `Range#bsearch` and raise `TypeError` when range boundaries are non-numeric and block not passed (@andrykonchin).
 
 Compatibility:
 

spec/ruby/core/range/bsearch_spec.rb

@@ -27,6 +27,10 @@
     -> { ("a".."e").bsearch { true } }.should raise_error(TypeError)
   end
 
+  it "raises TypeError when non-Numeric begin/end and block not passed" do
+    -> { ("a".."e").bsearch }.should raise_error(TypeError)
+  end
+
   context "with Integer values" do
     context "with a block returning true or false" do
       it "returns nil if the block returns false for every element" do
@@ -94,6 +98,10 @@
       (4..2).bsearch { 0 }.should == nil
       (4..2).bsearch { -1 }.should == nil
     end
+
+    it "returns enumerator when block not passed" do
+      (0...3).bsearch.kind_of?(Enumerator).should == true
+    end
   end
 
   context "with Float values" do
@@ -156,7 +164,6 @@
 
       it "returns nil if the block returns greater than zero for every element" do
         (0.3..3.0).bsearch { |x| x <=> -1 }.should be_nil
-
       end
 
       it "returns nil if the block never returns zero" do
@@ -213,6 +220,10 @@
         (0...inf).bsearch { |x| x >= Float::MAX ? 0 : 1 }.should == Float::MAX
       end
     end
+
+    it "returns enumerator when block not passed" do
+      (0.1...2.3).bsearch.kind_of?(Enumerator).should == true
+    end
   end
 
   context "with endless ranges and Integer values" do
@@ -250,6 +261,10 @@
         [1, 2, 3].should include(result)
       end
     end
+
+    it "returns enumerator when block not passed" do
+      eval("(-2..)").bsearch.kind_of?(Enumerator).should == true
+    end
   end
 
   context "with endless ranges and Float values" do
@@ -327,8 +342,11 @@
         eval("(0.0...)").bsearch { 0 }.should != inf
       end
     end
-  end
 
+    it "returns enumerator when block not passed" do
+      eval("(0.1..)").bsearch.kind_of?(Enumerator).should == true
+    end
+  end
 
   context "with beginless ranges and Integer values" do
     context "with a block returning true or false" do
@@ -361,6 +379,10 @@
         [1, 2, 3].should include(result)
       end
     end
+
+    it "returns enumerator when block not passed" do
+      (..10).bsearch.kind_of?(Enumerator).should == true
+    end
   end
 
   context "with beginless ranges and Float values" do
@@ -432,5 +454,9 @@
         (...inf).bsearch { |x| 3 - x }.should == 3
       end
     end
+
+    it "returns enumerator when block not passed" do
+      (..-0.1).bsearch.kind_of?(Enumerator).should == true
+    end
   end
 end

src/main/ruby/truffleruby/core/range.rb

@@ -66,8 +66,6 @@ def eql?(other)
   end
 
   def bsearch(&block)
-    return to_enum :bsearch unless block_given?
-
     start = self.begin
     stop  = self.end
 
@@ -99,6 +97,8 @@ def bsearch(&block)
   end
 
   private def bsearch_float(&block)
+    return to_enum :bsearch_float unless block_given?
+
     normalized_begin = Primitive.nil?(self.begin) ? -Float::INFINITY : self.begin.to_f
     normalized_end = Primitive.nil?(self.end) ? Float::INFINITY : self.end.to_f
     normalized_end = normalized_end.prev_float if self.exclude_end?
@@ -187,6 +187,8 @@ def bsearch(&block)
   end
 
   private def bsearch_endless(&block)
+    return to_enum :bsearch_endless unless block_given?
+
     min = self.begin
     cur = min
     diff = 1
@@ -207,6 +209,8 @@ def bsearch(&block)
   end
 
   private def bsearch_beginless(&block)
+    return to_enum :bsearch_beginless unless block_given?
+
     max = self.end
     cur = max
     diff = 1
@@ -227,6 +231,8 @@ def bsearch(&block)
   end
 
   private def bsearch_integer(&block)
+    return to_enum :bsearch_integer unless block_given?
+
     min = self.begin
     max = self.end
     max -= 1 if Primitive.is_a?(max, Integer) and exclude_end?