Jonas Schievink cacaebcb33 Expander: store a LocalModuleId, not ModuleId ...

It already stores the DefMap containing the module, so having
a full ModuleId is unnecessary and makes it easier to mix things up

2021-02-04 15:04:21 +01:00

..

src

Expander: store a LocalModuleId, not ModuleId

2021-02-04 15:04:21 +01:00

Cargo.toml

⬆️ arena

2021-01-17 11:43:04 +03:00