diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-06-19 17:48:16 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-06-19 17:49:28 +0100 |
| commit | 4f211efe89c3d86073369fc4b609ec8498aa61db (patch) | |
| tree | 5abd1d46d9b7289a01f73c13cc5c3d994d47157d /examples | |
| parent | 81d6985af5c1d43a8d03af18eca3ec51242362c3 (diff) | |
Handle unknown namespace in import type checking
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions