Skip to content

Fuse unionWith and checkBinRel in PlutusLedgerApi.V1.Data.Value#7799

Merged
Unisay merged 6 commits into
masterfrom
yura/issue-2243-fused-unionwith-impl
Jun 18, 2026
Merged

Fuse unionWith and checkBinRel in PlutusLedgerApi.V1.Data.Value#7799
Unisay merged 6 commits into
masterfrom
yura/issue-2243-fused-unionwith-impl

Trim changelog to the exported unionWith change

4a69249
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-linux.project-coverage-report timed out Jun 18, 2026 in 2h 0m 3s

Build timed out

1 failed steps

Details

Failed Steps

Step 12

Derivation

/nix/store/g7cdg7nzwnwbxbw6iv3v1zca76pqqy3p-plutus-benchmark-test-uplc-evaluator-integration-tests-0.1.0.0-check.drv

Log

Running phase: unpackPhase
unpacking source archive /nix/store/xygh52mfxw6hc82gr1x5kk0v610dzy56-source-plutus-benchmark-test-uplc-evaluator-integration-tests-root
source root is source-plutus-benchmark-test-uplc-evaluator-integration-tests-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/3vfl26cfdad1v11wf8wfb5ydihlxqx1j-plutus-benchmark-test-uplc-evaluator-integration-tests-0.1.0.0/bin:
patching script interpreter paths in /build/tmp.BS7Z21mBhe/bin
uplc-evaluator integration tests
  Infrastructure
    Basic scaffolding test:                                                  OK
    Service lifecycle - start and stop:                                      Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-d794011eae8a30e0
  Output dir: /build/uplc-evaluator-output-48e779552c438f0c
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-fb405b6de6fb036d
  Output dir: /build/uplc-evaluator-output-9d5a9b8d06cc4cf2
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-2a035310afee6a69
  Output dir: /build/uplc-evaluator-output-7c28142f07e8c5bb
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-66100cac2fa3c829
  Output dir: /build/uplc-evaluator-output-c0dccfae8cc0da9b
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-05d469f0f6065cc3
  Output dir: /build/uplc-evaluator-output-32e4d8961f6d46a4
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-5691527d47deaaf5
  Output dir: /build/uplc-evaluator-output-fa0eb5923ca54934
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-69687ad0bf25325c
  Output dir: /build/uplc-evaluator-output-d082e7962058d160
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-96622fb1443b72df
  Output dir: /build/uplc-evaluator-output-d6bfe35b850e1e52
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-cd00ef0b695794ac
  Output dir: /build/uplc-evaluator-output-5a5e2547bf7449af
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-f546e53db458a336
  Output dir: /build/uplc-evaluator-output-d0718c5e6d788e4a
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-adb8a7d6db5c2267
  Output dir: /build/uplc-evaluator-output-745316f17ea6574f
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-709d41507ba3940c
  Output dir: /build/uplc-evaluator-output-cd700bd9eca3ed71
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-f546e53db458a336
Input directory: /build/uplc-evaluator-input-05d469f0f6065cc3
Input directory: /build/uplc-evaluator-input-96622fb1443b72df
Input directory: /build/uplc-evaluator-input-fb405b6de6fb036d
Input directory: /build/uplc-evaluator-input-69687ad0bf25325c
Output directory: /build/uplc-evaluator-output-9d5a9b8d06cc4cf2
Output directory: /build/uplc-evaluator-output-d082e7962058d160
Input directory: /build/uplc-evaluator-input-d794011eae8a30e0
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
Poll interval: 100ms
Output directory: /build/uplc-evaluator-output-d6bfe35b850e1e52
Service warmup: starting...
Poll interval: 100ms
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-2a035310afee6a69
Input directory: /build/uplc-evaluator-input-66100cac2fa3c829
Input directory: /build/uplc-evaluator-input-709d41507ba3940c
Output directory: /build/uplc-evaluator-output-7c28142f07e8c5bb
Output directory: /build/uplc-evaluator-output-cd700bd9eca3ed71
Poll interval: 100ms
Poll interval: 100ms
Service warmup: starting...
Service warmup: starting...
Service warmup: starting...
Input directory: /build/uplc-evaluator-input-5691527d47deaaf5
Output directory: /build/uplc-evaluator-output-d0718c5e6d788e4a
Poll interval: 100ms
Poll interval: 100ms
Output directory: /build/uplc-evaluator-output-fa0eb5923ca54934
Output directory: /build/uplc-evaluator-output-48e779552c438f0c
Poll interval: 100ms
Poll interval: 100ms
Service warmup: starting...
Service warmup: starting...
Service warmup: starting...
Service warmup: starting...
UPLC Evaluator Service starting...
Output directory: /build/uplc-evaluator-output-32e4d8961f6d46a4
Poll interval: 100ms
Input directory: /build/uplc-evaluator-input-adb8a7d6db5c2267
Service warmup: starting...
Output directory: /build/uplc-evaluator-output-745316f17ea6574f
Poll interval: 100ms
Service warmup: starting...
Output directory: /build/uplc-evaluator-output-c0dccfae8cc0da9b
Poll interval: 100ms
Service warmup: starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-cd00ef0b695794ac
Output directory: /build/uplc-evaluator-output-5a5e2547bf7449af
Poll interval: 100ms
Service warmup: starting...
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
OK (0.21s)
  Textual UPLC Programs
