Draft: Resolve "Add namespace end"
Closes #51
Merge request reports
Activity
Filter activity
added Doing label
assigned to @aalbert
added 14 commits
- eda4601b - mod end pub keywords
- 1df39b9f - change(parser): no more string in endModule
- 3c4b8759 - change(parser): no more string in endModule
- 7c73be7c - fix(parser): fix tests
- ac74bdf5 - feat(proost): add used modules and vars
- 2696d4ce - instable: must change kernel store_name
- 633c309a - fix: back to stable
- c1c58ca2 - add super keyword
- 6b07bc8e - convert used_modules & vars
- eb209b73 - feat(kernel, builder): add kernel support for namespaces with variables names
- 52be8b2c - working example, cleanup needed
- ab48d579 - use used_vars
- 7c3030fb - chore: apply clippy
-
e4f68d84 - Resolve "Make `whnf()` less agressive"
✨ ️
Toggle commit listadded 1 commit
- beaf8430 - chore(kernel): finish cleanup & fix(module_tree): correct errors
Please register or sign in to reply