Erase macro scopes in sexp binders #124

New Issue

aniva · 2024-11-19T01:29:10-08:00

aniva commented

2024-11-19 01:29:10 -08:00

We should erase macro scopes on the binder names of .forallE/.lam/.letE.

We should erase macro scopes on the binder names of `.forallE`/`.lam`/`.letE`.

aniva added the

category

feature

label 2024-11-19 01:29:10 -08:00

aniva self-assigned this 2024-11-19 01:29:10 -08:00

aniva added this to the 0.3 milestone 2024-11-26 12:31:53 -08:00

aniva referenced this issue

2024-11-26 12:35:38 -08:00

feat: Erase macro scopes in sexp #130

aniva added a new dependency 2024-11-26 12:36:02 -08:00

#130 feat: Erase macro scopes in sexp

aniva commented

2024-12-05 16:43:33 -08:00

Done #130

aniva closed this issue

2024-12-05 16:43:33 -08:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Depends on

#130 feat: Erase macro scopes in sexp

aniva/Pantograph

Reference: aniva/Pantograph#124