fix: universe commands in environment capture #183

Merged
aniva merged 5 commits from bug/variable-level-names-in-scope into dev 2025-04-07 20:18:50 -07:00
Owner

Currently these are not captured.

refactor: Remove some CoreM library functions.

Currently these are not captured. refactor: Remove some `CoreM` library functions.
aniva added the
part/Frontend
category
bug
part/Environment
labels 2025-03-29 22:23:27 -07:00
aniva self-assigned this 2025-03-29 22:23:27 -07:00
aniva added this to the 0.3 milestone 2025-03-29 22:23:34 -07:00
aniva added
part/REPL
and removed
part/Frontend
labels 2025-03-29 22:41:57 -07:00
Author
Owner

Also need to ensure that unfoldMatchers does not unfold strong induction

Also need to ensure that `unfoldMatchers` does not unfold strong induction
aniva added 1 commit 2025-04-03 11:18:43 -07:00
aniva added 1 commit 2025-04-03 14:38:57 -07:00
aniva added 1 commit 2025-04-05 14:26:34 -07:00
Author
Owner

Environment.addDecl requires Elab.TermElabM passthrough as well. The other unit tests are passing.

`Environment.addDecl` requires `Elab.TermElabM` passthrough as well. The other unit tests are passing.
aniva added 1 commit 2025-04-07 11:52:01 -07:00
aniva added 1 commit 2025-04-07 20:18:25 -07:00
aniva merged commit 27a1f420ba into dev 2025-04-07 20:18:50 -07:00
aniva deleted branch bug/variable-level-names-in-scope 2025-04-07 20:18:50 -07:00
aniva added a new dependency 2025-04-09 00:22:32 -07:00
aniva changed title from fix: `variable` and `universe` commands in environment capture to fix: `universe` commands in environment capture 2025-04-09 09:08:27 -07:00
Sign in to join this conversation.
No reviewers
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.

Reference: aniva/Pantograph#183
No description provided.