Skip to content

"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

Edited by Joachim Breitner
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information