Skip to content

Lambda function lowering #588

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
kaihsin wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Lambda function lowering #588

kaihsin wants to merge 3 commits into from

Conversation

@kaihsin
Copy link
Collaborator

@kaihsin kaihsin commented Nov 25, 2025

This PR address #525

@kaihsin kaihsin requested a review from Roger-luo November 25, 2025 10:18
@github-actions
Copy link
Contributor

github-actions bot commented Nov 25, 2025 •
edited
Loading

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
11784 10516 89% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
src/kirin/dialects/lowering/func.py 95% 🟢
src/kirin/dialects/py/assign.py 87% 🟢
TOTAL 91% 🟢

updated for commit: 9253bc8 by action🐍

@github-actions
Copy link
Contributor

github-actions bot commented Nov 25, 2025 •
edited
Loading

PR Preview Action v1.8.0

🚀 View preview at
https://QuEraComputing.github.io/kirin/pr-preview/pr-588/

Built to branch gh-pages at 2026-01-06 20:16 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

@codecov
Copy link

codecov bot commented Nov 25, 2025

Codecov Report

❌ Patch coverage is 95.00000% with 2 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
src/kirin/dialects/lowering/func.py 95.00% 2 Missing ⚠️

📢 Thoughts on this report? Let us know!

Roger-luo
Roger-luo reviewed Dec 9, 2025
View reviewed changes
Roger-luo
Roger-luo reviewed Dec 9, 2025
View reviewed changes
@kaihsin kaihsin changed the title Lambda Comp lowering Lambda function lowering Jan 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Roger-luo Roger-luo Roger-luo left review comments

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@kaihsin @Roger-luo