Add range to constants rewritten in ConstList2IList rewrite rule.

[weinbe58]

No description provided.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
11612	10349	89%	0%	🟢

New Files

No new covered files...

Modified Files

File	Coverage	Status
src/kirin/dialects/ilist/rewrite/const.py	67%	🟢
TOTAL	67%	🟢

updated for commit: 7524aa3 by action🐍

[github-actions]

PR Preview Action v1.6.2
🚀 View preview at https://QuEraComputing.github.io/kirin/pr-preview/pr-576/
Built to branch gh-pages at 2025-11-12 19:21 UTC. Preview will be ready when the GitHub Pages deployment is complete.

[kaihsin]

can you also add this test:

@kirin.structural
def main(n: int):
    def map_func(i):
        return n + 1
    
    return ilist.map(map_func, range(4))

AggressiveUnroll(main.dialects).fixpoint(main)