Fix double-splat

Author: ksss

Gemfile.lock

@@ -71,7 +71,7 @@ GEM
     psych (4.0.6)
       stringio
     public_suffix (6.0.0)
-    raap (0.8.0)
+    raap (0.10.0)
       rbs (~> 3.0)
       timeout (~> 0.4)
     racc (1.8.0)

Rakefile

@@ -106,7 +106,7 @@ task :typecheck_test => :compile do
 end
 
 task :raap => :compile do
-  sh %q[cat test/raap.txt | egrep -v '^#|^$' | xargs bundle exec raap]
+  sh %q[cat test/raap.txt | egrep -v '^#|^$' | xargs bundle exec raap --require bigdecimal/util --library bigdecimal]
 end
 
 task :rubocop do

core/complex.rbs

@@ -134,7 +134,10 @@ class Complex < Numeric
   #     Complex('i') ** 2             # => (-1+0i)
   #     Complex(-8) ** Rational(1, 3) # => (1.0000000000000002+1.7320508075688772i)
   #
-  def **: (Numeric) -> Complex
+  def **: (Integer) -> Complex
+        | (Float) -> Complex
+        | (Rational) -> Complex
+        | (Complex) -> Complex
 
   # <!--
   #   rdoc-file=complex.c

core/float.rbs

@@ -142,8 +142,10 @@ class Float < Numeric
   #     f ** Rational(2, 1) # => 9.8596
   #     f ** Complex(2, 0)  # => (9.8596+0i)
   #
-  def **: (Complex) -> Complex
-        | (Numeric) -> Float
+  def **: (Integer) -> Float
+        | (Float) -> (Float | Complex)
+        | (Rational) -> (Float | Complex)
+        | (Complex) -> Complex
 
   # <!--
   #   rdoc-file=numeric.c

core/integer.rbs

@@ -230,9 +230,9 @@ class Integer < Numeric
   #     2 ** Rational(3, 1) # => (8/1)
   #     2 ** Complex(3, 0)  # => (8+0i)
   #
-  def **: (Integer) -> Numeric
-        | (Float) -> Numeric
-        | (Rational) -> Numeric
+  def **: (Integer) -> (Integer | Rational)
+        | (Float) -> (Float | Complex)
+        | (Rational) -> (Rational | Float | Complex)
         | (Complex) -> Complex
 
   # <!--

core/rational.rbs

@@ -84,8 +84,10 @@ class Rational < Numeric
   #     Rational(1, 2) ** 0               #=> (1/1)
   #     Rational(1, 2) ** 0.0             #=> 1.0
   #
-  def **: (Complex) -> Complex
-        | (Numeric) -> Numeric
+  def **: (Integer) -> Rational
+        | (Float) -> (Float | Complex)
+        | (Rational) -> (Float | Rational | Complex)
+        | (Complex) -> (Rational | Complex)
 
   # <!--
   #   rdoc-file=rational.c

stdlib/bigdecimal/0/big_decimal.rbs

@@ -441,7 +441,10 @@ class BigDecimal < Numeric
   #
   # Related: BigDecimal#power.
   #
-  def **: (Numeric) -> BigDecimal
+  def **: (Integer) -> BigDecimal
+        | (Float) -> (Integer | BigDecimal)
+        | (Rational) -> (Integer | BigDecimal)
+        | (BigDecimal) -> BigDecimal
 
   # <!--
   #   rdoc-file=ext/bigdecimal/bigdecimal.c

test/raap.txt

@@ -4,3 +4,8 @@
 
 Set[Integer]
 Enumerable[Integer]#to_set
+Integer#**
+Float#**
+Rational#**
+Complex#**
+BigDecimal#**