This requires major changes in the infrastructure of the name resolver.
Importing only the value binding: use some.path.to.((let name)) (or rather ((data name))?).
Importing only the module binding: use some.path.to.((module name)).
Syntactically conflicts with the proposal #42 (more ergonomic record fields) unless it switches from using . to some other symbol.
Meta: Task: Add description.
This requires major changes in the infrastructure of the name resolver.
Importing only the value binding:
use some.path.to.((let name))(or rather((data name))?). Importing only the module binding:use some.path.to.((module name)).Syntactically conflicts with the proposal #42 (more ergonomic record fields) unless it switches from using
.to some other symbol.