Skip to content

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

Open
asutherland wants to merge 1 commit intosourcegraph:scipfrom
asutherland:lambda-locals
Open

#148 - Lambda arguments should be locals when the lambda is a local.#150
asutherland wants to merge 1 commit intosourcegraph:scipfrom
asutherland:lambda-locals

Conversation

@asutherland
Copy link

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.

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.
@mmanela
Copy link

mmanela commented Mar 6, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

scip-python produces malformatted symbol for every lambda

2 participants