Closed tamasfe closed 2 years ago
Currently even when all sources are removed modules are left untouched in the HIR.
Currently just typing a new module name in a definition file ends up with the following result:
Currently even when all sources are removed modules are left untouched in the HIR.
Currently just typing a new module name in a definition file ends up with the following result:![image](https://user-images.githubusercontent.com/25967296/178342723-7e2238df-04f4-436f-8281-dff8b8a309af.png)