"Not in scope" errors should be more informative for qualified names.
E.g., if I have something like Maybe.maybeToList
in a module, which does not have such an import, I get the following error:
Not in scope: ‘Maybe.maybeToList’
Which leads the user to conclude that the Maybe
namespace does not contain the maybeToList
element, instead of informing that the Maybe
namespace is not imported altogether instead