Unresolved constructor in a case statement seems to lack a correlated source reference

[radeusgd]

The repro seems to be fairly simple:

foo x = case x of
    Index_Sub_Range.Sample _ _ -> 1
    _ -> 2

main = foo 3

(note no imports at the top)

Actual behaviour

It yields:

<Unknown source>: error: The name `Index_Sub_Range.Sample` could not be found.
Aborting due to 1 errors and 0 warnings.
Execution finished with an error: Compilation aborted due to errors.

This is quite problematic as if such an error occurs during a bigger refactor it may be relatively hard to find the root cause of the error - we do not even know which file the error occurs in.

Expected behaviour

We should had source location as in all kinds of other errors.

[radeusgd]

Maybe better showing is a repro on nonexistent types:

foo x = case x of
    Foo.Bar _ _ -> 1
    _ -> 2

main = foo 3

<Unknown source>: error: The name `Foo.Bar` could not be found.
Aborting due to 1 errors and 0 warnings.
Execution finished with an error: Compilation aborted due to errors.

but they both demonstrate essentially the same issue.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-12):

Progress: - fixing #8976 by #9025

• updating Towards simplifying runtime-compiler dependencies #8894 to latest develop
• review warnings: Local Project Manager should be able to work against any folder #8650 (comment)
• fixing No persistance for Shadowed$FunctionParam. #8896 by Don't print stacktraces of IOException #9024
• CI fighting: https://discord.com/channels/401396655599124480/1206523170899894282/1206596759548207194
• test for GraalVM: Allow polyglot embedders to control throwDeniedThreadAccess oracle/graal#8266 (comment)
• emails, reviews, (demo) meetings It should be finished by 2024-02-12.

Next Day: Bugfixing and planning

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.