Starting uplc-evaluator service
    Successful evaluation of simple textual program:                           Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-0c390af1170bf4ff
  Output dir: /build/uplc-evaluator-output-3c38ba41d5520719
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-0c390af1170bf4ff
Output directory: /build/uplc-evaluator-output-3c38ba41d5520719
Poll interval: 100ms
Service warmup: starting...
Service warmup: complete
Invalid job ID in filename: 12345.uplc.txt
Invalid job ID in filename: not-a-uuid.uplc.txt
Invalid job ID in filename: job-123.uplc.txt
Processing job: 041b93aa-f248-4339-bd03-73f58f40103e
Processing job: 8240b6e4-3441-4cb3-b136-9c7582e158e4
Processing job: 7fbc8e68-bfc1-411a-9d88-e5edd4cf4fad
Processing job: c959c344-d9ec-4140-9592-46a94810657f
Processing job: 550e8400-e29b-41d4-a716-446655440000
Processing job: 82585e29-37c1-49f7-8477-d9136f89bf03
Processing job: eb453ee4-bdbe-4a84-9ec0-c84e3df57ad0
Program must start with '(program' keyword
Program must start with '(program' keyword
Program must start with '(program' keyword
Wrote error: /build/uplc-evaluator-output-fa0eb5923ca54934/12345.error.json
Wrote error: /build/uplc-evaluator-output-745316f17ea6574f/job-123.error.json
Wrote error: /build/uplc-evaluator-output-32e4d8961f6d46a4/7fbc8e68-bfc1-411a-9d88-e5edd4cf4fad.error.json
Wrote error: /build/uplc-evaluator-output-9d5a9b8d06cc4cf2/not-a-uuid.error.json
Wrote error: /build/uplc-evaluator-output-48e779552c438f0c/82585e29-37c1-49f7-8477-d9136f89bf03.error.json
Wrote error: /build/uplc-evaluator-output-d6bfe35b850e1e52/c959c344-d9ec-4140-9592-46a94810657f.error.json
Wrote result: /build/uplc-evaluator-output-5a5e2547bf7449af/eb453ee4-bdbe-4a84-9ec0-c84e3df57ad0.result.json
Wrote result: /build/uplc-evaluator-output-d082e7962058d160/041b93aa-f248-4339-bd03-73f58f40103e.result.json
Wrote result: /build/uplc-evaluator-output-c0dccfae8cc0da9b/550e8400-e29b-41d4-a716-446655440000.result.json
Wrote result: /build/uplc-evaluator-output-7c28142f07e8c5bb/8240b6e4-3441-4cb3-b136-9c7582e158e4.result.json
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Service exited with code: -15
Service exited with code: -15
Service exited with code: -15
Cleaning up temporary directories
Cleaning up temporary directories
Cleaning up temporary directories
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-550c259b0a86a441
  Output dir: /build/uplc-evaluator-output-8f1b94eb2282f9b0
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-c251b47f4f37aca2
  Output dir: /build/uplc-evaluator-output-e0105e8b440dce00
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-704a8b0f5114df50
  Output dir: /build/uplc-evaluator-output-e6b151f765a273bb
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-b2581e5bd1a32552
  Output dir: /build/uplc-evaluator-output-2030ed48740c2068
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-2c46aa1a0fda3aea
  Output dir: /build/uplc-evaluator-output-148147750e1a7f56
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-9def33547856bfb7
  Output dir: /build/uplc-evaluator-output-9d88822401218e32
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-b2581e5bd1a32552
Input directory: /build/uplc-evaluator-input-704a8b0f5114df50
Input directory: /build/uplc-evaluator-input-c251b47f4f37aca2
Output directory: /build/uplc-evaluator-output-e6b151f765a273bb
Output directory: /build/uplc-evaluator-output-2030ed48740c2068
Poll interval: 100ms
Poll interval: 100ms
Output directory: /build/uplc-evaluator-output-e0105e8b440dce00
Service warmup: starting...
Service warmup: starting...
Poll interval: 100ms
Service warmup: starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-550c259b0a86a441
Output directory: /build/uplc-evaluator-output-8f1b94eb2282f9b0
Poll interval: 100ms
Service warmup: starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-2c46aa1a0fda3aea
Output directory: /build/uplc-evaluator-output-148147750e1a7f56
Poll interval: 100ms
Service warmup: starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-9def33547856bfb7
Output directory: /build/uplc-evaluator-output-9d88822401218e32
Poll interval: 100ms
Service warmup: starting...
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service exited with code: -15
Service exited with code: -15
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Service warmup: complete
OK (0.24s)
  Flat-encoded UPLC Programs
    Flat-encoded file produces syntax error (MVP limitation):                OK (0.23s)
  Error Handling
    Empty file produces syntax error:                                        Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-83692be943734280
  Output dir: /build/uplc-evaluator-output-aebb898054ca3a53
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-27101311f5143f9e
  Output dir: /build/uplc-evaluator-output-e1dd9b0a8daa483a
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-c13aef64610e8bef
  Output dir: /build/uplc-evaluator-output-10da84aa6b97f2b9
