CaseOfCase kind mismatch error fix #5923
Merged
IOG Hydra / ci/hydra-build:x86_64-darwin.ghc96.checks.plutus-ledger-api:test:plutus-ledger-api-test
succeeded
Apr 25, 2024 in 4s
Build succeeded
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/pj1rdjyig64zn4bb6mcvl3ri1zsamwvf-plutus-ledger-api-test-plutus-ledger-api-test-1.26.0.0-check.drv
Log
unpacking sources
unpacking source archive /nix/store/hm932cr90h9jwwqvqbk0m0zvm2hvr3p1-source-root-plutus-ledger-api-test-plutus-ledger-api-test-root
source root is source-root-plutus-ledger-api-test-plutus-ledger-api-test-root
patching sources
building
/nix/store/fr49qlgcrbxidwqjqn1pgb426w99gzga-plutus-ledger-api-test-plutus-ledger-api-test-1.26.0.0/bin:
patching script interpreter paths in /private/tmp/nix-build-plutus-ledger-api-test-plutus-ledger-api-test-1.26.0.0-check.drv-0/tmp.20fHfmauef/bin
plutus-ledger-api
basic evaluation tests
always true script returns true: OK (0.01s)
always false script returns false: OK (0.01s)
salted function
saturated: OK (0.03s)
+++ OK, passed 100 tests:
50% fail
50% success
unsaturated: OK (0.07s)
+++ OK, passed 100 tests (100% success).
oversaturated: OK (0.02s)
+++ OK, passed 100 tests (99% fail).
salt: OK (0.02s)
+++ OK, passed 100 tests; 13 discarded.
builtins are unavailable before Alonzo: OK
builtins are available after Alonzo: OK
integerToByteString should exceed budget: OK (0.04s)
Interval
never is empty: OK
always is not empty: OK
open interval isEmpty: OK
open interval overlaps: OK
laws for integer intervals
equivalence relation laws
reflexive: OK
✓ <interactive> passed 100 tests.
symmetric: OK
✓ <interactive> passed 100 tests.
different 72% ██████████████▍····· ✓ 10%
same 28% █████▌·············· ✓ 5%
transitive: OK
✓ <interactive> passed 100 tests.
different 63% ████████████▌······· ✓ 10%
same 47% █████████▍·········· ✓ 5%
partial ordering laws
reflexive: OK
✓ <interactive> passed 100 tests.
transitive: OK
✓ <interactive> passed 100 tests.
different 67% █████████████▍······ ✓ 10%
same 46% █████████▏·········· ✓ 5%
antisymmetric: OK
✓ <interactive> passed 100 tests.
different 81% ████████████████▏··· ✓ 10%
same 19% ███▊················ ✓ 5%
bounded lattice laws
bounded join semilattice laws
join semilattice laws
idempotent: OK
✓ <interactive> passed 100 tests.
commutative: OK (0.01s)
✓ <interactive> passed 100 tests.
different 88% █████████████████▌·· ✓ 10%
same 12% ██▍················· ✓ 5%
associative: OK (0.02s)
✓ <interactive> passed 100 tests.
different 72% ██████████████▍····· ✓ 10%
same 39% ███████▊············ ✓ 5%
unit: OK
✓ <interactive> passed 100 tests.
different 58% ███████████▌········ ✓ 10%
bounded meet semilattice laws
meet semilattice laws
idempotent: OK
✓ <interactive> passed 100 tests.
commutative: OK
✓ <interactive> passed 100 tests.
different 80% ████████████████···· ✓ 10%
same 20% ████················ ✓ 5%
associative: OK
✓ <interactive> passed 100 tests.
different 79% ███████████████▊···· ✓ 10%
same 36% ███████▏············ ✓ 5%
unit: OK
✓ <interactive> passed 100 tests.
different 94% ██████████████████▊· ✓ 10%
absorption: OK (0.01s)
✓ <interactive> passed 100 tests.
different 84% ████████████████▊··· ✓ 10%
laws for boolean intervals
equivalence relation laws
reflexive: OK
✓ <interactive> passed 100 tests.
symmetric: OK
✓ <interactive> passed 100 tests.
different 80% ████████████████···· ✓ 10%
same 20% ████················ ✓ 5%
transitive: OK
✓ <interactive> passed 100 tests.
different 72% ██████████████▍····· ✓ 10%
same 39% ███████▊············ ✓ 5%
partial ordering laws
reflexive: OK
✓ <interactive> passed 100 tests.
transitive: OK
✓ <interactive> passed 100 tests.
different 75% ███████████████····· ✓ 10%
same 37% ███████▍············ ✓ 5%
antisymmetric: OK
✓ <interactive> passed 100 tests.
different 78% ███████████████▌···· ✓ 10%
same 22% ████▍··············· ✓ 5%
bounded lattice laws
bounded join semilattice laws
join semilattice laws
idempotent: OK
✓ <interactive> passed 100 tests.
commutative: OK
✓ <interactive> passed 100 tests.
different 83% ████████████████▌··· ✓ 10%
same 17% ███▍················ ✓ 5%
associative: OK
✓ <interactive> passed 100 tests.
different 57% ███████████▍········ ✓ 10%
same 53% ██████████▌········· ✓ 5%
unit: OK
✓ <interactive> passed 100 tests.
different 59% ███████████▊········ ✓ 10%
bounded meet semilattice laws
meet semilattice laws
idempotent: OK
✓ <interactive> passed 100 tests.
commutative: OK
✓ <interactive> passed 100 tests.
different 91% ██████████████████▏· ✓ 10%
same 9% █▊·················· ✓ 5%
associative: OK
✓ <interactive> passed 100 tests.
different 73% ██████████████▌····· ✓ 10%
same 42% ████████▍··········· ✓ 5%
unit: OK
✓ <interactive> passed 100 tests.
different 89% █████████████████▊·· ✓ 10%
absorption: OK
✓ <interactive> passed 100 tests.
different 75% ███████████████····· ✓ 10%
properties
intersection: OK
✓ <interactive> passed 100 tests.
isEmpty: OK
✓ <interactive> passed 100 tests.
overlaps: OK
✓ <interactive> passed 100 tests.
set model
tripping: OK
✓ <interactive> passed 100 tests.
equals: OK (0.01s)
✓ <interactive> passed 100 tests.
True 29% █████▊·············· ✓ 10%
False 71% ██████████████▏····· ✓ 10%
contains: OK
✓ <interactive> passed 100 tests.
True 57% ███████████▍········ ✓ 10%
False 43% ████████▌··········· ✓ 10%
intersection: OK (0.02s)
✓ <interactive> passed 100 tests.
Non-trivial 19% ███▊················ ✓ 5%
eval
v1-api
delay0: OK
fun0var0: OK
const0var0: OK
iteLazy0: OK
iteStrict0: OK
illITELazy: OK (0.02s)
illITEStrict: OK (0.02s)
illAdd: OK (0.01s)
illOverAppBuiltin: OK
illOverAppFun: OK
check unlifting behaviour changes in Vasil: OK
versions
ledger languages
v1 not before but after: OK
+++ OK, passed 100 tests.
v2 not before but after: OK
+++ OK, passed 100 tests.
v3 not before but after: OK
+++ OK, passed 100 tests.
protocol-versions can add but not remove ledger languages: OK
+++ OK, passed 100 tests; 152 discarded.
builtins
all builtins are available some time: OK
builtins aren't available before Alonzo: OK
serializeData is only available in l2,Vasil and after: OK
bls,keccak256,blake2b224 only available in l3,Future and after: OK
Plutus Core language versions
v1.1.0 is available in l3,future and not before: OK
constr is not available with v1.0.0 ever: OK
case is not available with v1.0.0 ever: OK
rmdr
remdr: OK
remdr1gen: OK
+++ OK, passed 100 tests.
remdr2gen: OK
+++ OK, passed 100 tests.
remdr1genc: OK
+++ OK, passed 100 tests.
remdr2genc: OK
+++ OK, passed 100 tests.
costModelParams
length: OK
tripping paramname: OK
default values costmodelparamsfortesting: OK
context length: OK
cost model parameters: OK
NoThunks
EvaluationContext V1: OK (0.05s)
EvaluationContext V2: OK (0.03s)
EvaluationContext V3: OK (0.05s)
cbor failure
intepretation tests
end-of-input: OK
expected-bytes: OK
other: OK
pretty-printing
end-of-input: OK
expected-bytes: OK
other: OK
ScriptDecodeError pretty-printing
CBORDeserialiseError: OK
RemainderError: OK
LedgerLanguageNotAvailableError: OK
PlutusCoreLanguageNotAvailableError: OK
context decoding
v1context: OK
Value
laws: OK (1.64s)
+++ OK, passed 500 tests; 14 discarded.
updateSomeTokenValues: OK (1.17s)
+++ OK, passed 1500 tests; 155 discarded.
updateSomeTokenNames: OK (1.49s)
+++ OK, passed 1500 tests; 173 discarded.
shuffle: OK (1.69s)
+++ OK, passed 1000 tests.
split: OK (0.60s)
+++ OK, passed 700 tests.
All 101 tests passed (1.95s)
Loading