#148 - Lambda arguments should be locals when the lambda is a local.

sourcegraph / scip-python

SCIP indexer for Python

Other

46 stars 21 forks source link

#148 - Lambda arguments should be locals when the lambda is a local. #150

Open asutherland opened 4 months ago

asutherland commented 4 months ago

Currently, an attempt is made to add a parameter descriptor to the lambda, but it is not legal for a local to have a descriptor, so the argument itself should be a local.

This closes #148.

mmanela commented 3 months ago

@asutherland Thanks for the contribution. We plan to review this change.