![]() Various parts of the expander, including `local-expand`, always flipped the use-site scope when flipping an introduction scope. Onlt `syntax-local-introduce` should flip both of them, though. Closes #2112 |
||
---|---|---|
.. | ||
collects | ||
src | ||
.gitignore |
![]() Various parts of the expander, including `local-expand`, always flipped the use-site scope when flipping an introduction scope. Onlt `syntax-local-introduce` should flip both of them, though. Closes #2112 |
||
---|---|---|
.. | ||
collects | ||
src | ||
.gitignore |