Unexplained behavior when instantiating a Population Probability

Question

Unexplained behavior when instantiating a Population Probability

Closed this issue a year ago · 3 comments

The next two commented-out lines produce a mypy error:

pi1 = Population("pi1")
test_1_district_probability = PP[pi1](Z | X1)

Here's the error:

error: Type application targets a non-generic function or class  [misc]

test_transport.py uses a similar syntax and does not trigger the error,
so I'm probably missing something simple.

The next line does not trigger an error:

test_1_district_probability = PP[Population("pi1")](Z | X1)

Answer 1 · 2024-02-12T16:46:29.000Z

To be clear, this does not trigger an error in the python interpreter, only in mypy, which may suggest a bug in mypy?

Answer 2 · 2024-02-12T16:48:31.000Z

Now the problem is no longer being reported by mypy, so maybe the problem has been fixed?

Answer 3 · 2024-02-13T03:36:41.000Z

The issue reappeared and I found the source of the problem. Explicitly assigning a type to the alias PP when instantiating it at the end of dsl.py gets rid of the MyPy errors. It's fixed in this commit, currently just in the counterfactual_transportability branch.