Skip to content

Add type argument to lambda#33

Open
carlostome wants to merge 6 commits intomasterfrom
carlos/add-type-argument-to-lambda
Open

Add type argument to lambda#33
carlostome wants to merge 6 commits intomasterfrom
carlos/add-type-argument-to-lambda

Conversation

@carlostome
Copy link
Collaborator

This PR adds type annotations to LLambda

In addition,

  • Refactors the compile related code to returned a typed ast
  • Adds handling of type erasure conditional on the target backend

@carlostome carlostome mentioned this pull request Nov 27, 2025
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.

1 participant