feat: Let tactic #70

Merged

aniva merged 4 commits from goal/let into dev

2024-04-12 21:42:32 -07:00

aniva commented

2024-04-12 21:32:21 -07:00

Owner

This tactic was supported by the existing interface tryAssign ... "let name: Type := _; _, but I'm making a specialized interface so its more convenient.

This tactic was supported by the existing interface `tryAssign ... "let name: Type := _; _`, but I'm making a specialized interface so its more convenient.

aniva added this to the 0.3 milestone 2024-04-12 21:32:21 -07:00

aniva added the

label 2024-04-12 21:32:21 -07:00

aniva self-assigned this 2024-04-12 21:32:21 -07:00

aniva added 2 commits 2024-04-12 21:32:22 -07:00

4ee955c21f

test: Tests the `let` tactic

77907fd060

feat: `goalLet` function

aniva added 1 commit 2024-04-12 21:41:36 -07:00

b45b90b810

test: Metavariable name matches in let

aniva added 1 commit 2024-04-12 21:42:05 -07:00

614b9aa4ae

Merge branch 'dev' into goal/let

aniva merged commit 72dd20ea87 into dev

2024-04-12 21:42:32 -07:00

aniva deleted branch goal/let

2024-04-12 21:42:33 -07:00

aniva referenced this issue from a commit

2024-04-12 21:42:34 -07:00

Merge pull request 'feat: Let tactic' (#70) from goal/let into dev

Sign in to join this conversation.

No reviewers

No Label

part/Environment

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.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#70

No description provided.