feat: Update CoreM
options from parsed header #177
No reviewers
Labels
No Label
category
bug
category
chore
category
doc
category
feature
category
optimization
category
organization
part/Delation
part/Elab
part/Environment
part/FFI
part/Frontend
part/Goal
part/REPL
part/Serial
priority
high
priority
irrelevant
priority
low
priority
medium
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Blocks
#132 Branch unification
aniva/Pantograph
#167 Allow alternative environment initiation
aniva/Pantograph
Reference: aniva/Pantograph#177
Loading…
Reference in New Issue
No description provided.
Delete Branch "frontend/env-init"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This ensures
open
statements persist in bothfrontend.process
context and any elaboration context.CoreM
fromMainM
GoalState
's restore functions will additionally restore the name generator and macro scopes. This will be critical for future branch unification.Elab.Term.synthesizeSyntheticMVarsNoPostponing
call inGoalState.step
Need to write some tests to prevent regression, and this will be good to go.