Stream: beginners

Topic: Re-exposing an imported type/value


view this post on Zulip Kilian Vounckx (Jul 06 2023 at 14:44):

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?

view this post on Zulip Kilian Vounckx (Jul 06 2023 at 14:45):

p.s. I don't know how valuable the discussion is at the moment because of all the discussions on new headers

view this post on Zulip Ayaz Hafiz (Jul 06 2023 at 14:45):

yeah, I think #ideas > module and package changes would resolve this if accepted


Last updated: Jul 06 2025 at 12:14 UTC