At the moment it is not possible to directly re-expose an imported type or variable. E.g.
In Foo.roc:
interface Foo
exposes [bar]
imports []
bar = "Hello, World!"
Then it is not possible in Bar.roc to do:
interface Bar
exposes [bar]
imports [Foo.{ bar }]
It is possible to explicitly state bar = Foo.bar
in the Bar
interface, but this is annoying and can't be done with types or abilities.
Is it planned to have this?
p.s. I don't know how valuable the discussion is at the moment because of all the discussions on new headers
yeah, I think #ideas > module and package changes would resolve this if accepted
Last updated: Jul 06 2025 at 12:14 UTC