Closed peq closed 2 years ago
When changing a module in vscode, changes were not directly reflected in other files using the module. With this change, we now clear the module intantiations in depending packages so that they are recomputed on demand.
When changing a module in vscode, changes were not directly reflected in other files using the module. With this change, we now clear the module intantiations in depending packages so that they are recomputed on demand.