diff options
| author | Jonas Schievink <[email protected]> | 2021-01-25 14:21:33 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-01-25 14:21:33 +0000 |
| commit | 5c241b07666bc7b29e97b8206e505944775266a0 (patch) | |
| tree | 09c289ee88d13b794356e2316e9305d9746069fe /editors/code | |
| parent | 82af033f2fa19d370797b7c6f3a99acd3e47c89e (diff) | |
Create all `ModuleId`s through a `DefMap` method
`ModuleId` needs to be able to represent blocks, and only the
associated `DefMap` will know how to construct that `ModuleId`
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions