Cannot infer from numbers ABCs

[AstraLuma]

Trying to use infer when the annotation is from the numbers module ABCs fails, saying:

TypeError: Can't instantiate abstract class Real with abstract methods __abs__, __add__, __ceil__, __eq__, __float__, __floor__, __floordiv__, __le__, __lt__, __mod__, __mul__, __neg__, __pos__, __pow__, __radd__, __rfloordiv__, __rmod__, __rmul__, __round__, __rpow__, __rtruediv__, __truediv__, __trunc__

The behavior I expected is that it would just plug in a float.

[Zac-HD]

What's happening here: the type Real is not (yet) in our type-to-strategy lookup, so after checking for some other metadata such as type annotations Hypothesis tries just calling it - which fails, because it's an abstract class.

Fortunately, we can just add some entries to the lookup! We even have a comment # Pull requests with more types welcome!, which would make a great first pull request 😄

[Prsna23]

I would like to work on this issue. Can you please elaborate a little more on this?

[Zac-HD]

Hi Prasana - unfortunately if the problem is not clear from reading the docs on numbers.Real and hypothesis.strategies.from_type and the solution obvious from reading the code linked above, this is probably not a good issue for you 😕

[SuperStormer]

I'm working on this issue