sensible_alias_support

Katz 0.047

if an imported idea shares a name with an idea in the current file:
When the import uses an alias, the base name may be reused locally — see import_tokenisation.

subreqs

duplicate_error { should be raised if a local idea or ideaset shares a name with an import binding (unaliased idea name, or the alias when present). @tests ( validating.test.ts:reports duplicate when local idea shares unaliased import binding validating.test.ts:reports duplicate when local idea shares import alias validating.test.ts:reports duplicate when local ideaset shares a local idea name ) }, sensible_graph_resolution { the imported namespace should not be assosciated with the new idea: e.g. ``` from-import an idea as an alias, then declare a local idea with the original name ``` `myidea` in the import statement should not be assosciated with the new `myidea` definition - they're totally different. @tests ( linking.test.ts:import idea reference resolves to imported file when local idea shares name validating.test.ts:allows local idea when import uses an alias ) }

Interactive page: sensible_alias_support