fix: env.add Declarations with universe levels #181

aniva · 2025-03-29T14:52:32-07:00

aniva commented

2025-03-29 14:52:32 -07:00

Now the type in env.add is optional.

Now the type in `env.add` is optional.

aniva added this to the 0.3 milestone 2025-03-29 14:52:32 -07:00

aniva added the

labels 2025-03-29 14:52:32 -07:00

aniva self-assigned this 2025-03-29 14:52:32 -07:00

aniva added 2 commits 2025-03-29 14:52:32 -07:00

9ea099827f

fix(env): Adding declarations with universe levels

b9ff9e8f13

feat(repl): Optional type argument in `env.add`

aniva added 1 commit 2025-03-29 15:44:04 -07:00

91fbc4cdca

chore: Remove redundant code

aniva added 1 commit 2025-03-29 15:45:06 -07:00

664516f148

Merge branch 'dev' into bug/env-add-level

aniva merged commit 1402a69eea into dev

2025-03-29 15:48:13 -07:00

aniva deleted branch bug/env-add-level

2025-03-29 15:48:13 -07:00

aniva referenced this issue from a commit

2025-03-29 15:48:13 -07:00

Merge pull request 'fix: `env.add` Declarations with universe levels' (#181) from bug/env-add-level into dev

Sign in to join this conversation.

No reviewers

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.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#181

fix: env.add Declarations with universe levels #181

fix: `env.add` Declarations with universe levels #181