Starting uplc-evaluator service
  Executable: /nix/store/ji328q4gaj8izwmzz6n0l7hffxa7sl0l-plutus-benchmark-exe-uplc-evaluator-0.1.0.0/bin/uplc-evaluator
  Input dir:  /build/uplc-evaluator-input-4ba00bb8a89c328c
  Output dir: /build/uplc-evaluator-output-47856959e85b20a2
UPLC Evaluator Service starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-27101311f5143f9e
Output directory: /build/uplc-evaluator-output-e1dd9b0a8daa483a
Input directory: /build/uplc-evaluator-input-83692be943734280
Poll interval: 100ms
Output directory: /build/uplc-evaluator-output-aebb898054ca3a53
Service warmup: starting...
Poll interval: 100ms
Service warmup: starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-4ba00bb8a89c328c
Output directory: /build/uplc-evaluator-output-47856959e85b20a2
Poll interval: 100ms
Service warmup: starting...
UPLC Evaluator Service starting...
Input directory: /build/uplc-evaluator-input-c13aef64610e8bef
Output directory: /build/uplc-evaluator-output-10da84aa6b97f2b9
Poll interval: 100ms
Service warmup: starting...
Service warmup: complete
Service warmup: complete
Service warmup: complete
Service warmup: complete
Processing job: 2dd9c248-e3e0-4193-95b6-cd23be9f4e06
Wrote result: /build/uplc-evaluator-output-3c38ba41d5520719/2dd9c248-e3e0-4193-95b6-cd23be9f4e06.result.json
Processing job: a2d670c5-59f5-4379-a118-334d81f7e625
Wrote result: /build/uplc-evaluator-output-3c38ba41d5520719/a2d670c5-59f5-4379-a118-334d81f7e625.result.json
Processing job: 80cefc44-982b-48be-a631-07d402f23312
Wrote result: /build/uplc-evaluator-output-3c38ba41d5520719/80cefc44-982b-48be-a631-07d402f23312.result.json
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
Processing job: c167ec2e-2ff7-4d38-ba48-54abd1197473
Processing job: 297e6501-60b2-4dd4-b50e-cc446152ad2d
Processing job: 444ee81c-c888-4170-ac86-736d4a2415f3
Processing job: b659ca2c-469c-40c0-a202-c4e23dbf42db
Processing job: 79eddaf3-5838-49ef-8d4a-2bdb9c14ea53
Processing job: 559644d7-fdd7-48f4-b233-4bb0a7ca2de3
Wrote result: /build/uplc-evaluator-output-2030ed48740c2068/297e6501-60b2-4dd4-b50e-cc446152ad2d.result.json
Wrote result: /build/uplc-evaluator-output-148147750e1a7f56/79eddaf3-5838-49ef-8d4a-2bdb9c14ea53.result.json
Wrote result: /build/uplc-evaluator-output-8f1b94eb2282f9b0/c167ec2e-2ff7-4d38-ba48-54abd1197473.result.json
Wrote result: /build/uplc-evaluator-output-e6b151f765a273bb/b659ca2c-469c-40c0-a202-c4e23dbf42db.result.json
Wrote result: /build/uplc-evaluator-output-e0105e8b440dce00/444ee81c-c888-4170-ac86-736d4a2415f3.result.json
Processing job: aba34e44-b19f-40bb-93ee-1a38955007ef
Wrote result: /build/uplc-evaluator-output-9d88822401218e32/559644d7-fdd7-48f4-b233-4bb0a7ca2de3.result.json
Wrote result: /build/uplc-evaluator-output-e0105e8b440dce00/aba34e44-b19f-40bb-93ee-1a38955007ef.result.json
Processing job: ebe4a8ab-9a94-4604-abad-ac3b9f91923b
Wrote result: /build/uplc-evaluator-output-e0105e8b440dce00/ebe4a8ab-9a94-4604-abad-ac3b9f91923b.result.json
Processing job: b9c6c351-acce-4c83-b81c-64aeb14ad091
Wrote result: /build/uplc-evaluator-output-e0105e8b440dce00/b9c6c351-acce-4c83-b81c-64aeb14ad091.result.json
Processing job: 50665045-351b-4183-b337-686584da9bb2
Wrote result: /build/uplc-evaluator-output-e0105e8b440dce00/50665045-351b-4183-b337-686584da9bb2.result.json
Processing job: 2faccf9a-290c-4dce-8bd0-6b981eaa6fbf
Processing job: 0fb98173-b630-4722-b106-3e87b3af3dc8
Wrote result: /build/uplc-evaluator-output-aebb898054ca3a53/0fb98173-b630-4722-b106-3e87b3af3dc8.result.json
Wrote result: /build/uplc-evaluator-output-e1dd9b0a8daa483a/2faccf9a-290c-4dce-8bd0-6b981eaa6fbf.result.json
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Service exited with code: -15
Service exited with code: -15
Service exited with code: -15
Cleaning up temporary directories
Cleaning up temporary directories
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Stopping uplc-evaluator service
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
Processing job: bb4ec424-e4d0-4d6c-9649-f9234292f71a
Processing job: 57031087-3e6c-41d9-82d9-fbbc8cb6938c
Wrote result: /build/uplc-evaluator-output-47856959e85b20a2/bb4ec424-e4d0-4d6c-9649-f9234292f71a.result.json
Stopping uplc-evaluator service
Wrote result: /build/uplc-evaluator-output-10da84aa6b97f2b9/57031087-3e6c-41d9-82d9-fbbc8cb6938c.result.json
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
Service exited with code: -15
Cleaning up temporary directories
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories
Stopping uplc-evaluator service
Service exited with code: -15
Cleaning up temporary directories