aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJonas Schievink <[email protected]>2021-02-04 14:04:21 +0000
committerJonas Schievink <[email protected]>2021-02-04 14:04:21 +0000
commitcacaebcb33f1b712fbece87c69fa0ad843648f78 (patch)
tree11c5bf2a11bb069da40e656774656009824cf16e /docs
parent1bae5509ad64a560c4597a021ab467ba063d12c0 (diff)
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
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions