op1._ yields: Compiler Internal Error: Qualified names should not be present at codegen time

[sylwiabr]

Discord username

No response

What type of issue is this?

Intermittent – Occurring irregularly

Is this issue blocking you from using Enso?

• Yes, I can't use Enso because of this issue.

Is this a regression?

• Yes, previous version of Enso did not have this issue.

What issue are you facing?

When parsing columns in the table on the third node with parse the compiler error occurred:
router.ts:62 [ERROR] app/gui/src/model/project/synchronized.rs:591 Execution failed in context ca4e82f0-e987-4ba2-9dce-d6f9265d37af. Error: Execution of function main failed (Compiler Internal Error: Qualified names should not be present at codegen time.)..
and the node was missing values:

After some time it recovers and it was possible to choose the proper column from the drop-down.

Expected behaviour

The drop-down should work after appearing on the node.

How we can reproduce it?

No response

Screenshots or screencasts

No response

Logs

20230815-055256-813-enso-project-manager.log

Enso Version

nightly 15.08

Browser or standalone distribution

Standalone distribution (local project)

Browser Version or standalone distribution

standalone

Operating System

MacOS

Operating System Version

No response

Hardware you are using

No response

[sylwiabr]

happened again when working further with the same project:
20230804-080206-882-enso-project-manager.log

[sylwiabr]

https://drive.google.com/file/d/1_ocjOryj10ScC4TLq26M2-ueBxbqOdmw/view?usp=share_link @hubertp the project folder

Google Drive: Sign-in

Access Google Drive with a Google account (for personal use) or Google Workspace account (for business use).

[sylwiabr]

Another example of the same issue, had to restart IDE
localhost-1692269582124.log
New_Project_16.zip
20230817-103106-810-enso-project-manager.log

[JaroslavTulach]

[enso] Execution of function main failed (Compiler Internal Error: Qualified names should not be present at codegen time.).
org.enso.compiler.core.CompilerError: Some(Compiler Internal Error: Qualified names should not be present at codegen time.)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor.processName(IrToTruffle.scala:1535)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor.org$enso$compiler$codegen$IrToTruffle$ExpressionProcessor$$run(IrToTruffle.scala:942)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor.run(IrToTruffle.scala:930)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor.processBlock(IrToTruffle.scala:1014)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor.org$enso$compiler$codegen$IrToTruffle$ExpressionProcessor$$run(IrToTruffle.scala:938)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor$BuildFunctionBody.computeBodyNode(IrToTruffle.scala:1693)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor$BuildFunctionBody.bodyN$lzycompute(IrToTruffle.scala:1676)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor$BuildFunctionBody.bodyN(IrToTruffle.scala:1676)
  at org.enso.compiler.codegen.IrToTruffle$ExpressionProcessor$BuildFunctionBody.bodyNode(IrToTruffle.scala:1679)
  at org.enso.compiler.codegen.IrToTruffle.$anonfun$processModule$33(IrToTruffle.scala:499)
  at org.enso.interpreter.node.MethodRootNode$LazyBodyNode.replaceItself(MethodRootNode.java:145)
  at org.enso.interpreter.node.MethodRootNode$LazyBodyNode.replaceLazyNode(MethodRootNode.java:133)

[hubertp]

It appears to complain about name operator2._. Easy to reproduce, just create a node by dragging from the table one.
edit: Even easier to repro: Execute repl on a program with operator2._.
I suppose this is something IDE wants to (temporarily) add but compiler shouldn't crash so bad.

[hubertp]

Simpler test-case:

main =
    op = 1
    op._

[JaroslavTulach]

#7651 provides a safety net fix for this and other CompilerError abnormal situations. With the fix following program:

from Standard.Base import IO, Panic, Any

run op =
    IO.println op
    op._

main =
    IO.println "One"
    Panic.recover Any <| run 1
    IO.println "Two"
    Panic.recover Any <| run 2
    IO.println "Tři"
    Panic.recover Any <| run 3

outputs:

One
Two
Tři
(Error: (Compile_Error.Error 'Compiler Internal Error: Qualified names should not be present at codegen time.'))

e.g. when the run function is called, it yields which can be turned into Compile_Error with the help of Panic.recover.

[JaroslavTulach]

To continue other investigations let's note that compiling following program

run op = op._
main = run

yields:

t.enso:1:5: warning: Unused function argument op.
    1 | run op = op._
      |     ^~
t.run[t.enso:1-3]

e.g. the op._ isn't treated as a usage of variable op. We should probably detect such case and treat it as a compiler error, not just a warning...

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-08-24):

Progress: - CompilerError into Panic PR: #7651

• CI fighting: https://discord.com/channels/401396655599124480/1144140251896483871
• TruffleBoundary bugfix: d0330b5
• discussing versioning: https://github.com/orgs/enso-org/discussions/7639#discussioncomment-6810282
• debugging CI failure: c709d25
• ServiceLoader proposition: Replace a custom logger with off the shelf implementation #7559 (comment)
• better DST support for Python interop: Accurate tzinfo emulation based on ZoneRules #7626 (comment) It should be finished by 2023-08-28.

Next Day: CI fighting

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.

GitHub

What to do on version incompatibilities between IDE and the project's specified engine · enso-org · Discussion #7639

We had a number of issues recently related to the fact that newer IDE was forced to use incompatible engine version. Examples include: #7095 #7426 and numerous discussions about the version of newl...

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-08-25):

Progress: - fixed by #7651

• Ensure Python can accept Enso Zone, Date, Date_Time, Time_Of_Day #7418 fixed by Special support for Python Date/Time/Zone interop #7617
• another fix for op1._ yields: Compiler Internal Error: Qualified names should not be present at codegen time #7582: Avoid _ after . #7657
• ZoneWrapper callback: beaceed
• reacting to review of Avoid _ after . #7657
• getting into Speed Standard.Base initialization in simple Hello World example up! #6100 again
• abstracting Builtins from Compiler It should be finished by 2023-08-28.

Next Day: Prepare PR for Builtins

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-08-27):

Progress: - Fix for #7582: Compiler error for x._: #7657

• Builtins cleanup integrated: Removing references to Builtins from Compiler #7666 It should be finished by 2023-08-28.

Next Day: Bugfixing