Lookup error on __init__ method about plum HOT 6 CLOSED

Did you decorate something with @parametric by any chance?

from plum.

@PhilipVinc yep, i did

from plum.

Okay, I solved it by renaming the constructors to __init and making the __init__ call the dispatched method.

class BlockArray:
    def __init__(self, *args, **kwargs):
        self.__init(*args, **kwargs)
    ...

Maybe a note in the readme would useful.

from plum.

Can you send me a MWE that fails? i'll try to fix this.
(I'm unsure what is failing).

parametric classes get their __new__ method overridden, and it calls __infer_type_parameter__ when constructed.
For some reason dispatch fails on __infer_type_parameter__ but without a full MWE i don't know what's going wrong.

from plum.

I've been trying to replicate the error but it looks like the __init__ was not the error. Now it seems it breaks on the lookup of a Protocol as a parameter.

from typing import List, Tuple, Protocol, runtime_checkable
from plum import dispatch, parametric
import numpy as np

@runtime_checkable
class Array(Protocol):
    def __array__(self) -> np.ndarray:
        pass


@parametric
class A:
    @dispatch
    def __init__(self, a: List[int]):
        print("list")

    @dispatch
    def __init__(self, a: Tuple[int]):
        print("tuple")

    @dispatch
    def __init__(self: List[Array]):
        print("list of array")

    @classmethod
    def __infer_type_parameter__(cls, *args, **kwargs):
        return object

# ok
assert issubclass(np.ndarray, Array)

# ok
A((1,))

# ok
A([1])

# NotFoundLookupError
A([np.zeros(1)])

Error log:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "plum/function.py", line 587, in plum.function._BoundFunction.__call__
  File "plum/function.py", line 536, in plum.function.Function.__call__
  File "plum/function.py", line 493, in plum.function.Function.resolve_method
  File "plum/function.py", line 464, in plum.function.Function.resolve_method
  File "plum/function.py", line 435, in plum.function.Function.resolve_signature
plum.function.NotFoundLookupError: For function "__init__" of __main__.A, signature Signature(__main__.A, List[numpy.ndarray]) could not be resolved.

should i open a new issue or change the title of this?

from plum.

Okay, I just noticed that plum does not support Protocols yet #28 🤦‍♂️

I will close this.

from plum.