Wrong FQN causes `Default_Args_Spec` to fail with 'absurd' type error if run directly

[radeusgd]

I've found a weird case - seems to be reproducible on current develop. When we run the tests through Main.enso - they pass nicely:

> ensoup run .\test\Base_Tests\ -- "Atom Constructors"
4 tests succeeded.
0 tests failed.
0 tests skipped.
0 groups skipped.

However, when we run the Default_Args_Spec.enso file directly:

> ensoup run .\test\Base_Tests\src\Semantic\Default_Args_Spec.enso
[FAILED] Atom Constructors: [2/4, 475ms]

    - [FAILED] should be allowed to use non-primitive default arguments [175ms]
        Reason: An unexpected panic was thrown: Type error: expected `b` to be Box, but got Box.
        at <enso> Bar.B(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:12:5-67)
        at <enso> D.D(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:21:14-20)
        at <enso> Default_Args_Spec.add_specs.Default_Args_Spec.add_specs<arg-1>(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:55:17-21)
        at <enso> case_branch.case <internal-22>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Group.enso:30:61-64)
        at <enso> Helpers.execute_spec_code<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:57:18-34)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover.<internal-3082>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:192-194)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:189-194)
        at <enso> Helpers.execute_spec_code(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:56-60)
        at <enso> case_branch<arg-3>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:37-63)
        at <enso> case_branch<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:13-64)
        at <enso> Runtime.no_inline(Internal)
        at <enso> Duration.type.time_execution(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Time\Duration.enso:131:18-43)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:47-48)
        at <enso> Helpers.run_spec(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:46-49)
        at <enso> case_branch.test_results(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:27:24-36)
        at <enso> Array_Like_Helpers.map.Array_Like_Helpers.map(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:232:56-77)
        at <enso> Array_Like_Helpers.vector_from_function(Internal)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:24-30)
        at <enso> Helpers.run_specs_from_group(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:21-36)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:97:35-92)
        at <enso> Suite.run_with_filter.junit_sb_builder(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:95-101)
        at <enso> Array_Like_Helpers.each.Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:272:9-24)
        at <enso> Range.each.go<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:36-51)
        at <enso> Range.each.go<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:21-52)
        at <enso> Range.each.go(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:262-264)
        at <enso> Range.each<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:265:13-25)
        at <enso> Range.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:259-265)
        at <enso> Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:271-272)
        at <enso> Vector.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Vector.enso:817:9-38)
        at <enso> Suite.run_with_filter<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:92-101)
        at <enso> Test_Reporter.wrap_junit_testsuites(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Test_Reporter.enso:29:14-19)
        at <enso> Suite.run_with_filter(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:91-101)
        at <enso> Default_Args_Spec.main(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:92:5-32)


    - [FAILED] apply defaulted arguments that are themselves fully defaulted [8ms]
        Reason: An unexpected panic was thrown: Type error: expected `b` to be Box, but got Box.
        at <enso> Bar.B(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:12:5-67)
        at <enso> G.G(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:27:13-17)
        at <enso> Default_Args_Spec.add_specs.Default_Args_Spec.add_specs<arg-0>(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:67:13-15)
        at <enso> Default_Args_Spec.add_specs.Default_Args_Spec.add_specs<arg-1>(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:67:13-66)
        at <enso> case_branch.case <internal-22>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Group.enso:30:61-64)
        at <enso> Helpers.execute_spec_code<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:57:18-34)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover.<internal-3082>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:192-194)
        at <enso> Panic.catch(Internal)
        at <enso> Panic.type.recover(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Panic.enso:189-194)
        at <enso> Helpers.execute_spec_code(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:56-60)
        at <enso> case_branch<arg-3>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:37-63)
        at <enso> case_branch<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:48:13-64)
        at <enso> Runtime.no_inline(Internal)
        at <enso> Duration.type.time_execution(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Time\Duration.enso:131:18-43)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:47-48)
        at <enso> Helpers.run_spec(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:46-49)
        at <enso> case_branch.test_results(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:27:24-36)
        at <enso> Array_Like_Helpers.map.Array_Like_Helpers.map(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:232:56-77)
        at <enso> Array_Like_Helpers.vector_from_function(Internal)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:24-30)
        at <enso> Helpers.run_specs_from_group(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Helpers.enso:21-36)
        at <enso> case_branch(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:97:35-92)
        at <enso> Suite.run_with_filter.junit_sb_builder(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:95-101)
        at <enso> Array_Like_Helpers.each.Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:272:9-24)
        at <enso> Range.each.go<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:36-51)
        at <enso> Range.each.go<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:263:21-52)
        at <enso> Range.each.go(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:262-264)
        at <enso> Range.each<arg-2>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:265:13-25)
        at <enso> Range.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Range.enso:259-265)
        at <enso> Array_Like_Helpers.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Internal\Array_Like_Helpers.enso:271-272)
        at <enso> Vector.each(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Base\0.0.0-dev\src\Data\Vector.enso:817:9-38)
        at <enso> Suite.run_with_filter<arg-1>(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:92-101)
        at <enso> Test_Reporter.wrap_junit_testsuites(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Test_Reporter.enso:29:14-19)
        at <enso> Suite.run_with_filter(X:\NBO\enso\built-distribution\enso-engine-0.0.0-dev-windows-amd64\enso-0.0.0-dev\lib\Standard\Test\0.0.0-dev\src\Suite.enso:91-101)
        at <enso> Default_Args_Spec.main(X:\NBO\enso\test\Base_Tests\src\Semantic\Default_Args_Spec.enso:92:5-32)


4 tests succeeded.
2 tests failed.
0 tests skipped.
0 groups skipped.

