digital-asset / daml

The Daml smart contract language
https://www.digitalasset.com/developers
797 stars 199 forks source link

Speedy crash with dummy package #18514

Open simonmaxen-da opened 6 months ago

simonmaxen-da commented 6 months ago

Firstly extract sample files from: example.tar.gz

Then build If package

> (cd If;daml clean;daml build)
Removing directory .daml
Removed build artifacts.
Running single package build of UpgradeIf as no multi-package.yaml was found.

2024-02-19 12:03:54.35 [INFO]  [build]
Compiling UpgradeIf to a DAR.

2024-02-19 12:03:54.92 [INFO]  [build]
Created .daml/dist/UpgradeIf-1.0.0.dar

Then to reproduce problem:

> (cd V1;daml clean;daml test)
Removing directory .daml
Removed build artifacts.
File:     Upgrade.daml
Hidden:   no
Range:    76:1-76:5
Source:   Script
Severity: DsError
Message:
Script execution failed on commit at Upgrade:81:9:
  CRASH: unexpected exception com.daml.lf.speedy.SError$SErrorCrash: CRASH (com.daml.lf.speedy.SBuiltin$): cannot resolve package Some(-dummy-package-name-) when running continuation of question NeedContract

Ledger time: 1970-01-01T00:00:00Z

Partial transaction:

Committed transactions:
  TX 0 1970-01-01T00:00:00Z (Upgrade:78:10)
  #0:0
  │   disclosed to (since): 'Alice' (0)
  └─> 'Alice' creates Upgrade:DoItTemplate
              with
                owner = 'Alice'

  TX 1 1970-01-01T00:00:00Z (Upgrade:79:13)
  #1:0
  │   disclosed to (since): 'Alice' (1)
  └─> 'Alice' creates Upgrade:CallEchoIf
              with
                owner = 'Alice'
remyhaemmerle-da commented 6 months ago

This is a due to a limitation of the scenario service. It is marked in the code as TODO