as_ec_sexpr for bound variables in head of application expressions.
Open
- Dominant language
- Python
- Stars
- 11
- Forks
- 7
- PR merge metrics
- No merged PRs in 30d
Description
Error case: '\z2 z1.z2(f11_cons,z1)'
Yields result: "(lambda (lambda (z2 (lambda (lambda (f11_cons $1 $0))) $0)))"
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reproducing the expression '\z2 z1.z2(f11_cons,z1)' and locate the implementation of as_ec_sexpr in the Python library. Compare the shown result with the intended handling of bound variables in application-expression heads, then add or update a regression test for this case.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100