Isolate the case where the argument is Integer in the rand method

[rhiroe]

Because it always returns Integer for non-zero integer values.

Background

1 + rand(10)

Running steep check, this causes UnresolvedOverloading.

Integer + (Integer | Float)

Writing an expression like this seems to cause UnresolvedOverloading.

Although not a direct solution, this problem can be avoided if the possibility of a Float being returned when the argument is a non-zero integer can be eliminated.

Thank you.

[ParadoxV5]

0 is still an Integer. To support the concept of non-zero, we’d need #1875.

It’s strange, however, that this situation leads to UnresolvedOverloading. Integer should be able to + either Integer or Float.

Integer + (Integer | Float) -> (Integer | Float)

[rhiroe]

@ParadoxV5

0 is still an Integer

You are right.
However, if the argument is 0, Float is returned here.

rbs/core/kernel.rbs

Line 1321 in 9244cd6

def self?.rand: (?0) -> Float

Thus, Integer here should come to a non-zero integer, right?

rbs/core/kernel.rbs

Line 1322 in 9244cd6

| (Integer arg0) -> Integer

[ParadoxV5]

It should, but it doesn’t. That’s what #1875 was about.

[rhiroe]

It made sense to me.