plutus-tx: add red-black tree implementation for Maps, again #5697
IOG Hydra / ci/hydra-build:x86_64-darwin.ghc96.checks.plutus-tx:test:plutus-tx-test
failed
Jan 3, 2024 in 3m 25s
Build dependency failed
1 steps
Details
Failed Steps
Step 1
Derivation
/nix/store/3qpp6shx9hnrh6s9i704s96lrmjanysz-plutus-tx-test-plutus-tx-test-1.19.0.0.drv
Log
unpacking sources
unpacking source archive /nix/store/jh9xqgniv6z3bhaz5y5g9s6vfgmb8zga-source-root-plutus-tx-test-plutus-tx-test-root
source root is source-root-plutus-tx-test-plutus-tx-test-root
patching sources
configuring
Configure flags:
--prefix=/nix/store/8xip87fdsmhnps1fy7ki8pj80naf81f1-plutus-tx-test-plutus-tx-test-1.19.0.0 test:plutus-tx-test --package-db=clear --package-db=/private/tmp/nix-build-plutus-tx-test-plutus-tx-test-1.19.0.0.drv-0/tmp.fONLLrFK2d/lib/ghc-9.6.3/lib/package.conf.d --exact-configuration --dependency=aeson=aeson-2.2.1.0-5iaaGb2hJBQ2Om1uF3XwaK --dependency=OneTuple=OneTuple-0.4.1.1-3xROWIPE1CT4QZlQuFvzgR --dependency=QuickCheck=QuickCheck-2.14.3-7gPwkBt5TO5HnQ2yS8cdTt --dependency=containers=containers-0.6.7-FJzPkzvVaIP243X9vOCknG --dependency=random=random-1.2.1.1-1xoaRpm52xG9d2th21mnPo --dependency=bytestring=bytestring-0.11.5.2-1FkOkb2DprnGh7KU9Uwoy2 --dependency=mtl=mtl-2.3.1-8Zc9FSSK44ISiMIOCMKPs --dependency=transformers=transformers-0.6.1.0-B7JW437rkCG5ECfjPOg66v --dependency=splitmix=splitmix-0.1.0.5-KCwbtTlf7pHGjxbjP52RTJ --dependency=splitmix=splitmix-0.1.0.5-KCwbtTlf7pHGjxbjP52RTJ --dependency=data-fix=data-fix-0.3.2-JzRUroyn0OJCEGYp91GckX --dependency=hashable=hashable-1.4.3.0-GTZzqnCPFxCCZmgo3vWx9K --dependency=filepath=filepath-1.4.100.4-1USdCfPVh4b5NDit0zeXzm --dependency=exceptions=exceptions-0.10.7-HLazMDzncEi4wSs0iCVSmM --dependency=stm=stm-2.5.1.0-5jJlUKgpEI5585aCHftbsB --dependency=text=text-2.0.2-3L6HgEaznWzHFzxhpt1nxt --dependency=binary=binary-0.8.9.1-LvLHymwZHdHGxYGHtvBL14 --dependency=dlist=dlist-1.0-EiNZyHbYIYq9Gl8u0nmg6M --dependency=generically=generically-0.1.1-EkcRYhUnPJ57wDcdcrdfk6 --dependency=indexed-traversable=indexed-traversable-0.1.3-5OAEw1GVQE8GbN3xl5nxHq --dependency=integer-conversion=integer-conversion-0.1.0.1-BqvjfRBLeyC5ar4tzfkhvr --dependency=primitive=primitive-0.8.0.0-8i4lM20O6guIPR9RcsUvsK --dependency=integer-logarithms=integer-logarithms-1.0.3.1-6BMdz0fAUjKELClrM8UIuk --dependency=network-uri=network-uri-2.6.4.2-KxLCcEpykMXGhseKPH5rSV --dependency=parsec=parsec-3.1.16.1-3VBWAYAFK4b6AQlDynDJFK --dependency=th-compat=th-compat-0.1.4-51O1fJJJbkuINfR9QNR0xm --dependency=scientific=scientific-0.3.7.0-DqoUmydl2TQ4KKWr7h7EOD --dependency=semialign=semialign-1.3-LRIWLoP8yVBHhzfaCDL93C --dependency=indexed-traversable-instances=indexed-traversable-instances-0.1.1.2-76xWzbht4d9ECfP41g2uP0 --dependency=tagged=tagged-0.8.8-9lUaGz1F5cv5gSkKvf6i00 --dependency=unordered-containers=unordered-containers-0.2.19.1-3mP2iVjVHuKCMNAIAmqQFV --dependency=vector=vector-0.13.1.0-6pAiQUijBjEFjmTtVx28oc --dependency=vector-stream=vector-stream-0.1.0.0-46tIj2XpJ1K5aHx2g36wqS --dependency=semigroupoids=semigroupoids-6.0.0.1-1sSf4qCsvHs2A4zjwHe6hF --dependency=base-orphans=base-orphans-0.9.1-FzQd6IpnyMT1yA4cTRGiZ1 --dependency=bifunctors=bifunctors-5.6.1-1JlLUvVD3a71uadPscS1K --dependency=assoc=assoc-1.1-5frfZpJuKiP80KWtcRPSqF --dependency=comonad=comonad-5.0.8-InW3cd47ATX18zH6vWkA8H --dependency=distributive=distributive-0.6.2.1-3z8dl6otiMNAJo07kCPKIP --dependency=transformers-compat=transformers-compat-0.7.2-DxZHJ8Fl88QJIH1SfSBVMj --dependency=th-abstraction=th-abstraction-0.6.0.0-AT0lmeYn5nyLgqzpIfrCxl --dependency=contravariant=contravariant-1.5.5-H5uW7pqqnbPGpLBy1qUOhR --dependency=StateVar=StateVar-1.2.2-JwvqevnzHC95zmg7Ft4v7O --dependency=these=these-1.2-8TfYhaAzd4GBna7ixiQ3XO --dependency=strict=strict-0.5-5Vee94s0ym3A3HBuUD2tiT --dependency=text-iso8601=text-iso8601-0.1-4ZUmz0cm5W03CK1pLNcYn5 --dependency=time-compat=time-compat-1.9.6.1-7JNcfvUxnkyIVgI6urt6fy --dependency=time=time-1.12.2-8OxPXUBlApFB09Gdiq95EX --dependency=time=time-1.12.2-8OxPXUBlApFB09Gdiq95EX --dependency=text-short=text-short-0.1.5-CPHceDtZfoyGo2Megw0oXa --dependency=uuid-types=uuid-types-1.0.5.1-IIK3NW7AAu3H7LdnsJzu6W --dependency=witherable=witherable-0.4.2-EDJgZ74BHQfFt29HetgCWo --dependency=base16-bytestring=base16-bytestring-1.0.2.0-5cjw7ldV65LLRQQEmfCm0B --dependency=cborg=cborg-0.2.10.0-JuvZTYiOkKuGmPLBEhdcxj --dependency=half=half-0.3.1-Fw7akxTgt9L5d85RRbqmDT --dependency=hedgehog-fn=hedgehog-fn-1.0-6DM9HAnHbwxTdQMTolaxu --dependency=hedgehog=hedgehog-1.4-8KoVeCXL94iLwQxyTOIwek --dependency=ansi-terminal=ansi-terminal-1.0-3kfRbX22CbYKtT7TWkfDm3 --dependency=ansi-terminal-types=ansi-terminal-types-0.11.5-7070YP17lX07wjJ4YjrtXA --dependency=colour=colour-2.3.6-CL1PpcKDPAc8DjPzbsln3V --dependency=colour=colour-2.3.6-CL1PpcKDPAc8DjPzbsln3V --dependency=async=async-2.2.5-287hrOgbE6wKqv4RQi1HsJ --dependency=barbies=barbies-2.0.5.0-CWkmblwKMPKLadwZWzmVQc --dependency=concurrent-output=concurrent-output-1.10.20-E0g98xTDHHyAq5nK7r8UTR --dependency=directory=directory-1.3.8.1-KhqiS5XUW5FTZPQmK48QM --dependency=unix=unix-2.8.1.0-DoiD7epFgRIAbZih7p10lX --dependency=process=process-1.6.17.0-K8KbbLW0eW26BvgfTOPfdU --dependency=terminal-size=terminal-size-0.3.4-F29cA6SfcnBIj4P9LFGJy0 --dependency=erf=erf-2.0.0.0-CvQu7DcZTR92ZYZfdVMV4v --dependency=lifted-async=lifted-async-0.10.2.5-ERaxwfpOQeeFUFSSAfrZQa --dependency=constraints=constraints-0.14-FGovWebc8Hv7JBseDY8eza --dependency=boring=boring-0.2.1-BSPIGrJl3O28OoIKFLpt1c --dependency=type-equality=type-equality-1-9u7JswOYJUV27RbbzCVjOo --dependency=lifted-base=lifted-base-0.2.3.12-2V3nqFadeRJgNwHcVcEjk --dependency=monad-control=monad-control-1.0.3.1-D0htmZz4ZoS8HCJgp4ZUeG --dependency=transformers-base=transformers-base-0.4.6-12TDQHFZDj59sz7toWxoQd --dependency=transformers-base=transformers-base-0.4.6-12TDQHFZDj59sz7toWxoQd --dependency=mmorph=mmorph-1.2.0-2CTSN0nhrqr46eUQUKnY6O --dependency=pretty-show=pretty-show-1.10-9glh6fdI2TyFaZhWor1v1e --dependency=haskell-lexer=haskell-lexer-1.1.1-98AlGcbd0Q8DuOoY2flzFZ --dependency=resourcet=resourcet-1.3.0-LTBKyfJeIaJGHVx4mo7RJx --dependency=unliftio-core=unliftio-core-0.2.1.0-6BfJn8PFXIf4F4L8kDDVzu --dependency=safe-exceptions=safe-exceptions-0.1.7.4-EzJ97L3ydARHF15kP19YHf --dependency=wl-pprint-annotated=wl-pprint-annotated-0.1.0.1-BcV1Y06R1KtL0OjRJHfI87 --dependency=plutus-core=plutus-core-1.19.0.0-IeJ4W0J4z1zIepNp78RjUR --dependency=aeson=aeson-2.2.1.0-5iaaGb2hJBQ2Om1uF3XwaK --dependency=base64-bytestring=base64-bytestring-1.2.1.0-2eJ09lhvsLLDtawApmXXiN --dependency=bimap=bimap-0.5.0-1Y3Kkbp28lCAyNoopv07Ub --dependency=bytestring-strict-builder=bytestring-strict-builder-0.4.5.7-33Vp2uHY3Ao4kR2tZ1lASF --dependency=cardano-crypto-class=cardano-crypto-class-2.1.4.0-IHz3g7Liy939Resu100Qdb --dependency=cardano-binary=cardano-binary-1.7.0.1-A8q23eJ8BnP2Res48DtfgM --dependency=formatting=formatting-7.2.0-3MFawNApu6XEwkcoXhuZFQ --dependency=clock=clock-0.8.4-DpwZZvX18mTBnhmsYbUoyD --dependency=double-conversion=double-conversion-2.0.4.2-EZPXpgYJnFMAhB54HUXe4s --dependency=old-locale=old-locale-1.0.0.7-OpLxQwSdbqHzI1qJrI5NI --dependency=recursion-schemes=recursion-schemes-5.2.2.5-Ese40QG03fXC0jeD9HTYjp --dependency=free=free-5.2-91zbc8a85tdaplDzSen0H --dependency=profunctors=profunctors-5.6.2-H8YuHmziAuF29GEfSIUU0j --dependency=cardano-strict-containers=cardano-strict-containers-0.1.2.1-2AhpDKdSDJxKtwuy66hd9V --dependency=data-default-class=data-default-class-0.1.2.0-5FK3vpOLcdkKGIel7pORbQ --dependency=fingertree=fingertree-0.1.5.0-4A0Okgv02lgEkSU40NJaKW --dependency=nothunks=nothunks-0.1.5-1bUtVJpR9rTLeeJfiF7b02 --dependency=ghc-heap=ghc-heap-9.6.3-DIG8gJNzxkz6iiCtISKSRg --dependency=serialise=serialise-0.2.6.1-ChNpLYaYA8W1yUBVSjcxOu --dependency=cryptonite=cryptonite-0.30-Chn5ZL0nPBNEQJqPtDoyS5 --dependency=basement=basement-0.0.16-DSZ2OSE1REZDp3cUVPmyWP --dependency=memory=memory-0.18.0-Gk4qRsBeOsy4WKZKMbzczs --dependency=heapwords=heapwords-0.1.0.2-H2GCDN64WNZ1eigZYKZ1i3 --dependency=cardano-crypto=cardano-crypto-1.1.2-3RrElCmZTLGFoH3Hrd6pmj --dependency=foundation=foundation-0.0.30-95ejV466Tox1jaDfM0G7rr --dependency=cassava=cassava-0.5.3.0-5dR7sBMg0c39ZO5S47KOoh --dependency=Only=Only-0.1-IXdIJrspK8g3DM0dTVjCNi --dependency=attoparsec=attoparsec-0.14.4-I5vLZUPvopBsQ5AhJAZNL --dependency=attoparsec-internal=attoparsec-0.14.4-EEuuUBvPxtRCps5FLFOFeR-attoparsec-internal --dependency=attoparsec:attoparsec-internal=attoparsec-0.14.4-EEuuUBvPxtRCps5FLFOFeR-attoparsec-internal --dependency=composition-prelude=composition-prelude-3.0.0.2-28Nty537rx13QrWlEG7eZL --dependency=dependent-sum=dependent-sum-0.7.2.0-BnajOD5AmdcLLLNAojfOQT --dependency=constraints-extras=constraints-extras-0.4.0.0-BtzrcXSoBZdKy8mPa7WFhg --dependency=some=some-1.0.6-C1CoyOqs3N7VEyaMdBCpo --dependency=deriving-aeson=deriving-aeson-0.2.9-H75LjlqUiAABZYkarfgRPf --dependency=deriving-compat=deriving-compat-0.6.5-CgKm5T6BZElJjll4vjWJt2 --dependency=extra=extra-1.7.14-GX7j1cjYPgII7eNWNpIHid --dependency=flat=flat-0.6-AfTPzJ3VelhCEtXV686XsI --dependency=list-t=list-t-1.0.5.7-2QHTL5cHuBc4Pvf0q5YiuU --dependency=foldl=foldl-1.4.15-8wjvdbYliD2IJU9whodLkh --dependency=logict=logict-0.8.1.0-GC3ktJ5f9iU9im4E4eVoBm --dependency=mono-traversable=mono-traversable-1.0.15.3-C2TGOwnUxd04vHE13bXVOO --dependency=split=split-0.2.4-EUPNrWq4WdcKsod9jDgN6N --dependency=vector-algorithms=vector-algorithms-0.9.0.1.0.0.0.0.1-4vlCjURHxH0uBM08TVMCB --dependency=bitvec=bitvec-1.1.5.0-8raT1c7dKhnKoi8TSPOxDc --dependency=lens=lens-5.2.3-LiSu6d6hG8n4E4FflqCI1A --dependency=call-stack=call-stack-0.4.0-Lr87ZleCDmn795juQ6iPW9 --dependency=kan-extensions=kan-extensions-5.2.5-HuwnSxhq4d0L5gTh5rOQXj --dependency=adjunctions=adjunctions-4.4.2-EaQCdzJvcTDBHSphWQKhN5 --dependency=semigroups=semigroups-0.20-t9coQYjI8cBQDHUtrltDs --dependency=void=void-0.7.3-JlozqiNUKHGDUN3VzoaEDP --dependency=invariant=invariant-0.6.2-DS5A8P1DATxEgOCUPKu7SD --dependency=parallel=parallel-3.2.2.0-BG8hfKrsQMrLCdDsHfIkVk --dependency=reflection=reflection-2.1.7-62k4JjcxtyfDYi3et3Jj7q --dependency=megaparsec=megaparsec-9.6.1-8Ki3J0HZqBF8CYdw8N5bC1 --dependency=case-insensitive=case-insensitive-1.2.1.0-IVC6KcavOuSC8OpQAD0ut6 --dependency=parser-combinators=parser-combinators-1.3.0-DnKRQl47bJvEwcdN3uy1e8 --dependency=monoidal-containers=monoidal-containers-0.6.4.0-A162g3IcaIOLrk3YEEdeC3 --dependency=newtype=newtype-0.2.2.0-1p13Yt2nMKlD2x9EQkBFxS --dependency=multiset=multiset-0.3.4.3-4QDC0Re0TJ22kgYZiOLISE --dependency=index-envs=plutus-core-1.19.0.0-9LmWLCtgAQP7MOEwZwhVpM-index-envs --dependency=plutus-core:index-envs=plutus-core-1.19.0.0-9LmWLCtgAQP7MOEwZwhVpM-index-envs --dependency=nonempty-vector=nonempty-vector-0.2.3-Ks25I5vCxSI4sDgRSvKXhf --dependency=ral=ral-0.2.1-GXKHl73LXx57NXDMUAH1xL --dependency=bin=bin-0.1.3-4qKfmewqohVKjnVdCIL4mM --dependency=dec=dec-0.0.5-2iILQEXjnRrCV4wdD6X3l8 --dependency=fin=fin-0.3-KDPMMsc56sn2b0WuVDI3Nz --dependency=universe-base=universe-base-1.1.3.1-Afpc5Rx1x2KFXgUCSrGcMU --dependency=satint=plutus-core-1.19.0.0-5Kg7IvkeNTtIVJ0iW8jvhR-satint --dependency=plutus-core:satint=plutus-core-1.19.0.0-5Kg7IvkeNTtIVJ0iW8jvhR-satint --dependency=prettyprinter-configurable=prettyprinter-configurable-1.19.0.0-LDMZFJwObza8YrJZwkBQL6 --dependency=microlens=microlens-0.4.13.1-ABENw4BYZNB3dqC7eUl2jj --dependency=prettyprinter=prettyprinter-1.7.1-Cb1ugUGcTQkLJ9H8QgOsxz --dependency=prettyprinter=prettyprinter-1.7.1-Cb1ugUGcTQkLJ9H8QgOsxz --dependency=th-lift-instances=th-lift-instances-0.1.20-ERzxm4BWWYZ4PHym5QQ6U2 --dependency=th-lift=th-lift-0.8.4-FwpgyR8D2HG2N7aC5aulKm --dependency=th-lift=th-lift-0.8.4-FwpgyR8D2HG2N7aC5aulKm --dependency=th-utilities=th-utilities-0.2.5.0-2Fel9TKdFlw5IUzV7dewOQ --dependency=syb=syb-0.7.2.4-97bJGKMkEYNBCo9l0FCWvE --dependency=th-orphans=th-orphans-0.13.14-81GuCqHIdic9Nxpf3DqELb --dependency=th-reify-many=th-reify-many-0.1.10-Ib0Fx3bmhk23UlAt8zaUC3 --dependency=safe=safe-0.3.19-2c99aN9qYIl3r3MH00qLFW --dependency=th-expand-syns=th-expand-syns-0.4.11.0-Fm8zdSE5GXhAOVIUxmsoG4 --dependency=plutus-core-testlib=plutus-core-1.19.0.0-DraI4jNm4uRLnmZnCuEdr5-plutus-core-testlib --dependency=plutus-core:plutus-core-testlib=plutus-core-1.19.0.0-DraI4jNm4uRLnmZnCuEdr5-plutus-core-testlib --dependency=Stream=Stream-0.4.7.2-EgOSkyDlDBx35IO95Kpu18 --dependency=lazysmallcheck=lazysmallcheck-0.6-1FUnTe6vENz7OBJGyVu9tY --dependency=dependent-map=dependent-map-0.4.0.0-KR8o1tJuuz17u5ix0GrFay --dependency=lazy-search=lazy-search-0.1.3.0-5FJZh7mwVSzCY6QH6Di3lD --dependency=size-based=size-based-0.1.3.2-Ika90YD7dNdLBprjdKrn5l --dependency=dictionary-sharing=dictionary-sharing-0.1.0.0-4zat6ygRbZZ9fB3vEKF7h9 --dependency=testing-type-modifiers=testing-type-modifiers-0.1.0.1-Hw9hAK7KlaWFPsP2HZWMFc --dependency=plutus-ir=plutus-core-1.19.0.0-KcnKJlNNOV0JjOwqFt2jFT-plutus-ir --dependency=plutus-core:plutus-ir=plutus-core-1.19.0.0-KcnKJlNNOV0JjOwqFt2jFT-plutus-ir --dependency=algebraic-graphs=algebraic-graphs-0.7-I7zHwF6Gw5ZBzhLOUtYlj6 --dependency=dom-lt=dom-lt-0.2.3-EGbHcfLFlSR9mFl776e9e5 --dependency=quickcheck-instances=quickcheck-instances-0.3.30-Bb9Ag2d9YawGt0iNN4urFB --dependency=old-time=old-time-1.1.0.3-EOwljZ0X4yRLxcnLId098j --dependency=quickcheck-transformer=quickcheck-transformer-0.3.1.2-HTu5uH9viOzFCiDu1epFSF --dependency=tasty-golden=tasty-golden-2.3.5-1jyx8F3Oej2BuhwTO5RHOe --dependency=optparse-applicative=optparse-applicative-0.18.1.0-TDhVsVtxeU1X4ZxHffkwX --dependency=prettyprinter-ansi-terminal=prettyprinter-ansi-terminal-1.1.3-31C6UuPEiIC9u9ofuWeXZy --dependency=tasty=tasty-1.5-7brcGa2ORLuKMsctrAwJeX --dependency=temporary=temporary-1.3-AH77ed8nDkZL3w6irCtW1x --dependency=typed-process=typed-process-0.2.11.1-F9SIANmGEob2VSbdK2AVA --dependency=tasty-hedgehog=tasty-hedgehog-1.4.0.2-ZqvBJ33YfQ35yw1STy7aO --dependency=tasty-hunit=tasty-hunit-0.10.1-5Vmv4jlWOFSKquNVlDcFbP --dependency=plutus-tx=plutus-tx-1.19.0.0-BcEDAe3Fa6wDrILGrEjZRT --dependency=array=array-0.5.5.0 --dependency=base=base-4.18.1.0 --dependency=deepseq=deepseq-1.4.8.1 --dependency=ghc-bignum=ghc-bignum-1.3 --dependency=ghc-boot-th=ghc-boot-th-9.6.3 --dependency=ghc-prim=ghc-prim-0.10.0 --dependency=integer-gmp=integer-gmp-1.1 --dependency=pretty=pretty-1.1.3.6 --dependency=rts=rts-1.0.2 --dependency=system-cxx-std-lib=system-cxx-std-lib-1.0 --dependency=template-haskell=template-haskell-2.20.0.0 --with-ghc=ghc --with-ghc-pkg=ghc-pkg --with-hsc2hs=hsc2hs --with-gcc=cc --with-ar=ar --with-strip=strip --disable-executable-stripping --disable-library-stripping --disable-library-profiling --disable-profiling --enable-static --enable-shared --disable-executable-dynamic --disable-coverage --enable-library-for-ghci --datadir=/nix/store/n6mfirk1wb67ngg6nwn1vbn0vwmph2rh-plutus-tx-test-plutus-tx-test-1.19.0.0-data/share/ghc-9.6.3 --ghc-options=-Werror
Configuring test suite 'plutus-tx-test' for plutus-tx-1.19.0.0..
Warning: 'hs-source-dirs: src' specifies a directory which does not exist.
configurePhase completed in 2 minutes 43 seconds
building
Preprocessing test suite 'plutus-tx-test' for plutus-tx-1.19.0.0..
Building test suite 'plutus-tx-test' for plutus-tx-1.19.0.0..
[ 1 of 15] Compiling List.Spec ( test/List/Spec.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/List/Spec.o )
[ 2 of 15] Compiling Map.Spec ( test/Map/Spec.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Map/Spec.o )
test/Map/Spec.hs:106:40: error: [GHC-83865]
• Couldn't match type ‘Integer’
with ‘PlutusTx.These.These Integer Integer’
Expected: RBTree Integer (PlutusTx.These.These Integer Integer)
Actual: Map Integer Integer
• In the second argument of ‘lookup’, namely ‘t1’
In the first argument of ‘(<|>)’, namely ‘lookup k t1’
In the second argument of ‘(===)’, namely
‘(lookup k t1 <|> lookup k t2)’
|
106 | lookup k (union t1 t2) === (lookup k t1 <|> lookup k t2)
| ^^
test/Map/Spec.hs:106:56: error: [GHC-83865]
• Couldn't match type ‘Integer’
with ‘PlutusTx.These.These Integer Integer’
Expected: RBTree Integer (PlutusTx.These.These Integer Integer)
Actual: Map Integer Integer
• In the second argument of ‘lookup’, namely ‘t2’
In the second argument of ‘(<|>)’, namely ‘lookup k t2’
In the second argument of ‘(===)’, namely
‘(lookup k t1 <|> lookup k t2)’
|
106 | lookup k (union t1 t2) === (lookup k t1 <|> lookup k t2)
| ^^
test/Map/Spec.hs:113:52: error: [GHC-83865]
• Couldn't match type ‘Integer’
with ‘PlutusTx.These.These Integer b0’
Expected: [RBTree Integer (PlutusTx.These.These Integer b0)]
Actual: [Map Integer Integer]
• In the third argument of ‘foldr’, namely ‘ts’
In the second argument of ‘(===)’, namely
‘foldr (\ m res -> lookup k m <|> res) empty ts’
In a stmt of a 'do' block:
lookup k (foldr (\ m1 m2 -> union m1 m2) Map.empty ts)
=== foldr (\ m res -> lookup k m <|> res) empty ts
|
113 | === foldr (\m res -> lookup k m <|> res) empty ts
| ^^
test/Map/Spec.hs:170:43: error: [GHC-83865]
• Couldn't match type ‘Integer’
with ‘PlutusTx.These.These Integer Integer’
Expected: RBTree Integer (PlutusTx.These.These Integer Integer)
Actual: Map Integer Integer
• In the first argument of ‘toList’, namely ‘t1’
In the first argument of ‘(++)’, namely ‘toList t1’
In the first argument of ‘L.sort’, namely
‘(toList t1 ++ foldr deleteKey (toList t2) (keys t1))’
|
170 | toList (union t1 t2) === L.sort (toList t1 ++ foldr deleteKey (toList t2) (keys t1))
| ^^
test/Map/Spec.hs:170:73: error: [GHC-83865]
• Couldn't match type ‘Integer’
with ‘PlutusTx.These.These Integer Integer’
Expected: RBTree Integer (PlutusTx.These.These Integer Integer)
Actual: Map Integer Integer
• In the first argument of ‘toList’, namely ‘t2’
In the second argument of ‘foldr’, namely ‘(toList t2)’
In the second argument of ‘(++)’, namely
‘foldr deleteKey (toList t2) (keys t1)’
|
170 | toList (union t1 t2) === L.sort (toList t1 ++ foldr deleteKey (toList t2) (keys t1))
| ^^
[ 3 of 15] Compiling Rational.Laws.Helpers ( test/Rational/Laws/Helpers.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Helpers.o )
[ 4 of 15] Compiling Rational.Laws.Eq ( test/Rational/Laws/Eq.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Eq.o )
[ 5 of 15] Compiling Rational.Laws.Construction ( test/Rational/Laws/Construction.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Construction.o )
[ 6 of 15] Compiling Rational.Laws.Additive ( test/Rational/Laws/Additive.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Additive.o )
[ 7 of 15] Compiling Rational.Laws.Module ( test/Rational/Laws/Module.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Module.o )
[ 8 of 15] Compiling Rational.Laws.Multiplicative ( test/Rational/Laws/Multiplicative.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Multiplicative.o )
[ 9 of 15] Compiling Rational.Laws.Ord ( test/Rational/Laws/Ord.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Ord.o )
[10 of 15] Compiling Rational.Laws.Other ( test/Rational/Laws/Other.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Other.o )
[11 of 15] Compiling Rational.Laws.Ring ( test/Rational/Laws/Ring.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Ring.o )
[12 of 15] Compiling Rational.Laws.Serialization ( test/Rational/Laws/Serialization.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws/Serialization.o )
[13 of 15] Compiling Rational.Laws ( test/Rational/Laws.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Rational/Laws.o )
[14 of 15] Compiling Show.Spec ( test/Show/Spec.hs, dist/build/plutus-tx-test/plutus-tx-test-tmp/Show/Spec.o )
Loading