[AST] Add 'SixList' #5818
Closed
[AST] Add 'SixList' #5818
IOG Hydra / ci/hydra-build:x86_64-linux.ghc810.checks.plutus-core:test:untyped-plutus-core-test
failed
Mar 4, 2024 in 1m 1s
Build dependency failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/gdbaa5s4w13p99w91y2p6kh6ii8nckr1-plutus-core-test-untyped-plutus-core-test-1.22.1.0.drv
Log
unpacking sources
unpacking source archive /nix/store/a3vmd695in9sjvhi1fm8skp2i1sxlr7f-source-root-plutus-core-test-untyped-plutus-core-test-root
source root is source-root-plutus-core-test-untyped-plutus-core-test-root
patching sources
updateAutotoolsGnuConfigScriptsPhase
configuring
Configure flags:
--prefix=/nix/store/a7h08ifmrxy8vwxvmicr74yvzdp1qyr8-plutus-core-test-untyped-plutus-core-test-1.22.1.0 test:untyped-plutus-core-test --package-db=clear --package-db=/build/tmp.g4DqsjhkkT/lib/ghc-8.10.7/package.conf.d --flags=-with-cert --flags=with-inline-r --exact-configuration --dependency=QuickCheck=QuickCheck-2.14.3-1DSdgGOgWqxHiH6iOfyGwz --dependency=containers=containers-0.6.5.1-EiES0HFUZ8PBGNrpVjoYRF --dependency=random=random-1.2.1.1-IXm7ObuU5k8InCuo3bXwKj --dependency=bytestring=bytestring-0.10.12.0-BvIZHiOJL8O7XxUygqQkmw --dependency=mtl=mtl-2.2.2-Cl2NxTNak818U6bJEGW2JG --dependency=transformers=transformers-0.5.6.2-LVtm4hSGEWWGi1DcWUe7I5 --dependency=splitmix=splitmix-0.1.0.5-Bo3CHUA1SMSGDMl4HIKcBC --dependency=splitmix=splitmix-0.1.0.5-Bo3CHUA1SMSGDMl4HIKcBC --dependency=cardano-crypto-class=cardano-crypto-class-2.1.4.0-JOpnYyw8ie7LwLEp7xg0c3 --dependency=aeson=aeson-2.1.2.1-x5Wo4FfW7aE4Pa1BNMdl1 --dependency=OneTuple=OneTuple-0.4.1.1-2aBrz5fhCl66rx9H6pHRwY --dependency=base-orphans=base-orphans-0.9.1-c9SWeL8IJjH2h1UCckt6 --dependency=foldable1-classes-compat=foldable1-classes-compat-0.1-9f3FAsyUtj84ZOCALBNJog --dependency=tagged=tagged-0.8.8-399IsUwLXav971mKt6sScf --dependency=hashable=hashable-1.4.3.0-Jj3YTXFGdIdLM1UzaU2tN2 --dependency=data-array-byte=data-array-byte-0.1.0.1-K28hjVtnMmk7as6rZ7LlwO --dependency=filepath=filepath-1.4.2.1-XUxXmPDlHD5banCv7jBzy --dependency=text=text-1.2.4.1-3ons0v27Yr7GZbokcYUGS --dependency=binary=binary-0.8.8.0-HpmhsQDJ8BC4iODE4wIoDZ --dependency=QuickCheck=QuickCheck-2.14.3-1DSdgGOgWqxHiH6iOfyGwz --dependency=attoparsec=attoparsec-0.14.4-IVdiVbLyGRABzrVgDmmO55 --dependency=attoparsec-internal=attoparsec-0.14.4-BcPzR5iv9pSJ4Y22ASDBkg-attoparsec-internal --dependency=attoparsec:attoparsec-internal=attoparsec-0.14.4-BcPzR5iv9pSJ4Y22ASDBkg-attoparsec-internal --dependency=scientific=scientific-0.3.7.0-AyQlYy4ok37Apb9DHa2kIn --dependency=integer-logarithms=integer-logarithms-1.0.3.1-B2X6TI3td2TBvYGtMbi9Tl --dependency=primitive=primitive-0.8.0.0-Eo5Vu0eIv0pHrmpz7TcXWX --dependency=base-compat-batteries=base-compat-batteries-0.13.1-H76C4uZ50eCHn3ETxERjN8 --dependency=base-compat=base-compat-0.13.1-HwnTXgCoDJn46ag5THUKx8 --dependency=unix=unix-2.7.2.2-ETifA5smZTZIWkxyIZe1zI --dependency=time=time-1.9.3-AAq60BtyTvLBxnbhpLzOg0 --dependency=data-fix=data-fix-0.3.2-CJCF5bG7k1nF7WuaqOWEZQ --dependency=dlist=dlist-1.0-Q0EloVGbxo56qRCXLrvwb --dependency=exceptions=exceptions-0.10.4-jh6bYwCS5pIgTBTtpnMGh --dependency=stm=stm-2.5.0.1-7EhGw2UuBfRGnebgRwZVIT --dependency=generically=generically-0.1.1-3We0CIX1wDD9gBYDAZ24dH --dependency=indexed-traversable=indexed-traversable-0.1.3-7el5yhUGh4DC9ijFvYdHHu --dependency=semialign=semialign-1.3-JMxXdl2tp4J87grlYpi94Z --dependency=indexed-traversable-instances=indexed-traversable-instances-0.1.1.2-BWf9s2ljz875WfWAGoEqXM --dependency=unordered-containers=unordered-containers-0.2.19.1-Kp5u0PNZeA8JlPDQJPqrqv --dependency=vector=vector-0.13.1.0-CIhHYZOM5ZwD9ptud5lP2j --dependency=vector-stream=vector-stream-0.1.0.1-CAjZpdJHuP0B3cWISynNAe --dependency=semigroupoids=semigroupoids-6.0.0.1-ErSozkSZ61TAlZumNV3Bee --dependency=bifunctors=bifunctors-5.6.1-HJZoBhF8QQWJOiKk9t99hS --dependency=assoc=assoc-1.1-7NUHuOx7cBDKvkH1b41cNT --dependency=comonad=comonad-5.0.8-67Rf2qHGkJr9maVEwUnAgT --dependency=distributive=distributive-0.6.2.1-DSr7GdctZfIA6FXzxlsoYb --dependency=transformers-compat=transformers-compat-0.7.2-AjVgxX91b0ICJPOjvw2abz --dependency=th-abstraction=th-abstraction-0.5.0.0-2GSApSnn6Wi92PEjV6CFg5 --dependency=contravariant=contravariant-1.5.5-70V0EkC1KS7HwGc9djfu0l --dependency=StateVar=StateVar-1.2.2-JdNCZC4MXDoFozowh3KZYd --dependency=these=these-1.2-ATuTde3UVK3K5y6w8xSuNF --dependency=strict=strict-0.5-ICDLNXh60so6p8Bqo23bmR --dependency=text-short=text-short-0.1.5-9fCPvzg1LaBLNTzjcAE4d5 --dependency=time-compat=time-compat-1.9.6.1-38L1TmzXYawDVYJF7YnYQd --dependency=uuid-types=uuid-types-1.0.5.1-Js0HDEm9mQD5tAABEn9Lec --dependency=witherable=witherable-0.4.2-Dp8GZf7CXL21mCywe1MbRO --dependency=base16-bytestring=base16-bytestring-1.0.2.0-5BHhbEVonLU73MQwCF1GWR --dependency=cardano-binary=cardano-binary-1.7.1.0-GAwujRxiMGt2GcElt2KSaG --dependency=cborg=cborg-0.2.10.0-5LXdDQjoqRTCduYwNliXzb --dependency=half=half-0.3.1-24IA3idx0A9FWJsnewHrt1 --dependency=formatting=formatting-7.2.0-6ItD8e1hmHFBoZYyV8sZOB --dependency=clock=clock-0.8.4-IYRhghhQhNOB15aY9pyLl3 --dependency=double-conversion=double-conversion-2.0.4.2-3wiohdg0NXF93JfeW0oIZT --dependency=old-locale=old-locale-1.0.0.7-Imy8BjOomMC1ZfvTA3Dz4y --dependency=recursion-schemes=recursion-schemes-5.2.2.5-KarhtlkWDlD9CEoem2NnU0 --dependency=free=free-5.2-62pX2G1xnN9Jfm3eIaOMeu --dependency=profunctors=profunctors-5.6.2-2SYZedVZeKrIQUD79HzDxe --dependency=transformers-base=transformers-base-0.4.6-Es1EJkMrWnbJKaXSxIMyGz --dependency=safe-exceptions=safe-exceptions-0.1.7.4-IDKnjzafvP8JAW8D4DPlUN --dependency=cardano-strict-containers=cardano-strict-containers-0.1.2.1-KuU8LpIQLB5K4308u1Ly5 --dependency=data-default-class=data-default-class-0.1.2.0-4OJAKciMHbRGHw1F8M9yGO --dependency=fingertree=fingertree-0.1.5.0-9rC7ZsLgw7G1xI3Y5mn8pM --dependency=nothunks=nothunks-0.1.5-5nrsJkMbAzaIkn46uCBfO4 --dependency=ghc-heap=ghc-heap-8.10.7-IUP7BK823zx9GcxXynNXv1 --dependency=serialise=serialise-0.2.6.1-CUzA5RS22TGBZRP2N6qTef --dependency=cryptonite=cryptonite-0.30-IbmJAjriTUkGKkrpj4FubJ --dependency=basement=basement-0.0.16-ClUiFda8HJq7h2ZlUjvnZw --dependency=memory=memory-0.18.0-4lmKEP40UqjD3lKXh2f2zF --dependency=heapwords=heapwords-0.1.0.2-6uSfxaiRSInFGhzDhy6GRm --dependency=th-compat=th-compat-0.1.4-81x2aNiP8Q4Gks0TDUehx6 --dependency=directory=directory-1.3.6.0-CbmCEFbvko1GLIMcuucehj --dependency=flat=flat-0.6-APcwc3xfVdQI4UZOf08jDs --dependency=list-t=list-t-1.0.5.7-1sELVTczo24BjkjhgHWisV --dependency=foldl=foldl-1.4.15-6Qa7APcUO6UF4cu4l8Cue8 --dependency=logict=logict-0.8.1.0-HsoX0wx1ru2FsfQful2fI --dependency=mmorph=mmorph-1.2.0-FkjBQOeeo856Q2VjtIyVkP --dependency=monad-control=monad-control-1.0.3.1-9j9nxLVZtU58VaicGcC3ol --dependency=mono-traversable=mono-traversable-1.0.15.3-1BHvUGvAW4hEap32YCDnxc --dependency=split=split-0.2.4-9iVELx8D8xs1DGV16UjvJm --dependency=vector-algorithms=vector-algorithms-0.9.0.1.0.0.0.0.1-6f2Nq6znQ1b6xfSg7EOqb5 --dependency=bitvec=bitvec-1.1.5.0-4Vn4B78iqaYGcd6NXR4DII --dependency=hedgehog=hedgehog-1.4-R9ZFLaYMJL8PLX8KO8yaL --dependency=ansi-terminal=ansi-terminal-1.0-21qXdWIaPQQAzqQYzPzyfi --dependency=ansi-terminal-types=ansi-terminal-types-0.11.5-7DNtZ0j1vhyIHIoA2UK9l7 --dependency=colour=colour-2.3.6-2cl6zeh1tuv4LM4jVThjAx --dependency=colour=colour-2.3.6-2cl6zeh1tuv4LM4jVThjAx --dependency=async=async-2.2.5-Kb4BpuOQZ1k6UckTM6q2R1 --dependency=barbies=barbies-2.0.5.0-Ie8nYOHNk6EClNqwDHVPFW --dependency=concurrent-output=concurrent-output-1.10.20-JPgWRVgomfCI2hcxUk6PrP --dependency=process=process-1.6.13.2-2Irq2Jm7oS2IN5gTWmZnSH --dependency=terminal-size=terminal-size-0.3.4-EMcKF2kYFo0CJGrVkneWkg --dependency=erf=erf-2.0.0.0-DD1kLu61QE55X5C6ZnT9v --dependency=lifted-async=lifted-async-0.10.2.5-7g39kSHnYgf5RHOlfGBuou --dependency=constraints=constraints-0.14-LKHwE7Kl6vq85ylGS3U2xG --dependency=boring=boring-0.2.1-DEofBiN93ZKH51tx4u08IM --dependency=type-equality=type-equality-1-Cz1XtPhQ9oP187QHwC5KWz --dependency=lifted-base=lifted-base-0.2.3.12-7Lai5jyX2Dh7r7vqBfFn9I --dependency=pretty-show=pretty-show-1.10-J4LCd8ZRnLK2ZKlQSHbLNr --dependency=haskell-lexer=haskell-lexer-1.1.1-IGLsM3hLwxgGu7TZXYbXWI --dependency=resourcet=resourcet-1.3.0-F9lrIyMrlfh8Qav0c8abnf --dependency=unliftio-core=unliftio-core-0.2.1.0-KK2k6NL05ZJ7aXwCtzRUJD --dependency=wl-pprint-annotated=wl-pprint-annotated-0.1.0.1-2cZZvYuQbxSFxW94loDlxJ --dependency=lens=lens-5.2.3-AFNtnq4mlEu4opcAXxyqCj --dependency=call-stack=call-stack-0.4.0-FmELR2iAK4CCMyR5yqUtbg --dependency=kan-extensions=kan-extensions-5.2.5-IOOg1fSA9gD8Pu7Uiq3kSv --dependency=adjunctions=adjunctions-4.4.2-Jf9mMML6UZBKCPsaZ2GdhQ --dependency=semigroups=semigroups-0.20-AHEDJttk12QKRngShZkUXU --dependency=void=void-0.7.3-G5MdgOk5J35F7MPIUFZNM0 --dependency=invariant=invariant-0.6.2-BxgurFXtNBkGpi7SbtjUmL --dependency=parallel=parallel-3.2.2.0-CWuIPZ9z0M2316R8Ba8csc --dependency=reflection=reflection-2.1.7-24gXisTWp03QuzpLTnrQ1 --dependency=plutus-core=plutus-core-1.22.1.0-D03GasnWv27AO51Op1Wng7 --dependency=base64-bytestring=base64-bytestring-1.2.1.0-KZsnnMc9npeLEwVnorykk0 --dependency=bimap=bimap-0.5.0-CRX4iXo5ScNAKjsPdaAcfZ --dependency=bytestring-strict-builder=bytestring-strict-builder-0.4.5.7-15LkUs8mwIF7a15IRF8vgx --dependency=cardano-crypto=cardano-crypto-1.1.2-7U5J8OQaxdQ9ocTHJe1VTF --dependency=foundation=foundation-0.0.30-2DRGL0hAxDh5NRtGvWPupi --dependency=cassava=cassava-0.5.3.0-JCjN13TE4dp531Ub0Ly2My --dependency=Only=Only-0.1-5HMnGEdyovGeWGWSTFEMo --dependency=composition-prelude=composition-prelude-3.0.0.2-JRCljlq3Xv71oiWXpFGqZF --dependency=dependent-sum=dependent-sum-0.7.2.0-32HFkjCM1Zr30jN2bgtqma --dependency=constraints-extras=constraints-extras-0.4.0.0-A00PvMJHqa17dehphPl4A --dependency=some=some-1.0.6-7kQlHtWMZtpGxKZDQBGwba --dependency=deriving-aeson=deriving-aeson-0.2.9-65EKhCATRAhGmlApEHBlUh --dependency=deriving-compat=deriving-compat-0.6.5-6D5yS1Utx7K4cXTWa7fV7w --dependency=extra=extra-1.7.14-3lfQPuThlwu8qQVUmqCSKu --dependency=megaparsec=megaparsec-9.2.1-BrqYDGqn0lF7bVdLTHfuYb --dependency=case-insensitive=case-insensitive-1.2.1.0-CMhnhPibndhKkZFZUizzge --dependency=parser-combinators=parser-combinators-1.3.0-HUpGzs22K4j5gxMSICkDwo --dependency=monoidal-containers=monoidal-containers-0.6.4.0-6qITcY2Y5OOHJ8aJ1Sqydy --dependency=newtype=newtype-0.2.2.0-6hPd6sx7vML4figwAVFIdv --dependency=multiset=multiset-0.3.4.3-LILDUGVk2se45McFiFi6CM --dependency=index-envs=plutus-core-1.22.1.0-3NoyQfKGb7gDFhXQTeyaEp-index-envs --dependency=plutus-core:index-envs=plutus-core-1.22.1.0-3NoyQfKGb7gDFhXQTeyaEp-index-envs --dependency=nonempty-vector=nonempty-vector-0.2.3-6HLsG4gcjoaHc0Pc1A0qsH --dependency=ral=ral-0.2.1-FSdtZ6Kho3w5vQRF3O2YGF --dependency=bin=bin-0.1.3-5rozKxVjJe4BYheAikvhgU --dependency=dec=dec-0.0.5-1ecUt8PwJPQ6NI05mMNLrs --dependency=fin=fin-0.3-LWelvCJL2FUDeHpgKTWkve --dependency=universe-base=universe-base-1.1.3.1-ABa7KJAMUTo8K7YxXyd8Av --dependency=satint=plutus-core-1.22.1.0-C3xCwMAfKdWRXFVotww9P-satint --dependency=plutus-core:satint=plutus-core-1.22.1.0-C3xCwMAfKdWRXFVotww9P-satint --dependency=prettyprinter-configurable=prettyprinter-configurable-1.22.1.0-3GGbDPW3rJpJacdLqaSVd4 --dependency=microlens=microlens-0.4.13.1-EhmZ1KqBdww7HhR48VOsAL --dependency=prettyprinter=prettyprinter-1.7.1-4IgD8s5wquO6FIO1jHqEQF --dependency=prettyprinter=prettyprinter-1.7.1-4IgD8s5wquO6FIO1jHqEQF --dependency=th-lift-instances=th-lift-instances-0.1.20-BZtzEatWO2HFuuflAB5M0 --dependency=th-lift=th-lift-0.8.4-5OVpjwmfvmHErRbluOL8mp --dependency=th-lift=th-lift-0.8.4-5OVpjwmfvmHErRbluOL8mp --dependency=th-utilities=th-utilities-0.2.5.0-LAJ9LmnwPnL1mrf7DFh73 --dependency=syb=syb-0.7.2.4-9qMaKqh8dGP5XhKtZedMDK --dependency=th-orphans=th-orphans-0.13.14-7Gmz1QrcI4AH1iVgk41p3w --dependency=th-reify-many=th-reify-many-0.1.10-KFf3KnC6rNgIjPDIAeBsM8 --dependency=safe=safe-0.3.19-8luuMyFSOlL6dBNapMpYT1 --dependency=th-expand-syns=th-expand-syns-0.4.11.0-lEUmnRZPhA10edqRFKZmU --dependency=plutus-core-testlib=plutus-core-1.22.1.0-9p6FtyTqVfd5whgyZVlydO-plutus-core-testlib --dependency=plutus-core:plutus-core-testlib=plutus-core-1.22.1.0-9p6FtyTqVfd5whgyZVlydO-plutus-core-testlib --dependency=Stream=Stream-0.4.7.2-GhhW8WbnXmiK6UXpr1LmDo --dependency=lazysmallcheck=lazysmallcheck-0.6-Jf1gTibS3Ut2oqeEnwVGDP --dependency=dependent-map=dependent-map-0.4.0.0-1TenzqDSmzfFUAVWkhc18Y --dependency=lazy-search=lazy-search-0.1.3.0-68lLxHtYflRGYT2YjMkMCX --dependency=size-based=size-based-0.1.3.2-9bX1I505T9dGSEbEm2DVFH --dependency=dictionary-sharing=dictionary-sharing-0.1.0.0-6C9VIMRKDHeEtcPwjq5LXa --dependency=testing-type-modifiers=testing-type-modifiers-0.1.0.1-46RC5nIscMlKiil6g3R9yi --dependency=plutus-ir=plutus-core-1.22.1.0-AIbw9qMn7MU5YdDgw18v0W-plutus-ir --dependency=plutus-core:plutus-ir=plutus-core-1.22.1.0-AIbw9qMn7MU5YdDgw18v0W-plutus-ir --dependency=algebraic-graphs=algebraic-graphs-0.7-FLb3rKCDvx35Gha9bYSaql --dependency=dom-lt=dom-lt-0.2.3-I20XRSLHiNxJohEanO0FCb --dependency=quickcheck-instances=quickcheck-instances-0.3.30-LQ9zYWJA5IiJn85gXpfVWd --dependency=old-time=old-time-1.1.0.4-8RZomgCecz5FkPhkrK4rpQ --dependency=quickcheck-transformer=quickcheck-transformer-0.3.1.2-83ehF27h5EQWSZBsejXIT --dependency=tasty-golden=tasty-golden-2.3.5-9P4hUozgslz6E4ldgq5yat --dependency=optparse-applicative=optparse-applicative-0.18.1.0-1vhiXZjNICF40aBRtcqfYx --dependency=prettyprinter-ansi-terminal=prettyprinter-ansi-terminal-1.1.3-61fm2mVZ8eM38QF1kZgDVy --dependency=tasty=tasty-1.5-C868QWhqfD5JmOf24ENt8W --dependency=temporary=temporary-1.3-1P4fU5vlCfd3QRz5Chpokw --dependency=typed-process=typed-process-0.2.11.1-98ohRDp5Ruj6zn2EBgN2fm --dependency=tasty-hedgehog=tasty-hedgehog-1.4.0.2-6Eas2vFAU6IE5kuUWU8eb6 --dependency=tasty-hunit=tasty-hunit-0.10.1-GlHXlgw6ObAGlzfceBdexy --dependency=tasty-hunit=tasty-hunit-0.10.1-GlHXlgw6ObAGlzfceBdexy --dependency=tasty-quickcheck=tasty-quickcheck-0.10.3-EGj4w4dEdzXI8gsuBP5r3T --dependency=array=array-0.5.4.0 --dependency=base=base-4.14.3.0 --dependency=deepseq=deepseq-1.4.4.0 --dependency=ghc-boot-th=ghc-boot-th-8.10.7 --dependency=ghc-prim=ghc-prim-0.6.1 --dependency=integer-gmp=integer-gmp-1.0.3.0 --dependency=pretty=pretty-1.1.3.6 --dependency=rts=rts --dependency=template-haskell=template-haskell-2.16.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/nrakkji89kq19jji9xnv97z6f4rih755-plutus-core-test-untyped-plutus-core-test-1.22.1.0-data/share/ghc-8.10.7 --enable-split-sections
Configuring test suite 'untyped-plutus-core-test' for plutus-core-1.22.1.0..
Warning: 'hs-source-dirs: cost-model/budgeting-bench' specifies a directory
which does not exist.
Warning: 'hs-source-dirs: cost-model/create-cost-model' specifies a directory
which does not exist.
Warning: 'hs-source-dirs: cost-model/create-cost-model' specifies a directory
which does not exist.
Warning: 'hs-source-dirs: cost-model/print-cost-model' specifies a directory
which does not exist.
Warning: 'hs-source-dirs: cost-model/test' specifies a directory which does
not exist.
Warning: 'hs-source-dirs: executables' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: executables' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: executables' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: executables/debugger' specifies a directory which
does not exist.
Warning: 'hs-source-dirs: executables/src' specifies a directory which does
not exist.
Warning: 'hs-source-dirs: executables/traceToStacks' specifies a directory
which does not exist.
Warning: 'hs-source-dirs: executables/traceToStacks' specifies a directory
which does not exist.
Warning: 'hs-source-dirs: index-envs/bench' specifies a directory which does
not exist.
Warning: 'hs-source-dirs: index-envs/src' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: index-envs/test' specifies a directory which does
not exist.
Warning: 'hs-source-dirs: plutus-core/examples' specifies a directory which
does not exist.
Warning: 'hs-source-dirs: plutus-core/src' specifies a directory which does
not exist.
Warning: 'hs-source-dirs: plutus-core/stdlib' specifies a directory which does
not exist.
Warning: 'hs-source-dirs: plutus-ir/cert-stub' specifies a directory which
does not exist.
Warning: 'hs-source-dirs: plutus-ir/src' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: plutus-ir/test' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: prelude' specifies a directory which does not exist.
Warning: 'hs-source-dirs: satint/src' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: satint/test' specifies a directory which does not
exist.
Warning: 'hs-source-dirs: testlib' specifies a directory which does not exist.
Warning: 'hs-source-dirs: untyped-plutus-core/src' specifies a directory which
does not exist.
building
Preprocessing test suite 'untyped-plutus-core-test' for plutus-core-1.22.1.0..
Building test suite 'untyped-plutus-core-test' for plutus-core-1.22.1.0..
[ 1 of 24] Compiling Analysis.Spec ( untyped-plutus-core/test/Analysis/Spec.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Analysis/Spec.o )
[ 2 of 24] Compiling DeBruijn.FlatNatWord ( untyped-plutus-core/test/DeBruijn/FlatNatWord.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/DeBruijn/FlatNatWord.o )
[ 3 of 24] Compiling DeBruijn.Scope ( untyped-plutus-core/test/DeBruijn/Scope.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/DeBruijn/Scope.o )
[ 4 of 24] Compiling DeBruijn.UnDeBruijnify ( untyped-plutus-core/test/DeBruijn/UnDeBruijnify.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/DeBruijn/UnDeBruijnify.o )
[ 5 of 24] Compiling DeBruijn.Spec ( untyped-plutus-core/test/DeBruijn/Spec.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/DeBruijn/Spec.o )
[ 6 of 24] Compiling Evaluation.Builtins.Common ( untyped-plutus-core/test/Evaluation/Builtins/Common.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/Common.o )
[ 7 of 24] Compiling Evaluation.Builtins.BLS12_381.Utils ( untyped-plutus-core/test/Evaluation/Builtins/BLS12_381/Utils.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/BLS12_381/Utils.o )
[ 8 of 24] Compiling Evaluation.Builtins.BLS12_381.TestClasses ( untyped-plutus-core/test/Evaluation/Builtins/BLS12_381/TestClasses.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/BLS12_381/TestClasses.o )
[ 9 of 24] Compiling Evaluation.Builtins.BLS12_381 ( untyped-plutus-core/test/Evaluation/Builtins/BLS12_381.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/BLS12_381.o )
[10 of 24] Compiling Evaluation.Builtins.Conversion ( untyped-plutus-core/test/Evaluation/Builtins/Conversion.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/Conversion.o )
[11 of 24] Compiling Evaluation.Builtins.Costing ( untyped-plutus-core/test/Evaluation/Builtins/Costing.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/Costing.o )
[12 of 24] Compiling Evaluation.Builtins.MakeRead ( untyped-plutus-core/test/Evaluation/Builtins/MakeRead.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/MakeRead.o )
[13 of 24] Compiling Evaluation.Builtins.SignatureVerification ( untyped-plutus-core/test/Evaluation/Builtins/SignatureVerification.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/SignatureVerification.o )
[14 of 24] Compiling Evaluation.Builtins.Definition ( untyped-plutus-core/test/Evaluation/Builtins/Definition.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins/Definition.o )
[15 of 24] Compiling Evaluation.Builtins ( untyped-plutus-core/test/Evaluation/Builtins.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Builtins.o )
[16 of 24] Compiling Evaluation.Debug ( untyped-plutus-core/test/Evaluation/Debug.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Debug.o )
[17 of 24] Compiling Evaluation.FreeVars ( untyped-plutus-core/test/Evaluation/FreeVars.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/FreeVars.o )
[18 of 24] Compiling Evaluation.Golden ( untyped-plutus-core/test/Evaluation/Golden.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Golden.o )
[19 of 24] Compiling Evaluation.Machines ( untyped-plutus-core/test/Evaluation/Machines.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Machines.o )
[20 of 24] Compiling Evaluation.Regressions ( untyped-plutus-core/test/Evaluation/Regressions.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Evaluation/Regressions.o )
[21 of 24] Compiling Flat.Spec ( untyped-plutus-core/test/Flat/Spec.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Flat/Spec.o )
[22 of 24] Compiling Generators ( untyped-plutus-core/test/Generators.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Generators.o )
untyped-plutus-core/test/Generators.hs:61:123: error:
• Couldn't match expected type ‘[Term Name uni0 fun0 a0]’
with actual type ‘UPLC.SixList (Term Name uni fun a)’
• In the first argument of ‘zipExact’, namely ‘cs’
In the third argument of ‘maybe’, namely ‘(zipExact cs cs')’
In the second argument of ‘(&&)’, namely
‘maybe False (all (uncurry compareTerm)) (zipExact cs cs')’
• Relevant bindings include
cs' :: UPLC.SixList (Term Name uni fun a)
(bound at untyped-plutus-core/test/Generators.hs:61:42)
arg' :: Term Name uni fun a
(bound at untyped-plutus-core/test/Generators.hs:61:37)
cs :: UPLC.SixList (Term Name uni fun a)
(bound at untyped-plutus-core/test/Generators.hs:61:25)
arg :: Term Name uni fun a
(bound at untyped-plutus-core/test/Generators.hs:61:21)
compareTerm :: Term Name uni fun a -> Term Name uni fun a -> Bool
(bound at untyped-plutus-core/test/Generators.hs:53:1)
|
61 | compareTerm (Case _ arg cs) (Case _ arg' cs') = compareTerm arg arg' && maybe False (all (uncurry compareTerm)) (zipExact cs cs')
| ^^
untyped-plutus-core/test/Generators.hs:61:126: error:
• Couldn't match expected type ‘[Term Name uni0 fun0 a0]’
with actual type ‘UPLC.SixList (Term Name uni fun a)’
• In the second argument of ‘zipExact’, namely ‘cs'’
In the third argument of ‘maybe’, namely ‘(zipExact cs cs')’
In the second argument of ‘(&&)’, namely
‘maybe False (all (uncurry compareTerm)) (zipExact cs cs')’
• Relevant bindings include
cs' :: UPLC.SixList (Term Name uni fun a)
(bound at untyped-plutus-core/test/Generators.hs:61:42)
arg' :: Term Name uni fun a
(bound at untyped-plutus-core/test/Generators.hs:61:37)
cs :: UPLC.SixList (Term Name uni fun a)
(bound at untyped-plutus-core/test/Generators.hs:61:25)
arg :: Term Name uni fun a
(bound at untyped-plutus-core/test/Generators.hs:61:21)
compareTerm :: Term Name uni fun a -> Term Name uni fun a -> Bool
(bound at untyped-plutus-core/test/Generators.hs:53:1)
|
61 | compareTerm (Case _ arg cs) (Case _ arg' cs') = compareTerm arg arg' && maybe False (all (uncurry compareTerm)) (zipExact cs cs')
| ^^^
[23 of 24] Compiling Transform.Simplify ( untyped-plutus-core/test/Transform/Simplify.hs, dist/build/untyped-plutus-core-test/untyped-plutus-core-test-tmp/Transform/Simplify.o )
untyped-plutus-core/test/Transform/Simplify.hs:42:76: error:
• Couldn't match expected type ‘SixList
(Term Name DefaultUni DefaultFun ())’
with actual type ‘[term1 ()]’
• In the third argument of ‘Case’, namely ‘alts’
In the second argument of ‘($)’, namely
‘Case
() (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts’
In a stmt of a 'do' block:
pure
$ Case
() (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts
• Relevant bindings include
alts :: [term1 ()]
(bound at untyped-plutus-core/test/Transform/Simplify.hs:41:7)
|
42 | pure $ Case () (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts
| ^^^^
untyped-plutus-core/test/Transform/Simplify.hs:56:76: error:
• Couldn't match expected type ‘SixList
(Term Name DefaultUni DefaultFun ())’
with actual type ‘[term0 ()]’
• In the third argument of ‘Case’, namely ‘alts’
In the second argument of ‘($)’, namely
‘Case
() (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts’
In a stmt of a 'do' block:
pure
$ Case
() (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts
• Relevant bindings include
alts :: [term0 ()]
(bound at untyped-plutus-core/test/Transform/Simplify.hs:55:7)
|
56 | pure $ Case () (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts
| ^^^^
untyped-plutus-core/test/Transform/Simplify.hs:73:76: error:
• Couldn't match expected type ‘SixList
(Term Name DefaultUni DefaultFun ())’
with actual type ‘[Term Name uni0 fun0 ()]’
• In the third argument of ‘Case’, namely ‘alts’
In the second argument of ‘($)’, namely
‘Case
() (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts’
In a stmt of a 'do' block:
pure
$ Case
() (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts
• Relevant bindings include
alts :: [Term Name uni0 fun0 ()]
(bound at untyped-plutus-core/test/Transform/Simplify.hs:72:7)
altFalse :: Term Name uni0 fun0 ()
(bound at untyped-plutus-core/test/Transform/Simplify.hs:71:7)
|
73 | pure $ Case () (mkIterApp ite [((), Var () b), ((), true), ((), false)]) alts
| ^^^^
untyped-plutus-core/test/Transform/Simplify.hs:244:37: error:
• Couldn't match expected type ‘SixList (Term Name uni fun ())’
with actual type ‘[Term Name DefaultUni DefaultFun ()]’
• In the third argument of ‘Case’, namely
‘[branch1, branch2, branch3]’
In the expression: Case () (Var () y) [branch1, branch2, branch3]
In an equation for ‘caseExpr’:
caseExpr = Case () (Var () y) [branch1, branch2, branch3]
• Relevant bindings include
caseExpr :: Term Name uni fun ()
(bound at untyped-plutus-core/test/Transform/Simplify.hs:244:7)
|
244 | caseExpr = Case () (Var () y) [branch1, branch2, branch3]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Loading