search

flix / flix

The Flix Programming Language
https://flix.dev/
Other
2.09k stars 150 forks source link

Accessing root-namespace tags fails when type is specified #4826

Closed paulbutcher closed 1 year ago

paulbutcher commented 1 year ago

Further to #4815, this compiles:

namespace A {
    pub def foo(): Option[Int32] =
        Some(1)
}

But this fails:

namespace A {
    pub def foo(): Option[Int32] =
        Option.Some(1)
}
mlutze commented 1 year ago

Possibly related: https://github.com/flix/flix/issues/1540