SO when attempting to subtract from a Day value

[hubertp]

Simple reproducer failing with StackOverflowError:

from Standard.Base import all

main =
    d = Date.today
    d - d

Date.today was obviously 2024-09-17

[jdunkerley]

Date.- does not allow a Date argument as the amount and should hence fail with a type error.

- self amount:(Period | Date_Period)

[JaroslavTulach]

Looking at the stack:

ReadArgumentCheckNode.panicAtTheEnd() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/argument/ReadArgumentCheckNode.java:135)
ReadArgumentCheckNode.handleCheckOrConversion() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/argument/ReadArgumentCheckNode.java:76)
ReadArgumentNode.executeGeneric() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/argument/ReadArgumentNode.java:72)
AssignmentNodeGen.executeGeneric() (/enso/engine/runtime/target/scala-2.13/src_managed/main/org/enso/interpreter/node/scope/AssignmentNodeGen.java:51)
BinaryOperatorNode.executeGeneric() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/BinaryOperatorNode.java:44)
ClosureRootNode.execute() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/ClosureRootNode.java:85)
OptimizedCallTarget.executeRootNode() (Unknown Source:745)
OptimizedCallTarget.profiledPERoot() (Unknown Source:669)
OptimizedCallTarget.callBoundary() (Unknown Source:602)
OptimizedCallTarget.doInvoke() (Unknown Source:586)
OptimizedCallTarget.callDirect() (Unknown Source:535)
OptimizedDirectCallNode.call() (Unknown Source:94)
ExecuteCallNode.callDirect() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/ExecuteCallNode.java:94)
ExecuteCallNodeGen.executeCall() (/enso/engine/runtime/target/scala-2.13/src_managed/main/org/enso/interpreter/node/callable/ExecuteCallNodeGen.java:86)
SimpleCallOptimiserNode.executeDispatch() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/dispatch/SimpleCallOptimiserNode.java:56)
CurryNode.doCall() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/dispatch/CurryNode.java:161)
CurryNode.execute() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/dispatch/CurryNode.java:107)
InvokeFunctionNode.invokeCached() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/callable/dispatch/InvokeFunctionNode.java:155)
InvokeFunctionNodeGen.execute() (/enso/engine/runtime/target/scala-2.13/src_managed/main/org/enso/interpreter/node/callable/dispatch/InvokeFunctionNodeGen.java:81)
BinaryOperatorNode$DoThatConversionNode.doDispatch() (/enso/engine/runtime/src/main/java/org/enso/interpreter/node/BinaryOperatorNode.java:195)

I'd say this is a regression caused by

• Binary operator resolution based on that value #8779

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-09-18):

Progress: .

• fix for SO when attempting to subtract from a Day value #11119 by Don't convert type to the same type #11122
• addressing GraalVM PR requests: Allow control of throwDeniedThreadAccess via TruffleContext.threadAccessDeniedHandler oracle/graal#8266 (comment)
• bisecting to find errors (it is the merge)
• discussing licensing: https://discord.com/channels/401396655599124480/1286001709973377107/1286009792065703978
• email sent to Reiner - Oracle sales It should be finished by 2024-09-19.

Next Day: I'll be at GraalVM meetup; coding intermitently

Discord

Discord - Group Chat That’s All Fun & Games

Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.