Failed tests: 'should.be.allowed.to.use.non-primitive.default.arguments|apply.defaulted.arguments.that.are.themselves.fully.defaulted'

Note that the type error says:

Type error: expected `b` to be Box, but got Box.

which just doesn't make any sense.

[radeusgd]

I've added -compiler label as I suspect it is an issue somewhere in the interpreter, not in the tests.

[JaroslavTulach]

I've added -compiler label as I suspect it is an issue somewhere in the interpreter, not in the tests.

Probably. Putting a breakpoint in PanicException constructor would tell us more.

[JaroslavTulach]

Initial evaluation can confirm the problem. Adding

--- a/engine/runtime/src/main/java/org/enso/interpreter/runtime/TruffleCompilerContext.java
+++ b/engine/runtime/src/main/java/org/enso/interpreter/runtime/TruffleCompilerContext.java
@@ -241,9 +241,18 @@
   public void runStubsGenerator(
       CompilerContext.Module module, CompilerContext.ModuleScopeBuilder scopeBuilder) {
     var m = ((Module) module).unsafeModule();
+    var track = m.getName().toString().contains("Default_Args_Spec"); 
+    if (track) {
+        System.err.println("runStubsGenerator for " + module);
+        System.err.println("                  and " + m);
+        System.err.println("                  scb " + scopeBuilder);
+    }
     stubsGenerator.run(m.getIr(), (TruffleCompilerModuleScopeBuilder) scopeBuilder);
     m.unsafeSetCompilationStage(CompilationStage.AFTER_RUNTIME_STUBS);
+    if (track) {
+        System.err.println(" done" + module + " in " + Thread.currentThread().getName());
   }
+  }
 
   @Override
   public CompilerContext.Module findTopScopeModule(String name) {

prints out:

runStubsGenerator for CompilerContext.Module{module=Module[enso_dev.Base_Tests.Default_Args_Spec]}
                  and Module[enso_dev.Base_Tests.Default_Args_Spec]
                  scb ModuleScope builder for enso_dev.Base_Tests.Default_Args_Spec,
Polyglot Symbols: {},
Methods: {},
Conversions: {},
Imports: [],
Exports: [],
Types: {}
java.lang.Exception: Creating type: Box
        at org.enso.runtime/org.enso.interpreter.runtime.data.Type.<init>(Type.java:70)
        at org.enso.runtime/org.enso.interpreter.runtime.data.Type.create(Type.java:99)
        at org.enso.runtime/org.enso.interpreter.runtime.RuntimeStubsGenerator.$anonfun$run$2(RuntimeStubsGenerator.scala:67)
        at org.enso.runtime/org.enso.interpreter.runtime.RuntimeStubsGenerator.$anonfun$run$2$adapted(RuntimeStubsGenerator.scala:33)
        at scala.library@2.13.15/scala.collection.immutable.List.foreach(List.scala:334)
        at org.enso.runtime/org.enso.interpreter.runtime.RuntimeStubsGenerator.run(RuntimeStubsGenerator.scala:33)
        at org.enso.runtime/org.enso.interpreter.runtime.TruffleCompilerContext.runStubsGenerator(TruffleCompilerContext.java:250)
 doneCompilerContext.Module{module=Module[enso_dev.Base_Tests.Default_Args_Spec]} in main
runStubsGenerator for CompilerContext.Module{module=Module[enso_dev.Base_Tests.Semantic.Default_Args_Spec]}
                  and Module[enso_dev.Base_Tests.Semantic.Default_Args_Spec]
                  scb ModuleScope builder for enso_dev.Base_Tests.Semantic.Default_Args_Spec,
Polyglot Symbols: {},
Methods: {},
Conversions: {},
Imports: [],
Exports: [],
Types: {}
java.lang.Exception: Creating type: Box
        at org.enso.runtime/org.enso.interpreter.runtime.data.Type.<init>(Type.java:70)
        at org.enso.runtime/org.enso.interpreter.runtime.data.Type.create(Type.java:99)
        at org.enso.runtime/org.enso.interpreter.runtime.RuntimeStubsGenerator.$anonfun$run$2(RuntimeStubsGenerator.scala:67)
        at org.enso.runtime/org.enso.interpreter.runtime.RuntimeStubsGenerator.$anonfun$run$2$adapted(RuntimeStubsGenerator.scala:33)
        at scala.library@2.13.15/scala.collection.immutable.List.foreach(List.scala:334)
        at org.enso.runtime/org.enso.interpreter.runtime.RuntimeStubsGenerator.run(RuntimeStubsGenerator.scala:33)

please note the FQNs:

• first call uses Module[enso_dev.Base_Tests.Default_Args_Spec]
• second call has Module[enso_dev.Base_Tests.Semantic.Default_Args_Spec]

Once without Semantic and once with Semantic...

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2025-09-04):

Progress: .

• fixing Wrong FQN causes Default_Args_Spec to fail with 'absurd' type error if run directly #12240 module FQN by Properly compute FQN for a module inside of a project #13936
• polishing JDBC without jvm: No need for jvm: true when running Generic_JDBC_Tests #13900 (comment)
• analyzing TruffleSafepoint & deadlocks: https://github.com/enso-org/enso/pull/13907/files#r2323219748
• standup It should be finished by 2025-09-08.

GitHub

Replace synchronization blocks in polyglot Java initialization by hubertp · Pull Request #13907 · enso-org/enso

Pull Request Description If 2 threads are trying to initialize polyglot Java

Thread 1 acquires the lock on the object and proceeds with
initialization
Thread 2 waits on the lock on the object

Sad...