++ dirname ./run.sh
+ cd .
+ echo 1270
+ echo '2.0-SNAPSHOT BUILD'
2.0-SNAPSHOT BUILD
+ date
Mon Jun 23 14:59:01 UTC 2025
+ uptime
14:59:01 up 1 min, 0 users, load average: 0.72, 0.34, 0.13
+ head=git@github.com:objectionary/phino.git
+ ff=default
+ image=maxonfjvipon/rultor-image-hs:master
+ rebase=false
+ squash=false
+ head_branch=master
+ author=maxonfjvipon
+ tag=0.0.9
+ vars=('--env=head=git@github.com:objectionary/phino.git' '--env=tag=0.0.9' '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.9'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=master'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=maxonfjvipon'\''\'\'''\'''\'' '\'';'\'' '\''cabal --version'\'' '\'';'\'' '\''ghc --version'\'' '\'';'\'' '\''cabal update'\'' '\'';'\'' '\''pdd -f /dev/null -v'\'' '\'';'\'' '\''[[ "${tag}" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]] || exit -1'\'' '\'';'\'' '\''sed -i "s/0\.0\.0\.0/0.${tag}/" phino.cabal'\'' '\'';'\'' '\''chmod 755 ../hackage-auth'\'' '\'';'\'' '\''cabal check'\'' '\'';'\'' '\''cabal build'\'' '\'';'\'' '\''cabal test'\'' '\'';'\'' '\''git commit -am "set version to ${tag}"'\'' '\'';'\'' '\''cabal sdist'\'' '\'';'\'' '\''cabal upload --token=$(cat ../hackage-auth) --publish dist-newstyle/sdist/phino-0.${tag}.tar.gz'\'' '\'';'\'' )' '--env=head_branch=master' '--env=author=maxonfjvipon')
+ scripts=('export '\''head=git@github.com:objectionary/phino.git'\''' ';' 'export '\''tag=0.0.9'\''' ';' 'export '\''head_branch=master'\''' ';' 'export '\''author=maxonfjvipon'\''' ';' 'cabal --version' ';' 'ghc --version' ';' 'cabal update' ';' 'pdd -f /dev/null -v' ';' '[[ "${tag}" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]] || exit -1' ';' 'sed -i "s/0\.0\.0\.0/0.${tag}/" phino.cabal' ';' 'chmod 755 ../hackage-auth' ';' 'cabal check' ';' 'cabal build' ';' 'cabal test' ';' 'git commit -am "set version to ${tag}"' ';' 'cabal sdist' ';' 'cabal upload --token=$(cat ../hackage-auth) --publish dist-newstyle/sdist/phino-0.${tag}.tar.gz' ';')
+ directory=
+ container=objectionary_phino_126
+ as_root=true
+ set -e -o pipefail
+ hostname
ip-172-31-30-11
+ pwd
/tmp/rultor-FbaD
+ git --version
git version 2.34.1
+ docker --version
Docker version 25.0.3, build 4debf41
+ mkdir -p /home/ubuntu/.ssh
+ echo -e 'Host github.com\n\tStrictHostKeyChecking no\n'
+ chmod 600 /home/ubuntu/.ssh/config
+ git clone git@github.com:objectionary/phino.git repo
Cloning into 'repo'...
Warning: Permanently added 'github.com' (ED25519) to the list of known hosts.
+ cd repo
+ git config user.email gpg@rultor.com
+ git config user.name Rultor.com
+ '[' -z 'export '\''head=git@github.com:objectionary/phino.git'\''' ']'
+ cd ..
+ cat
+ '[' true = true ']'
+ cat
+ chmod a+x entry.sh
+ cat
+ echo 'export '\''head=git@github.com:objectionary/phino.git'\''' ';' 'export '\''tag=0.0.9'\''' ';' 'export '\''head_branch=master'\''' ';' 'export '\''author=maxonfjvipon'\''' ';' 'cabal --version' ';' 'ghc --version' ';' 'cabal update' ';' 'pdd -f /dev/null -v' ';' '[[ "${tag}" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]] || exit -1' ';' 'sed -i "s/0\.0\.0\.0/0.${tag}/" phino.cabal' ';' 'chmod 755 ../hackage-auth' ';' 'cabal check' ';' 'cabal build' ';' 'cabal test' ';' 'git commit -am "set version to ${tag}"' ';' 'cabal sdist' ';' 'cabal upload --token=$(cat ../hackage-auth) --publish dist-newstyle/sdist/phino-0.${tag}.tar.gz' ';'
+ sensitive=()
+ set -ex -o pipefail
+ '[' -z 0.0.9 ']'
+ [[ 0.0.9 =~ ^[a-zA-Z0-9\.\-]+$ ]]
+ echo 'tag name is valid: "0.0.9"'
tag name is valid: "0.0.9"
+ cd repo
++ git tag -l 0.0.9
+ '[' -n '' ']'
+ BRANCH_NAME=__rultor
++ wc -l
++ git show-branch __rultor
+ '[' 0 -gt 0 ']'
+ export BRANCH_NAME
+ git checkout -b __rultor
Switched to a new branch '__rultor'
+ docker_when_possible
+ true
++ tail -n 1
++ sed 's/ /\n/g'
++ uptime
+ load=0.14
++ bc
++ echo 0.14 '>' 30
+ '[' 0 -eq 1 ']'
+ echo 'load average is 0.14, low enough to run a new Docker container'
load average is 0.14, low enough to run a new Docker container
+ break
+ cd ..
+ '[' -n '' ']'
+ use_image=maxonfjvipon/rultor-image-hs:master
+ docker pull maxonfjvipon/rultor-image-hs:master
master: Pulling from maxonfjvipon/rultor-image-hs
72049b7b8f26: Pulling fs layer
53fc3d43b62f: Pulling fs layer
7743ff37f01c: Pulling fs layer
f843eacac21a: Pulling fs layer
89c6cc626682: Pulling fs layer
018d59e70755: Pulling fs layer
7167591a24b0: Pulling fs layer
2dbaa318b9b4: Pulling fs layer
b9e068070a94: Pulling fs layer
4cabd7dfbe15: Pulling fs layer
3f73a32c5bdf: Pulling fs layer
3b5bb3aa3526: Pulling fs layer
4f4fb700ef54: Pulling fs layer
b1d8381b7fde: Pulling fs layer
b3f77f1abe02: Pulling fs layer
f843eacac21a: Waiting
89c6cc626682: Waiting
018d59e70755: Waiting
7167591a24b0: Waiting
2dbaa318b9b4: Waiting
b9e068070a94: Waiting
4cabd7dfbe15: Waiting
3f73a32c5bdf: Waiting
4f4fb700ef54: Waiting
b1d8381b7fde: Waiting
b3f77f1abe02: Waiting
3b5bb3aa3526: Waiting
7743ff37f01c: Verifying Checksum
7743ff37f01c: Download complete
72049b7b8f26: Verifying Checksum
72049b7b8f26: Download complete
f843eacac21a: Verifying Checksum
f843eacac21a: Download complete
018d59e70755: Verifying Checksum
018d59e70755: Download complete
53fc3d43b62f: Verifying Checksum
53fc3d43b62f: Download complete
2dbaa318b9b4: Verifying Checksum
2dbaa318b9b4: Download complete
7167591a24b0: Verifying Checksum
7167591a24b0: Download complete
b9e068070a94: Verifying Checksum
b9e068070a94: Download complete
3f73a32c5bdf: Verifying Checksum
3f73a32c5bdf: Download complete
3b5bb3aa3526: Verifying Checksum
3b5bb3aa3526: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
89c6cc626682: Verifying Checksum
89c6cc626682: Download complete
b3f77f1abe02: Verifying Checksum
b3f77f1abe02: Download complete
4cabd7dfbe15: Verifying Checksum
4cabd7dfbe15: Download complete
b1d8381b7fde: Verifying Checksum
b1d8381b7fde: Download complete
72049b7b8f26: Pull complete
53fc3d43b62f: Pull complete
7743ff37f01c: Pull complete
f843eacac21a: Pull complete
89c6cc626682: Pull complete
018d59e70755: Pull complete
7167591a24b0: Pull complete
2dbaa318b9b4: Pull complete
b9e068070a94: Pull complete
4cabd7dfbe15: Pull complete
3f73a32c5bdf: Pull complete
3b5bb3aa3526: Pull complete
4f4fb700ef54: Pull complete
b1d8381b7fde: Pull complete
b3f77f1abe02: Pull complete
Digest: sha256:13e09db51a817d244f2c6dbcaf0bc2bc85fd06249ad1460c58f34add8670387f
Status: Downloaded newer image for maxonfjvipon/rultor-image-hs:master
docker.io/maxonfjvipon/rultor-image-hs:master
+ docker ps --filter=status=exited
+ grep --quiet '\sobjectionary_phino_126\s*$'
+ ls -al .
total 48
drwx------ 3 ubuntu ubuntu 4096 Jun 23 14:59 .
drwxrwxrwt 12 root root 4096 Jun 23 14:58 ..
-rwxrwxr-x 1 ubuntu ubuntu 658 Jun 23 15:00 end.sh
-rwxrwxr-x 1 ubuntu ubuntu 162 Jun 23 14:59 entry.sh
-rw-rw-r-- 1 ubuntu ubuntu 65 Jun 23 14:58 hackage-auth
-rw-rw-r-- 1 ubuntu ubuntu 5 Jun 23 14:59 pid
drwxrwxr-x 10 ubuntu ubuntu 4096 Jun 23 14:59 repo
-rwxrwxr-x 1 ubuntu ubuntu 6674 Jun 23 14:58 run.sh
-rw-rw-r-- 1 ubuntu ubuntu 710 Jun 23 14:59 script.sh
-rw-rw-r-- 1 ubuntu ubuntu 6646 Jun 23 15:01 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-FbaD:/main --env=head=git@github.com:objectionary/phino.git --env=tag=0.0.9 '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.9'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=master'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=maxonfjvipon'\''\'\'''\'''\'' '\'';'\'' '\''cabal --version'\'' '\'';'\'' '\''ghc --version'\'' '\'';'\'' '\''cabal update'\'' '\'';'\'' '\''pdd -f /dev/null -v'\'' '\'';'\'' '\''[[ "${tag}" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]] || exit -1'\'' '\'';'\'' '\''sed -i "s/0\.0\.0\.0/0.${tag}/" phino.cabal'\'' '\'';'\'' '\''chmod 755 ../hackage-auth'\'' '\'';'\'' '\''cabal check'\'' '\'';'\'' '\''cabal build'\'' '\'';'\'' '\''cabal test'\'' '\'';'\'' '\''git commit -am "set version to ${tag}"'\'' '\'';'\'' '\''cabal sdist'\'' '\'';'\'' '\''cabal upload --token=$(cat ../hackage-auth) --publish dist-newstyle/sdist/phino-0.${tag}.tar.gz'\'' '\'';'\'' )' --env=head_branch=master --env=author=maxonfjvipon --hostname=docker --privileged --net=host --dns 8.8.8.8 --add-host docker:127.0.0.1 --memory=8g --memory-swap=16g --oom-kill-disable --cidfile=/tmp/rultor-FbaD/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_phino_126 maxonfjvipon/rultor-image-hs:master /main/entry.sh
WARNING: Your kernel does not support OomKillDisable. OomKillDisable discarded.
+ set -e
+ set -o pipefail
+ mkdir /home/r
+ cp -R ./cid ./end.sh ./entry.sh ./hackage-auth ./pid ./repo ./run.sh ./script.sh ./stdout /home/r
+ rm -rf repo
+ chmod a+x /home/r/script.sh
+ /home/r/script.sh
cabal-install version 3.12.1.0
compiled using version 3.12.1.0 of the Cabal library
The Glorious Glasgow Haskell Compilation System, version 9.6.7
Downloading the latest package list from hackage.haskell.org
Package list of hackage.haskell.org has been updated.
The index-state is set to 2025-06-23T12:50:08Z.
To revert to previous state run:
cabal v2-update 'hackage.haskell.org,2025-06-22T18:48:51Z'
Found 7 lines in /home/r/repo/.pdd
My version is 0.23.1
Ruby version is 3.2.2 at x86_64-linux
Reading from root dir .
Excluding dist-newstyle/**
Excluding .stack-work/**
/usr/local/rvm/gems/ruby-3.2.2/gems/pdd-0.23.1/lib/pdd/sources.rb:90: warning: undefining the allocator of T_DATA class FileMagic
/home/r/repo/renovate.json is a binary file (114 bytes)
Reading .0pdd.yml ...
Reading .github/workflows/actionlint.yml ...
Reading .github/workflows/cabal.yml ...
Reading .github/workflows/copyrights.yml ...
Reading .github/workflows/markdown-lint.yml ...
Reading .github/workflows/pdd.yml ...
Reading .github/workflows/resources.yml ...
Reading .github/workflows/reuse.yml ...
Reading .github/workflows/shellcheck.yml ...
Reading .github/workflows/stack.yml ...
Reading .github/workflows/titles.yml ...
Reading .github/workflows/typos.yml ...
Reading .github/workflows/up.yml ...
Reading .github/workflows/xcop.yml ...
Reading .github/workflows/yamllint.yml ...
Reading .gitignore ...
Reading .pdd ...
Reading .rultor.yml ...
Reading LICENSES/MIT.txt ...
Reading README.md ...
Reading REUSE.toml ...
Reading app/Main.hs ...
Reading phino.cabal ...
Reading resources/alpha.yaml ...
Reading resources/copy.yaml ...
Puzzle 85-3ceffa48 60/DEV at resources/copy.yaml
Reading resources/dc.yaml ...
Reading resources/dd.yaml ...
Reading resources/dot.yaml ...
Reading resources/miss.yaml ...
Reading resources/null.yaml ...
Reading resources/over.yaml ...
Reading resources/phi.yaml ...
Reading resources/stay.yaml ...
Reading resources/stop.yaml ...
Reading src/Ast.hs ...
Reading src/Builder.hs ...
Reading src/CLI.hs ...
Reading src/Condition.hs ...
Puzzle 89-2ee3d16f 30/DEV at src/Condition.hs
Reading src/Logger.hs ...
Reading src/Matcher.hs ...
Reading src/Misc.hs ...
Reading src/Parser.hs ...
Reading src/Pretty.hs ...
Reading src/Printer.hs ...
Reading src/Replacer.hs ...
Reading src/Rewriter.hs ...
Reading src/XMIR.hs ...
Reading src/Yaml.hs ...
Reading stack.yaml ...
Reading stack.yaml.lock ...
Reading test/BuilderSpec.hs ...
Reading test/CLISpec.hs ...
Reading test/ConditionSpec.hs ...
Reading test/Main.hs ...
Reading test/MatcherSpec.hs ...
Reading test/MiscSpec.hs ...
Reading test/ParserSpec.hs ...
Reading test/PrinterSpec.hs ...
Reading test/README.md ...
Reading test/ReplacerSpec.hs ...
Reading test/RewriterSpec.hs ...
Reading test/Spec.hs ...
Reading test/XMIRSpec.hs ...
Puzzle 126-dab43680 30/DEV at test/XMIRSpec.hs
Reading test/YamlSpec.hs ...
Reading test-resources/cli/desugar.phi ...
Reading test-resources/cli/normalize.phi ...
Reading test-resources/condition-packs/add.yaml ...
Reading test-resources/condition-packs/alpha-simple.yaml ...
Reading test-resources/condition-packs/eq-to-rho.yaml ...
Reading test-resources/condition-packs/length.yaml ...
Reading test-resources/condition-packs/nf-dot-recursive.yaml ...
Reading test-resources/condition-packs/nf-on-dot.yaml ...
Reading test-resources/condition-packs/nf-simple.yaml ...
Reading test-resources/condition-packs/not-nf-on-dd.yaml ...
Reading test-resources/condition-packs/not-nf-on-phi.yaml ...
Reading test-resources/condition-packs/ordinal.yaml ...
Reading test-resources/condition-packs/stop.yaml ...
Reading test-resources/parser-packs/all-the-basics.phi ...
Reading test-resources/parser-packs/ascii-with-braces.phi ...
Reading test-resources/parser-packs/ascii-with-global.phi ...
Reading test-resources/parser-packs/delta-twice.phi ...
Reading test-resources/parser-packs/inline-voids.phi ...
Reading test-resources/parser-packs/lambda-twice.phi ...
Reading test-resources/parser-packs/primitive.phi ...
Reading test-resources/parser-packs/salty-fibo.phi ...
Reading test-resources/parser-packs/simple.phi ...
Reading test-resources/parser-packs/sweet-fibo.phi ...
Reading test-resources/rewriter-packs/basic/alpha-first.yaml ...
Reading test-resources/rewriter-packs/basic/alpha-fourth.yaml ...
Reading test-resources/rewriter-packs/basic/alpha-second.yaml ...
Reading test-resources/rewriter-packs/basic/alpha-simple.yaml ...
Reading test-resources/rewriter-packs/basic/alpha-stops-at-idx.yaml ...
Reading test-resources/rewriter-packs/basic/alpha-stops-at-length.yaml ...
Reading test-resources/rewriter-packs/basic/copy-paper-e1.yaml ...
Reading test-resources/rewriter-packs/basic/copy-paper-e4-dispatch.yaml ...
Reading test-resources/rewriter-packs/basic/copy-simple.yaml ...
Reading test-resources/rewriter-packs/basic/copy-with-tail.yaml ...
Reading test-resources/rewriter-packs/basic/dc-from-paper.yaml ...
Reading test-resources/rewriter-packs/basic/dc-in-subformation.yaml ...
Reading test-resources/rewriter-packs/basic/dd.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e2.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e3-1.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e3-2.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e4-1.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e4-2.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e5-1.yaml ...
Reading test-resources/rewriter-packs/basic/dot-paper-e5-2.yaml ...
Reading test-resources/rewriter-packs/basic/dot-recursive.yaml ...
Reading test-resources/rewriter-packs/basic/dot-with-dd.yaml ...
Reading test-resources/rewriter-packs/basic/dot-xi.yaml ...
Reading test-resources/rewriter-packs/basic/miss-from-paper.yaml ...
Reading test-resources/rewriter-packs/basic/miss-on-empty.yaml ...
Reading test-resources/rewriter-packs/basic/null-from-parer.yaml ...
Reading test-resources/rewriter-packs/basic/over-alone.yaml ...
Reading test-resources/rewriter-packs/basic/over-from-paper.yaml ...
Reading test-resources/rewriter-packs/basic/over-in-back.yaml ...
Reading test-resources/rewriter-packs/basic/over-in-front.yaml ...
Reading test-resources/rewriter-packs/basic/over-inside.yaml ...
Reading test-resources/rewriter-packs/basic/over-long-binding.yaml ...
Reading test-resources/rewriter-packs/basic/over-with-rho.yaml ...
Reading test-resources/rewriter-packs/basic/over-without-over.yaml ...
Reading test-resources/rewriter-packs/basic/phi-from-paper.yaml ...
Reading test-resources/rewriter-packs/basic/stay.yaml ...
Reading test-resources/rewriter-packs/basic/stop-at-lambda.yaml ...
Reading test-resources/rewriter-packs/basic/stop-at-phi.yaml ...
Reading test-resources/rewriter-packs/basic/stop-from-paper.yaml ...
Reading test-resources/rewriter-packs/custom/desugar-fibo.yaml ...
Reading test-resources/rewriter-packs/custom/desugar-strings.yaml ...
Reading test-resources/rewriter-packs/custom/desugares-without-match.yaml ...
Reading test-resources/rewriter-packs/custom/desugares.yaml ...
Reading test-resources/rewriter-packs/custom/negative-condition.yaml ...
Reading test-resources/rewriter-packs/custom/with-alpha-condition.yaml ...
Reading test-resources/rewriter-packs/custom/with-complex-condition.yaml ...
Reading test-resources/rewriter-packs/custom/with-eq-condition.yaml ...
Reading test-resources/rewriter-packs/custom/with-simple-condition.yaml ...
Reading test-resources/rewriter-packs/normalize/e-ald.yaml ...
Reading test-resources/rewriter-packs/normalize/e-alp.yaml ...
Reading test-resources/rewriter-packs/normalize/e-app.yaml ...
Reading test-resources/rewriter-packs/normalize/e-cpy.yaml ...
Reading test-resources/rewriter-packs/normalize/e-fnk.yaml ...
Reading test-resources/rewriter-packs/normalize/e-int.yaml ...
Reading test-resources/rewriter-packs/normalize/e-lam.yaml ...
Reading test-resources/rewriter-packs/normalize/e-nf.yaml ...
Reading test-resources/rewriter-packs/normalize/e-nk.yaml ...
Reading test-resources/rewriter-packs/normalize/e-np.yaml ...
Reading test-resources/rewriter-packs/normalize/e-nr.yaml ...
Reading test-resources/rewriter-packs/normalize/e-nt.yaml ...
Reading test-resources/rewriter-packs/normalize/e-phi.yaml ...
Reading test-resources/rewriter-packs/normalize/e-rep.yaml ...
Reading test-resources/rewriter-packs/normalize/e-rha.yaml ...
Reading test-resources/rewriter-packs/normalize/e-rhi.yaml ...
Reading test-resources/rewriter-packs/normalize/e-rho.yaml ...
Reading test-resources/rewriter-packs/normalize/e-twi.yaml ...
Reading test-resources/rewriter-packs/normalize/e-xxi.yaml ...
Reading test-resources/xmir/program.phi ...
Reading test-resources/xmir/program.xmir ...
Reading test-resources/yaml-packs/simple.yaml ...
Reading test-resources/yaml-packs/special-attrs-in-condition.yaml ...
Reading test-resources/yaml-packs/when.yaml ...
These warnings may cause trouble when distributing the package:
Warning: [missing-upper-bounds] On library, these packages miss upper bounds:
- containers
- megaparsec
- text
- aeson
- yaml
- directory
- filepath
- scientific
- binary-ieee754
- bytestring
- utf8-string
- prettyprinter
- optparse-applicative
- vector
- random
Please add them. There is more information at https://pvp.haskell.org/
Resolving dependencies...
Build profile: -w ghc-9.6.7 -O1
In order, the following will be built (use -v for more details):
- QuickCheck-2.16.0.0 (lib) (requires download & build)
- aeson-2.2.3.0 (lib) (requires build)
- yaml-0.11.11.2 (lib) (requires build)
- phino-0.0.0.9 (lib) (first run)
- phino-0.0.0.9 (exe:phino) (first run)
Downloading QuickCheck-2.16.0.0
Downloaded QuickCheck-2.16.0.0
Configuring library for QuickCheck-2.16.0.0...
Preprocessing library for QuickCheck-2.16.0.0...
Building library for QuickCheck-2.16.0.0...
[ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o )
[ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o )
;1msrc/Test/QuickCheck/Random.hs:50:37: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of ‘genShortByteString’
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `System.Random.uniformShortByteString`"0m0m
;1m34m |0m0m
;1m34m50 |0m0m genShortByteString n = wrapQCGen (;1m35mgenShortByteString0m0m n)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Test/QuickCheck/Random.hs:83:16: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of ‘split’
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"0m0m
;1m34m |0m0m
;1m34m83 |0m0m left = fst . ;1m35msplit0m0m
;1m34m |0m0m;1m35m ^^^^^0m0m
;1msrc/Test/QuickCheck/Random.hs:84:17: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of ‘split’
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"0m0m
;1m34m |0m0m
;1m34m84 |0m0m right = snd . ;1m35msplit0m0m
;1m34m |0m0m;1m35m ^^^^^0m0m
[ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o )
;1msrc/Test/QuickCheck/Gen.hs:92:12: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of ‘split’
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"0m0m
;1m34m |0m0m
;1m34m92 |0m0m case ;1m35msplit0m0m r of
;1m34m |0m0m;1m35m ^^^^^0m0m
[ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o )
[ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o )
[ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o )
[ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o )
[ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o )
[10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o )
[11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o )
[12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o )
;1msrc/Test/QuickCheck/Test.hs:501:17: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of ‘split’
(imported from System.Random, but defined in System.Random.Internal):
Deprecated: "In favor of `splitGen`"0m0m
;1m34m |0m0m
;1m34m501 |0m0m (rnd1,rnd2) = ;1m35msplit0m0m (randomSeed st)
;1m34m |0m0m;1m35m ^^^^^0m0m
[13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o )
[14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o )
[15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o )
[16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o )
[17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-54/opt/cabal/store/ghc-9.6.7/QuickCheck-2.16.0.0-ca7d5044794ca46109be505bf3890bff6e1a2e44e3a910d5c004649f16914751/lib
Configuring library for aeson-2.2.3.0...
Preprocessing library for aeson-2.2.3.0...
Building library for aeson-2.2.3.0...
[ 1 of 32] Compiling Data.Aeson.Internal.ByteString ( src/Data/Aeson/Internal/ByteString.hs, dist/build/Data/Aeson/Internal/ByteString.o, dist/build/Data/Aeson/Internal/ByteString.dyn_o )
[ 2 of 32] Compiling Data.Aeson.Internal.Functions ( src/Data/Aeson/Internal/Functions.hs, dist/build/Data/Aeson/Internal/Functions.o, dist/build/Data/Aeson/Internal/Functions.dyn_o )
[ 3 of 32] Compiling Data.Aeson.Internal.Prelude ( src/Data/Aeson/Internal/Prelude.hs, dist/build/Data/Aeson/Internal/Prelude.o, dist/build/Data/Aeson/Internal/Prelude.dyn_o )
[ 4 of 32] Compiling Data.Aeson.Internal.Scientific ( src/Data/Aeson/Internal/Scientific.hs, dist/build/Data/Aeson/Internal/Scientific.o, dist/build/Data/Aeson/Internal/Scientific.dyn_o )
[ 5 of 32] Compiling Data.Aeson.Internal.TH ( src/Data/Aeson/Internal/TH.hs, dist/build/Data/Aeson/Internal/TH.o, dist/build/Data/Aeson/Internal/TH.dyn_o )
[ 6 of 32] Compiling Data.Aeson.Internal.Text ( src/Data/Aeson/Internal/Text.hs, dist/build/Data/Aeson/Internal/Text.o, dist/build/Data/Aeson/Internal/Text.dyn_o )
[ 7 of 32] Compiling Data.Aeson.Internal.Unescape ( src/Data/Aeson/Internal/Unescape.hs, dist/build/Data/Aeson/Internal/Unescape.o, dist/build/Data/Aeson/Internal/Unescape.dyn_o )
[ 8 of 32] Compiling Data.Aeson.Internal.UnescapeFromText ( src/Data/Aeson/Internal/UnescapeFromText.hs, dist/build/Data/Aeson/Internal/UnescapeFromText.o, dist/build/Data/Aeson/Internal/UnescapeFromText.dyn_o )
[ 9 of 32] Compiling Data.Aeson.Key ( src/Data/Aeson/Key.hs, dist/build/Data/Aeson/Key.o, dist/build/Data/Aeson/Key.dyn_o )
[10 of 32] Compiling Data.Aeson.Decoding.Tokens ( src/Data/Aeson/Decoding/Tokens.hs, dist/build/Data/Aeson/Decoding/Tokens.o, dist/build/Data/Aeson/Decoding/Tokens.dyn_o )
[11 of 32] Compiling Data.Aeson.Decoding.Internal ( src/Data/Aeson/Decoding/Internal.hs, dist/build/Data/Aeson/Decoding/Internal.o, dist/build/Data/Aeson/Decoding/Internal.dyn_o )
[12 of 32] Compiling Data.Aeson.Decoding.Text ( src/Data/Aeson/Decoding/Text.hs, dist/build/Data/Aeson/Decoding/Text.o, dist/build/Data/Aeson/Decoding/Text.dyn_o )
[13 of 32] Compiling Data.Aeson.Decoding.ByteString.Lazy ( src/Data/Aeson/Decoding/ByteString/Lazy.hs, dist/build/Data/Aeson/Decoding/ByteString/Lazy.o, dist/build/Data/Aeson/Decoding/ByteString/Lazy.dyn_o )
[14 of 32] Compiling Data.Aeson.Decoding.ByteString ( src/Data/Aeson/Decoding/ByteString.hs, dist/build/Data/Aeson/Decoding/ByteString.o, dist/build/Data/Aeson/Decoding/ByteString.dyn_o )
[15 of 32] Compiling Data.Aeson.KeyMap ( src/Data/Aeson/KeyMap.hs, dist/build/Data/Aeson/KeyMap.o, dist/build/Data/Aeson/KeyMap.dyn_o )
[16 of 32] Compiling Data.Aeson.Types.Generic ( src/Data/Aeson/Types/Generic.hs, dist/build/Data/Aeson/Types/Generic.o, dist/build/Data/Aeson/Types/Generic.dyn_o )
[17 of 32] Compiling Data.Aeson.Types.Internal ( src/Data/Aeson/Types/Internal.hs, dist/build/Data/Aeson/Types/Internal.o, dist/build/Data/Aeson/Types/Internal.dyn_o )
[18 of 32] Compiling Data.Aeson.Parser.Time ( src/Data/Aeson/Parser/Time.hs, dist/build/Data/Aeson/Parser/Time.o, dist/build/Data/Aeson/Parser/Time.dyn_o )
[19 of 32] Compiling Data.Aeson.Encoding.Builder ( src/Data/Aeson/Encoding/Builder.hs, dist/build/Data/Aeson/Encoding/Builder.o, dist/build/Data/Aeson/Encoding/Builder.dyn_o )
[20 of 32] Compiling Data.Aeson.Encoding.Internal ( src/Data/Aeson/Encoding/Internal.hs, dist/build/Data/Aeson/Encoding/Internal.o, dist/build/Data/Aeson/Encoding/Internal.dyn_o )
[21 of 32] Compiling Data.Aeson.Encoding ( src/Data/Aeson/Encoding.hs, dist/build/Data/Aeson/Encoding.o, dist/build/Data/Aeson/Encoding.dyn_o )
[22 of 32] Compiling Data.Aeson.Decoding.Conversion ( src/Data/Aeson/Decoding/Conversion.hs, dist/build/Data/Aeson/Decoding/Conversion.o, dist/build/Data/Aeson/Decoding/Conversion.dyn_o )
[23 of 32] Compiling Data.Aeson.Types.FromJSON ( src/Data/Aeson/Types/FromJSON.hs, dist/build/Data/Aeson/Types/FromJSON.o, dist/build/Data/Aeson/Types/FromJSON.dyn_o )
[24 of 32] Compiling Data.Aeson.Types.ToJSON ( src/Data/Aeson/Types/ToJSON.hs, dist/build/Data/Aeson/Types/ToJSON.o, dist/build/Data/Aeson/Types/ToJSON.dyn_o )
;1msrc/Data/Aeson/Types/ToJSON.hs:1615:23: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of data constructor ‘Solo’
(imported from Data.Tuple.Solo, but defined in GHC.Tuple):
Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."0m0m
;1m34m |0m0m
;1m34m1615 |0m0m liftToJSON _ t _ (;1m35mSolo0m0m a) = t a
;1m34m |0m0m;1m35m ^^^^0m0m
;1msrc/Data/Aeson/Types/ToJSON.hs:1618:27: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of data constructor ‘Solo’
(imported from Data.Tuple.Solo, but defined in GHC.Tuple):
Deprecated: "The Solo constructor has been renamed to MkSolo to avoid punning."0m0m
;1m34m |0m0m
;1m34m1618 |0m0m liftToEncoding _ t _ (;1m35mSolo0m0m a) = t a
;1m34m |0m0m;1m35m ^^^^0m0m
[25 of 32] Compiling Data.Aeson.Types.Class ( src/Data/Aeson/Types/Class.hs, dist/build/Data/Aeson/Types/Class.o, dist/build/Data/Aeson/Types/Class.dyn_o )
[26 of 32] Compiling Data.Aeson.Types ( src/Data/Aeson/Types.hs, dist/build/Data/Aeson/Types.o, dist/build/Data/Aeson/Types.dyn_o )
[27 of 32] Compiling Data.Aeson.Text ( src/Data/Aeson/Text.hs, dist/build/Data/Aeson/Text.o, dist/build/Data/Aeson/Text.dyn_o )
[28 of 32] Compiling Data.Aeson.Decoding ( src/Data/Aeson/Decoding.hs, dist/build/Data/Aeson/Decoding.o, dist/build/Data/Aeson/Decoding.dyn_o )
[29 of 32] Compiling Data.Aeson ( src/Data/Aeson.hs, dist/build/Data/Aeson.o, dist/build/Data/Aeson.dyn_o )
[30 of 32] Compiling Data.Aeson.RFC8785 ( src/Data/Aeson/RFC8785.hs, dist/build/Data/Aeson/RFC8785.o, dist/build/Data/Aeson/RFC8785.dyn_o )
[31 of 32] Compiling Data.Aeson.QQ.Simple ( src/Data/Aeson/QQ/Simple.hs, dist/build/Data/Aeson/QQ/Simple.o, dist/build/Data/Aeson/QQ/Simple.dyn_o )
[32 of 32] Compiling Data.Aeson.TH ( src/Data/Aeson/TH.hs, dist/build/Data/Aeson/TH.o, dist/build/Data/Aeson/TH.dyn_o )
;1msrc/Data/Aeson/TH.hs:948:7: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type ‘[Q Exp]’ not matched: []0m0m
;1m34m |0m0m
;1m34m948 |0m0m ;1m35mx:xs = [ lookupField argTy0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^...0m0m
;1msrc/Data/Aeson/TH.hs:1064:14: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a pattern binding: Patterns of type ‘[Q Exp]’ not matched: []0m0m
;1m34m |0m0m
;1m34m1064 |0m0m let ;1m35mx:xs = [ dispatchParseJSON jc conName tvMap argTy0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...0m0m
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-54/opt/cabal/store/ghc-9.6.7/aeson-2.2.3.0-eb3bf309fbb77fcc4da133ce840130320166b0e35fb6f68c7b210c183fa9a28c/lib
Configuring library for yaml-0.11.11.2...
Preprocessing library for yaml-0.11.11.2...
Building library for yaml-0.11.11.2...
[ 1 of 10] Compiling Data.Yaml.Internal ( src/Data/Yaml/Internal.hs, dist/build/Data/Yaml/Internal.o, dist/build/Data/Yaml/Internal.dyn_o )
[ 2 of 10] Compiling Data.Yaml.Include ( src/Data/Yaml/Include.hs, dist/build/Data/Yaml/Include.o, dist/build/Data/Yaml/Include.dyn_o )
[ 3 of 10] Compiling Data.Yaml.Builder ( src/Data/Yaml/Builder.hs, dist/build/Data/Yaml/Builder.o, dist/build/Data/Yaml/Builder.dyn_o )
[ 4 of 10] Compiling Data.Yaml ( src/Data/Yaml.hs, dist/build/Data/Yaml.o, dist/build/Data/Yaml.dyn_o )
[ 5 of 10] Compiling Data.Yaml.Config ( src/Data/Yaml/Config.hs, dist/build/Data/Yaml/Config.o, dist/build/Data/Yaml/Config.dyn_o )
[ 6 of 10] Compiling Data.Yaml.Aeson ( src/Data/Yaml/Aeson.hs, dist/build/Data/Yaml/Aeson.o, dist/build/Data/Yaml/Aeson.dyn_o )
[ 7 of 10] Compiling Data.Yaml.Parser ( src/Data/Yaml/Parser.hs, dist/build/Data/Yaml/Parser.o, dist/build/Data/Yaml/Parser.dyn_o )
[ 8 of 10] Compiling Data.Yaml.Pretty ( src/Data/Yaml/Pretty.hs, dist/build/Data/Yaml/Pretty.o, dist/build/Data/Yaml/Pretty.dyn_o )
[ 9 of 10] Compiling Data.Yaml.TH ( src/Data/Yaml/TH.hs, dist/build/Data/Yaml/TH.o, dist/build/Data/Yaml/TH.dyn_o )
[10 of 10] Compiling Paths_yaml ( dist/build/autogen/Paths_yaml.hs, dist/build/Paths_yaml.o, dist/build/Paths_yaml.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-54/opt/cabal/store/ghc-9.6.7/yaml-0.11.11.2-fac5f60a106f83830a498c861ac17fe63cefe5c0df1c46e5dcccc5db7e40e2a6/lib
Configuring library for phino-0.0.0.9...
Preprocessing library for phino-0.0.0.9...
Building library for phino-0.0.0.9...
[ 1 of 15] Compiling Ast ( src/Ast.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Ast.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Ast.dyn_o )
[ 2 of 15] Compiling Logger ( src/Logger.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Logger.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Logger.dyn_o )
[ 3 of 15] Compiling Matcher ( src/Matcher.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Matcher.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Matcher.dyn_o )
[ 4 of 15] Compiling Builder ( src/Builder.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Builder.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Builder.dyn_o )
[ 5 of 15] Compiling Misc ( src/Misc.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Misc.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Misc.dyn_o )
[ 6 of 15] Compiling Parser ( src/Parser.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Parser.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Parser.dyn_o )
[ 7 of 15] Compiling Paths_phino ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/autogen/Paths_phino.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Paths_phino.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Paths_phino.dyn_o )
[ 8 of 15] Compiling Pretty ( src/Pretty.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Pretty.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Pretty.dyn_o )
[ 9 of 15] Compiling Replacer ( src/Replacer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Replacer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Replacer.dyn_o )
[10 of 15] Compiling XMIR ( src/XMIR.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/XMIR.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/XMIR.dyn_o )
[11 of 15] Compiling Printer ( src/Printer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Printer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Printer.dyn_o )
[12 of 15] Compiling Yaml ( src/Yaml.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Yaml.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Yaml.dyn_o )
[13 of 15] Compiling Condition ( src/Condition.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Condition.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Condition.dyn_o )
[14 of 15] Compiling Rewriter ( src/Rewriter.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Rewriter.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/Rewriter.dyn_o )
[15 of 15] Compiling CLI ( src/CLI.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/CLI.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/build/CLI.dyn_o )
Configuring executable 'phino' for phino-0.0.0.9...
Preprocessing executable 'phino' for phino-0.0.0.9...
Building executable 'phino' for phino-0.0.0.9...
[1 of 1] Compiling Main ( app/Main.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/x/phino/build/phino/phino-tmp/Main.o )
[2 of 2] Linking /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/x/phino/build/phino/phino
Build profile: -w ghc-9.6.7 -O1
In order, the following will be built (use -v for more details):
- hspec-discover-2.11.12 (exe:hspec-discover) (requires build)
- quickcheck-io-0.2.0 (lib) (requires build)
- hspec-core-2.11.12 (lib) (requires build)
- hspec-2.11.12 (lib) (requires build)
- phino-0.0.0.9 (test:spec) (first run)
Configuring executable 'hspec-discover' for hspec-discover-2.11.12...
Preprocessing executable 'hspec-discover' for hspec-discover-2.11.12...
Building executable 'hspec-discover' for hspec-discover-2.11.12...
[1 of 2] Compiling Main ( driver/hspec-discover.hs, dist/build/hspec-discover/hspec-discover-tmp/Main.o )
[2 of 2] Compiling Paths_hspec_discover ( dist/build/hspec-discover/autogen/Paths_hspec_discover.hs, dist/build/hspec-discover/hspec-discover-tmp/Paths_hspec_discover.o )
[3 of 3] Linking dist/build/hspec-discover/hspec-discover
Installing executable hspec-discover in /opt/cabal/store/ghc-9.6.7/incoming/new-903/opt/cabal/store/ghc-9.6.7/hspec-discover-2.11.12-e-hspec-discover-422385f6758c02df691cc2a8edcbb005601409f2935561adbfaf1533480b4bf5/bin
Warning: The directory
/opt/cabal/store/ghc-9.6.7/incoming/new-903/opt/cabal/store/ghc-9.6.7/hspec-discover-2.11.12-e-hspec-discover-422385f6758c02df691cc2a8edcbb005601409f2935561adbfaf1533480b4bf5/bin
is not in the system search path.
Configuring library for quickcheck-io-0.2.0...
Preprocessing library for quickcheck-io-0.2.0...
Building library for quickcheck-io-0.2.0...
[1 of 2] Compiling Paths_quickcheck_io ( dist/build/autogen/Paths_quickcheck_io.hs, dist/build/Paths_quickcheck_io.o, dist/build/Paths_quickcheck_io.dyn_o )
[2 of 2] Compiling Test.QuickCheck.IO ( src/Test/QuickCheck/IO.hs, dist/build/Test/QuickCheck/IO.o, dist/build/Test/QuickCheck/IO.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-903/opt/cabal/store/ghc-9.6.7/quickcheck-io-0.2.0-267b2aced704aca9efdd417751ec46e804cf45f7b54be10906047355132463ab/lib
Configuring library for hspec-core-2.11.12...
Preprocessing library for hspec-core-2.11.12...
Building library for hspec-core-2.11.12...
[ 1 of 52] Compiling Control.Concurrent.Async ( vendor/Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[ 2 of 52] Compiling Data.Algorithm.Diff ( vendor/Data/Algorithm/Diff.hs, dist/build/Data/Algorithm/Diff.o, dist/build/Data/Algorithm/Diff.dyn_o )
[ 3 of 52] Compiling Paths_hspec_core ( dist/build/autogen/Paths_hspec_core.hs, dist/build/Paths_hspec_core.o, dist/build/Paths_hspec_core.dyn_o )
[ 4 of 52] Compiling Test.Hspec.Core.Compat ( src/Test/Hspec/Core/Compat.hs, dist/build/Test/Hspec/Core/Compat.o, dist/build/Test/Hspec/Core/Compat.dyn_o )
[ 5 of 52] Compiling Test.Hspec.Core.Clock ( src/Test/Hspec/Core/Clock.hs, dist/build/Test/Hspec/Core/Clock.o, dist/build/Test/Hspec/Core/Clock.dyn_o )
[ 6 of 52] Compiling Test.Hspec.Core.Annotations ( src/Test/Hspec/Core/Annotations.hs, dist/build/Test/Hspec/Core/Annotations.o, dist/build/Test/Hspec/Core/Annotations.dyn_o )
[ 7 of 52] Compiling NonEmpty ( src/NonEmpty.hs, dist/build/NonEmpty.o, dist/build/NonEmpty.dyn_o )
[ 8 of 52] Compiling GetOpt.Declarative.Types ( src/GetOpt/Declarative/Types.hs, dist/build/GetOpt/Declarative/Types.o, dist/build/GetOpt/Declarative/Types.dyn_o )
[ 9 of 52] Compiling GetOpt.Declarative.Environment ( src/GetOpt/Declarative/Environment.hs, dist/build/GetOpt/Declarative/Environment.o, dist/build/GetOpt/Declarative/Environment.dyn_o )
[10 of 52] Compiling Test.Hspec.Core.Example.Location ( src/Test/Hspec/Core/Example/Location.hs, dist/build/Test/Hspec/Core/Example/Location.o, dist/build/Test/Hspec/Core/Example/Location.dyn_o )
[11 of 52] Compiling Test.Hspec.Core.Formatters.Diff ( src/Test/Hspec/Core/Formatters/Diff.hs, dist/build/Test/Hspec/Core/Formatters/Diff.o, dist/build/Test/Hspec/Core/Formatters/Diff.dyn_o )
[12 of 52] Compiling Test.Hspec.Core.Formatters.Pretty.Parser.Parser ( src/Test/Hspec/Core/Formatters/Pretty/Parser/Parser.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser/Parser.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser/Parser.dyn_o )
[13 of 52] Compiling Test.Hspec.Core.Formatters.Pretty.Parser ( src/Test/Hspec/Core/Formatters/Pretty/Parser.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.dyn_o )
[14 of 52] Compiling Test.Hspec.Core.Formatters.Pretty.Unicode ( src/Test/Hspec/Core/Formatters/Pretty/Unicode.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.dyn_o )
[15 of 52] Compiling Test.Hspec.Core.Formatters.Pretty ( src/Test/Hspec/Core/Formatters/Pretty.hs, dist/build/Test/Hspec/Core/Formatters/Pretty.o, dist/build/Test/Hspec/Core/Formatters/Pretty.dyn_o )
[16 of 52] Compiling Test.Hspec.Core.Formatters.V1.Free ( src/Test/Hspec/Core/Formatters/V1/Free.hs, dist/build/Test/Hspec/Core/Formatters/V1/Free.o, dist/build/Test/Hspec/Core/Formatters/V1/Free.dyn_o )
[17 of 52] Compiling Test.Hspec.Core.Runner.JobQueue ( src/Test/Hspec/Core/Runner/JobQueue.hs, dist/build/Test/Hspec/Core/Runner/JobQueue.o, dist/build/Test/Hspec/Core/Runner/JobQueue.dyn_o )
[18 of 52] Compiling Test.Hspec.Core.Timer ( src/Test/Hspec/Core/Timer.hs, dist/build/Test/Hspec/Core/Timer.o, dist/build/Test/Hspec/Core/Timer.dyn_o )
[19 of 52] Compiling Test.Hspec.Core.Util ( src/Test/Hspec/Core/Util.hs, dist/build/Test/Hspec/Core/Util.o, dist/build/Test/Hspec/Core/Util.dyn_o )
[20 of 52] Compiling Test.Hspec.Core.QuickCheck.Util ( src/Test/Hspec/Core/QuickCheck/Util.hs, dist/build/Test/Hspec/Core/QuickCheck/Util.o, dist/build/Test/Hspec/Core/QuickCheck/Util.dyn_o )
[21 of 52] Compiling Test.Hspec.Core.Example ( src/Test/Hspec/Core/Example.hs, dist/build/Test/Hspec/Core/Example.o, dist/build/Test/Hspec/Core/Example.dyn_o )
[22 of 52] Compiling Test.Hspec.Core.Tree ( src/Test/Hspec/Core/Tree.hs, dist/build/Test/Hspec/Core/Tree.o, dist/build/Test/Hspec/Core/Tree.dyn_o )
[23 of 52] Compiling Test.Hspec.Core.Shuffle ( src/Test/Hspec/Core/Shuffle.hs, dist/build/Test/Hspec/Core/Shuffle.o, dist/build/Test/Hspec/Core/Shuffle.dyn_o )
[24 of 52] Compiling Test.Hspec.Core.Format ( src/Test/Hspec/Core/Format.hs, dist/build/Test/Hspec/Core/Format.o, dist/build/Test/Hspec/Core/Format.dyn_o )
[25 of 52] Compiling Test.Hspec.Core.Runner.Result ( src/Test/Hspec/Core/Runner/Result.hs, dist/build/Test/Hspec/Core/Runner/Result.o, dist/build/Test/Hspec/Core/Runner/Result.dyn_o )
[26 of 52] Compiling Test.Hspec.Core.Formatters.V1.Monad ( src/Test/Hspec/Core/Formatters/V1/Monad.hs, dist/build/Test/Hspec/Core/Formatters/V1/Monad.o, dist/build/Test/Hspec/Core/Formatters/V1/Monad.dyn_o )
[27 of 52] Compiling Test.Hspec.Core.Formatters.Internal ( src/Test/Hspec/Core/Formatters/Internal.hs, dist/build/Test/Hspec/Core/Formatters/Internal.o, dist/build/Test/Hspec/Core/Formatters/Internal.dyn_o )
[28 of 52] Compiling Test.Hspec.Core.Formatters.V2 ( src/Test/Hspec/Core/Formatters/V2.hs, dist/build/Test/Hspec/Core/Formatters/V2.o, dist/build/Test/Hspec/Core/Formatters/V2.dyn_o )
[29 of 52] Compiling Test.Hspec.Core.Runner.PrintSlowSpecItems ( src/Test/Hspec/Core/Runner/PrintSlowSpecItems.hs, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.o, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.dyn_o )
[30 of 52] Compiling Test.Hspec.Core.Formatters.V1.Internal ( src/Test/Hspec/Core/Formatters/V1/Internal.hs, dist/build/Test/Hspec/Core/Formatters/V1/Internal.o, dist/build/Test/Hspec/Core/Formatters/V1/Internal.dyn_o )
[31 of 52] Compiling Test.Hspec.Core.Formatters.V1 ( src/Test/Hspec/Core/Formatters/V1.hs, dist/build/Test/Hspec/Core/Formatters/V1.o, dist/build/Test/Hspec/Core/Formatters/V1.dyn_o )
[32 of 52] Compiling Test.Hspec.Core.Formatters ( src/Test/Hspec/Core/Formatters.hs, dist/build/Test/Hspec/Core/Formatters.o, dist/build/Test/Hspec/Core/Formatters.dyn_o )
[33 of 52] Compiling GetOpt.Declarative.Util ( src/GetOpt/Declarative/Util.hs, dist/build/GetOpt/Declarative/Util.o, dist/build/GetOpt/Declarative/Util.dyn_o )
[34 of 52] Compiling GetOpt.Declarative.Interpret ( src/GetOpt/Declarative/Interpret.hs, dist/build/GetOpt/Declarative/Interpret.o, dist/build/GetOpt/Declarative/Interpret.dyn_o )
[35 of 52] Compiling GetOpt.Declarative ( src/GetOpt/Declarative.hs, dist/build/GetOpt/Declarative.o, dist/build/GetOpt/Declarative.dyn_o )
[36 of 52] Compiling Test.Hspec.Core.Config.Definition ( src/Test/Hspec/Core/Config/Definition.hs, dist/build/Test/Hspec/Core/Config/Definition.o, dist/build/Test/Hspec/Core/Config/Definition.dyn_o )
[37 of 52] Compiling Test.Hspec.Core.Spec.Monad ( src/Test/Hspec/Core/Spec/Monad.hs, dist/build/Test/Hspec/Core/Spec/Monad.o, dist/build/Test/Hspec/Core/Spec/Monad.dyn_o )
[38 of 52] Compiling Test.Hspec.Core.QuickCheck ( src/Test/Hspec/Core/QuickCheck.hs, dist/build/Test/Hspec/Core/QuickCheck.o, dist/build/Test/Hspec/Core/QuickCheck.dyn_o )
[39 of 52] Compiling Test.Hspec.Core.Hooks ( src/Test/Hspec/Core/Hooks.hs, dist/build/Test/Hspec/Core/Hooks.o, dist/build/Test/Hspec/Core/Hooks.dyn_o )
[40 of 52] Compiling Test.Hspec.Core.Spec ( src/Test/Hspec/Core/Spec.hs, dist/build/Test/Hspec/Core/Spec.o, dist/build/Test/Hspec/Core/Spec.dyn_o )
[41 of 52] Compiling Test.Hspec.Core.Runner.Eval ( src/Test/Hspec/Core/Runner/Eval.hs, dist/build/Test/Hspec/Core/Runner/Eval.o, dist/build/Test/Hspec/Core/Runner/Eval.dyn_o )
[42 of 52] Compiling Test.Hspec.Core.Extension.Tree ( src/Test/Hspec/Core/Extension/Tree.hs, dist/build/Test/Hspec/Core/Extension/Tree.o, dist/build/Test/Hspec/Core/Extension/Tree.dyn_o )
[43 of 52] Compiling Test.Hspec.Core.Extension.Spec ( src/Test/Hspec/Core/Extension/Spec.hs, dist/build/Test/Hspec/Core/Extension/Spec.o, dist/build/Test/Hspec/Core/Extension/Spec.dyn_o )
[44 of 52] Compiling Test.Hspec.Core.Extension.Item ( src/Test/Hspec/Core/Extension/Item.hs, dist/build/Test/Hspec/Core/Extension/Item.o, dist/build/Test/Hspec/Core/Extension/Item.dyn_o )
[45 of 52] Compiling Test.Hspec.Core.FailureReport ( src/Test/Hspec/Core/FailureReport.hs, dist/build/Test/Hspec/Core/FailureReport.o, dist/build/Test/Hspec/Core/FailureReport.dyn_o )
[46 of 52] Compiling Test.Hspec.Core.Extension.Config.Type ( src/Test/Hspec/Core/Extension/Config/Type.hs, dist/build/Test/Hspec/Core/Extension/Config/Type.o, dist/build/Test/Hspec/Core/Extension/Config/Type.dyn_o )
[47 of 52] Compiling Test.Hspec.Core.Extension.Option ( src/Test/Hspec/Core/Extension/Option.hs, dist/build/Test/Hspec/Core/Extension/Option.o, dist/build/Test/Hspec/Core/Extension/Option.dyn_o )
[48 of 52] Compiling Test.Hspec.Core.Extension.Config ( src/Test/Hspec/Core/Extension/Config.hs, dist/build/Test/Hspec/Core/Extension/Config.o, dist/build/Test/Hspec/Core/Extension/Config.dyn_o )
[49 of 52] Compiling Test.Hspec.Core.Extension ( src/Test/Hspec/Core/Extension.hs, dist/build/Test/Hspec/Core/Extension.o, dist/build/Test/Hspec/Core/Extension.dyn_o )
[50 of 52] Compiling Test.Hspec.Core.Config.Options ( src/Test/Hspec/Core/Config/Options.hs, dist/build/Test/Hspec/Core/Config/Options.o, dist/build/Test/Hspec/Core/Config/Options.dyn_o )
[51 of 52] Compiling Test.Hspec.Core.Config ( src/Test/Hspec/Core/Config.hs, dist/build/Test/Hspec/Core/Config.o, dist/build/Test/Hspec/Core/Config.dyn_o )
[52 of 52] Compiling Test.Hspec.Core.Runner ( src/Test/Hspec/Core/Runner.hs, dist/build/Test/Hspec/Core/Runner.o, dist/build/Test/Hspec/Core/Runner.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-903/opt/cabal/store/ghc-9.6.7/hspec-core-2.11.12-ad50ed62701db7704ef41f955a8990223ebf7d4e4d548bdb5d01c621b30aaf98/lib
Configuring library for hspec-2.11.12...
Preprocessing library for hspec-2.11.12...
Building library for hspec-2.11.12...
[1 of 6] Compiling Paths_hspec ( dist/build/autogen/Paths_hspec.hs, dist/build/Paths_hspec.o, dist/build/Paths_hspec.dyn_o )
[2 of 6] Compiling Test.Hspec.Discover ( src/Test/Hspec/Discover.hs, dist/build/Test/Hspec/Discover.o, dist/build/Test/Hspec/Discover.dyn_o )
[3 of 6] Compiling Test.Hspec.Formatters ( src/Test/Hspec/Formatters.hs, dist/build/Test/Hspec/Formatters.o, dist/build/Test/Hspec/Formatters.dyn_o )
[4 of 6] Compiling Test.Hspec.Runner ( src/Test/Hspec/Runner.hs, dist/build/Test/Hspec/Runner.o, dist/build/Test/Hspec/Runner.dyn_o )
[5 of 6] Compiling Test.Hspec ( src/Test/Hspec.hs, dist/build/Test/Hspec.o, dist/build/Test/Hspec.dyn_o )
[6 of 6] Compiling Test.Hspec.QuickCheck ( src/Test/Hspec/QuickCheck.hs, dist/build/Test/Hspec/QuickCheck.o, dist/build/Test/Hspec/QuickCheck.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-903/opt/cabal/store/ghc-9.6.7/hspec-2.11.12-2d4a4da4e1d63b53169349f7af57b289b3278a1e9539251e92f0aaccb1c9b8ff/lib
Configuring test suite 'spec' for phino-0.0.0.9...
Preprocessing test suite 'spec' for phino-0.0.0.9...
Building test suite 'spec' for phino-0.0.0.9...
[ 1 of 14] Compiling BuilderSpec ( test/BuilderSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/BuilderSpec.o )
[ 2 of 14] Compiling ConditionSpec ( test/ConditionSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/ConditionSpec.o )
[ 3 of 14] Compiling MatcherSpec ( test/MatcherSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/MatcherSpec.o )
[ 4 of 14] Compiling MiscSpec ( test/MiscSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/MiscSpec.o )
[ 5 of 14] Compiling ParserSpec ( test/ParserSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/ParserSpec.o )
[ 6 of 14] Compiling Paths_phino ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/autogen/Paths_phino.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/Paths_phino.o )
[ 7 of 14] Compiling CLISpec ( test/CLISpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/CLISpec.o )
[ 8 of 14] Compiling PrinterSpec ( test/PrinterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/PrinterSpec.o )
[ 9 of 14] Compiling ReplacerSpec ( test/ReplacerSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/ReplacerSpec.o )
[10 of 14] Compiling RewriterSpec ( test/RewriterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/RewriterSpec.o )
[11 of 14] Compiling XMIRSpec ( test/XMIRSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/XMIRSpec.o )
[12 of 14] Compiling YamlSpec ( test/YamlSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/YamlSpec.o )
[13 of 14] Compiling Spec ( test/Spec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/Spec.o )
[14 of 14] Compiling Main ( test/Main.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec-tmp/Main.o )
[15 of 15] Linking /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/build/spec/spec
Running 1 test suites...
Test suite spec: RUNNING...
?25l
Builder
buildExpression
K7l Q.!a!=>=(!a!>>>x)x=>=Q.x.[32m✔0m]
K7l Q.c(!a!->-!e)e=>=(!a!>>>x,x!e!>>>$.y.z)z=>=Q.c(x(->-$.y.z)z[32m✔0m]
K7l [[!a!->-$.x,x!B]]]=>=(!a!>>>y,y!B!>>>[[b[->-?,?L>LFunc]])]=>=[[y[->-$.x,xb ->-?,?L>LFunc]]][32m✔0m]
K7l Q * !t!=>=(!t!>>>[.a,a.b,b(~1~->-$.x)])]=>=Q.a.b(~1~->-$.x)x[32m✔0m]
K7l Q.!a!=>=()(=>=X [32m✔0m]
K7l !e0(!a1a->-!e1,1!a2a=>=!e2)2=>=(!e0e>>>[[]],]!a1a>>>x,x!e1e>>>Q,Q!a2a>>>y,y!e2e>>>$)$=>=[[]](x(->-Q,Qy ->-$)$[32m✔0m]
K7l ⟦!a!↦ ∅,∅!B⟧.!a!=>=(!a!>>>t,t!B!>>>⟦ x ↦ ξ.t.⟧ ) =>=⟦ t ↦ ∅,∅x ↦ ξ.t.⟧.t.[32m✔0m]
buildExpressions
K7l !e!=>=[(!e!>>>Q.x),)(!e!>>>$.y)])=>=[Q.x,x$.y]y[32m✔0m]
K7l !e!=>=[(!e1e>>>Q.x)])=>=X [32m✔0m]
CLI
K7lprintstversiono[32m✔0m]
K7lprintsthelpl[32m✔0m]
K7lprintstdebuguinfofwitht--log-level=DEBUGU[32m✔0m]
rewrites
K7l desugaresewitht--nothingnflagafromofilel[32m✔0m]
K7l desugaresewitht--nothingnflagafromostdini[32m✔0m]
K7l rewritesewithtsinglelrulel[32m✔0m]
K7l normalizesewitht--normalizezflaga[32m✔0m]
K7l failslwithtnegativev--max-deptht[32m✔0m]
K7l failslwithtnonrewritingnoptionsnprovidede[32m✔0m]
K7l normalizesefromostdini[32m✔0m]
K7l rewriteseasaXMIRI[32m✔0m]
Condition
check conditions
K7l not-nf-on-dd.yamlm[32m✔0m]
K7l alpha-simple.yamlm[32m✔0m]
K7l nf-dot-recursive.yamlm[32m✔0m]
K7l stop.yamlm[32m✔0m]
K7l add.yamlm[32m✔0m]
K7l ordinal.yamlm[32m✔0m]
K7l not-nf-on-phi.yamlm[32m✔0m]
K7l nf-simple.yamlm[32m✔0m]
K7l eq-to-rho.yamlm[32m✔0m]
K7l nf-on-dot.yamlm[32m✔0m]
K7l length.yamlm[32m✔0m]
Matcher
matchExpressionDeep: expression => expression => [substitution]
K7l [[!a!->-Q.org.!a]]]=>=[[f[->-[[x[->-Q.org.x]],]t ->-[[y[->-Q.org.y]]]=>=[(!a!>>>x),)(!a!>>>y)])[32m✔0m]
K7l !e!=>=[[x[->-Q]]]=>=[(!e!>>>[[x[->-Q]]]),)(!e!>>>Q)])[32m✔0m]
K7l !e.!a!=>=Q.org.eolangn=>=[(!e!>>>Q.org,g!a!>>>eolang),)(!e!>>>Q,Q!a!>>>org)])[32m✔0m]
K7l ⟦!B1,1!a!↦ ∅,∅!B2⟧.!a!=>=⟦ x ↦ ξ.t,tt ↦ ∅ ⟧.t(ρ(↦ ⟦ x ↦ ξ.t,tt ↦ ∅ ⟧)⟧=>=[(!B1B>>>⟦x⟦↦ ξ.t⟧,⟧!a!>>>t,t!B2B>>>⟦⟧⟦)])[32m✔0m]
matchAttribute: attribute => attribute => substitution
K7l ~1~=>=~1~=>=[()])[32m✔0m]
K7l !a!=>=^ =>=[(!a!>>>^)])[32m✔0m]
K7l !a!=>=@ =>=[(!a!>>>@)])[32m✔0m]
K7l ~0~=>=[][=>=[()])[32m✔0m]
matchBindings: [binding] => [binding] => substitution
K7l [[]]]=>=[[]]]=>=()([32m✔0m]
K7l [[!B]]]=>=T:[[x[->-?,?D>D01-,-L>LFunc]]]=>=(!B!>>>T)T[32m✔0m]
K7l [[D>D00-]]]=>=[[D>D00-,-L>LFunc]]]=>=[][[32m✔0m]
K7l [[y[->-?,?!a!->-?]]]=>=[[y[->-?,?x ->-?]]]=>=(!a!>>>x)x[32m✔0m]
K7l [[!B,Bx ->-?]]]=>=[[x[->-?]]]=>=(!B!>>>[[]])][32m✔0m]
K7l [[!B1,1x ->-?,?!B2]]]=>=[[x[->-?,?y ->-?]]]=>=(!B1B>>>[[]],]!B2B>>>[[y[->-?]])][32m✔0m]
K7l [[!B1,1!x!->-?,?!B2]]]=>=[[y[->-?,?D>D->-00-,-L>LFunc]]]=>=(!x!>>>y,y!B1B>>>[[]],]!B2B>>>[[D>D->-00-,-L>LFunc]])][32m✔0m]
K7l [[!x!->-?,?!y!->-?]]]=>=[[a[->-?,?b ->-?]]]=>=(!x!>>>a,a!y!>>>b)b[32m✔0m]
K7l [[t[->-?,?!B]]]=>=[[t[->-?,?x ->-Q,Qy ->-$]]]=>=(!B!>>>[[x[->-Q,Qy ->-$]])][32m✔0m]
K7l [[!B,Bz ->-Q]]]=>=[[x[->-Q,Qy ->-$,$z ->-Q]]]=>=(!B!>>>[[x[->-Q,Qy ->-$]])][32m✔0m]
K7l [[L>LFunc,cD>D00-]]]=>=[[D>D00-,-L>LFunc]]]=>=[][[32m✔0m]
K7l [[t[->-?,?!B]]]=>=[[x[->-?,?t ->-?]]]=>=[][[32m✔0m]
K7l [[!B,B!a!->-?]]]=>=[[x[->-?,?y ->-?]]]=>=(!a!>>>y,y!B!>>>[[[x ->-? ]]]) [32m✔0m]
K7l [[!B1,1!a!->-?,?!B2]]]=>=[[[x ->-?,?y ->-?,?z ->-? ]]]=>=[(),)(),)()])[32m✔0m]
K7l [[!B1,1!a1a->-?,?!B2,2!a2a->-?,?!B3]]]=>=[[[a ->-?,?b ->-?,?x ->-?,?y ->-?,?z ->-? ]]]=>=[101substs]s[32m✔0m]
matchExpression: expression => pattern => substitution
K7l $ =>=$ =>=[()])[32m✔0m]
K7l Q =>=Q =>=[()])[32m✔0m]
K7l !e!=>=Q =>=[(!e!>>>Q)])[32m✔0m]
K7l !e!=>=Q.org(x(->-$)$=>=[(!e!>>>Q.org(x(->-$))])[32m✔0m]
K7l !e1.x.=>=Q.org.x.=>=[(!e1e>>>Q.org)])[32m✔0m]
K7l !e.org.!a!=>=$.org.x.=>=[(!e!>>>$,$!a!>>>x)])[32m✔0m]
K7l [[!a!->-!e,e!B]].!a!=>=[[x[->-Q,Qy ->-$]].x.=>=[(!a!>>>x,x!e!>>>Q,Q!B!>>>[y[->-$])])[32m✔0m]
K7l Q * !t!=>=Q.orgr=>=[(!t!>>>[.org])])[32m✔0m]
K7l Q * !t!=>=Q.org(x(->-[[]])]=>=[(!t!>>>[.org,g(x(->-[[]])])])[32m✔0m]
K7l Q.!a!* !t!=>=Q.org(x(->-[[]])]=>=[(!a!>>>org,g!t!>>>[(x(->-[[]])])])[32m✔0m]
K7l Q.x(y(->-$ * !t1)1* !t2t=>=Q.x(y(->-$.q).p.=>=[(!t1t>>>[.q],]!t2t>>>[.p])])[32m✔0m]
K7l [[!B1,1!a!↦ !e1,1!B2]](!a!↦ !e2)2=>=⟦ t ↦ ξ.k,kx ↦ ξ.t,tk ↦ ∅ ⟧(x(↦ ξ)ξ=>=[][[32m✔0m]
combine
K7l combineseemptytsubstitutionsn[32m✔0m]
K7l combinesetwowemptytsubststfromolists[32m✔0m]
K7l combineseemptytsubstswithtsinglelonen[32m✔0m]
K7l combinesetwowdifferentnsubsts[32m✔0m]
K7l leavevvalueseinithehsamemsubstst[32m✔0m]
K7l returnsnNothingnifivaluesearerdifferentn[32m✔0m]
K7l clearsralllthehvaluese[32m✔0m]
Misc
with void rho binding
K7l [[x[->-?]]]=>=[[x[->-?,?^ ->-?]]][32m✔0m]
K7l [[^[->-?,?x ->-?]]]=>=[[^[->-?,?x ->-?]]][32m✔0m]
K7l [[^[->-Q.x,xx ->-$.y]]]=>=[[^[->-Q.x,xx ->-$.y]]][32m✔0m]
K7l [[!B]]]=>=[[!B]]][32m✔0m]
K7l [[x[->-?,?!B]]]=>=[[x[->-?,?!B]]][32m✔0m]
K7l [[x[->-?,?!B,By ->-?]]]=>=[[x[->-?,?!B,By ->-?]]][32m✔0m]
K7l [[^[->-?,?!B,By ->-?]]]=>=[[^[->-?,?!B,By ->-?]]][32m✔0m]
K7l [[!a!->-?,?x ->-$.y]]]=>=[[!a!->-Q.x,xx ->-$.y]]][32m✔0m]
K7l [[!a!->-Q.x,xx ->-$.y]]]=>=[[!a!->-Q.x,xx ->-$.y]]][32m✔0m]
Parser
parse program
K7l Q ->-[[]]][32m✔0m]
K7l Q ->-T(x(->-Q)Q[32m✔0m]
K7l Q ->-Q.org.eolangn[32m✔0m]
K7l Q ->-[[x[->-$,$y ->-?]]][32m✔0m]
K7l {[[fooo↦ QQ]]}][32m✔0m]
parse expression
K7l Q.!a![32m✔0m]
K7l [[]](!a1a->-$)$[32m✔0m]
K7l [[]](~0~->-$)(~111->-Q)Q[32m✔0m]
K7l [[]](x(->-$,$y ->-Q)Q[32m✔0m]
K7l [[!B,B!B1]]][32m✔0m]
K7l [[!B2,2!a2a->-$]]][32m✔0m]
K7l !e0e[32m✔0m]
K7l [[x[->-!e]]][32m✔0m]
K7l [[!a!->-!e1]]][32m✔0m]
K7l Q * !t![32m✔0m]
K7l [[]](x(->-$)$* !t1t[32m✔0m]
K7l [[D>D--]]][32m✔0m]
K7l [[D>D1F-]]][32m✔0m]
?7l [[
L> Func,
D> 00-
K] [ [[7h
L> Func,
D> 00-
]] [32m✔0m]
K7l [[D>D1F-2A-00]]][32m✔0m]
K7l [[D>D!b0]]][32m✔0m]
K7l [[L>LFunction]]][32m✔0m]
K7l [[L>L!F3]]][32m✔0m]
K7l [[x()(->-[[]]]]]][32m✔0m]
K7l [[y(^,@,z)z->-[[q[->-Q.a]]]]]][32m✔0m]
K7l !e(x(^,@)@->-[[w[->-!e1]])][32m✔0m]
K7l [[x[->-y.z,za ->-~1,1w ->-^,^u ->-@,@p ->-!a,aq ->-!e]]][32m✔0m]
K7l Q.x(~1,1y,y[[]].z,zQ.y(^,@)))[32m✔0m]
K7l 5.plus(5.q("hello".length)))[32m✔0m]
K7l [[𝐵1,1𝜏0𝜏->-$,$x ->-𝑒]]][32m✔0m]
just parses
K7l [[x[->-$,$y ->-?]]][32m✔0m]
K7l [[x()(->-[[]]]]]][32m✔0m]
K7l [[x(^,^@,@y)y->-[[q[->-QQ]]]]]][32m✔0m]
K7l Q.x(y()(->-[[]])][32m✔0m]
K7l Q.x(y(q)q->-[[w[->-!e]])][32m✔0m]
K7l Q.x(~1(^,@)@->-[[]])][32m✔0m]
K7l Q.x.~1.^.@.!a0a[32m✔0m]
K7l [[x[->-y.z]]][32m✔0m]
K7l [[x[->-~1]]][32m✔0m]
K7l [[x[->-^,^y ->-@,@z ->-!a]]][32m✔0m]
K7l Q.x(a.b.c,cQ.a(b),)[[]])][32m✔0m]
K7l Q.x(~1,1y,y[[]].z,zQ.y(^,@)))[32m✔0m]
K7l [[x[->-5.plus(5),)y ->-"hello","z ->-42.5]]][32m✔0m]
K7l [[w[->-x(~1)]]][32m✔0m]
?7l [[
x -> "Hi",
y -> 42
K] [ [[7h
x -> "Hi",
y -> 42
]] [32m✔0m]
K7l [[x[->--42,2y ->-+34]]][32m✔0m]
K7l ⟦x⟦↦ Φ.org.eolang(z(↦ ξ.f,fx ↦ α0,0φ ↦ ρ,ρt ↦ φ,φfirsts↦ ⟦ λ ⤍ Function_name,eΔ ⤍ 42-2⟧)⟧)[32m✔0m]
K7l [[x[->-1.00e+3,3y ->-2.32e-4]]][32m✔0m]
K7l [[[x ->-"\u0001\u0001"]]][32m✔0m]
prohibits
K7l Q.x()([32m✔0m]
K7l Q * !t1t* !t2t[32m✔0m]
K7l Q(x(->-[[]])][32m✔0m]
K7l $(x(->-[[]])][32m✔0m]
K7l Q.x(x(->-?)?[32m✔0m]
K7l Q.x(L>LFunc)c[32m✔0m]
K7l Q.x(D>D--)-[32m✔0m]
K7l Q.x(~1~->-?)?[32m✔0m]
K7l Q.x(L>L!F)F[32m✔0m]
K7l Q.x(D>D!b)b[32m✔0m]
K7l [[~0~->-Q.x]]][32m✔0m]
K7l [[x(~1)1->-[[]]]]]][32m✔0m]
K7l [[y(!e)e->-[[]]]]]][32m✔0m]
K7l [[z(w)w->-Q.x]]][32m✔0m]
K7l Q.x(y(~1)1->-[[]])][32m✔0m]
K7l Q.x(1,12,2!B)B[32m✔0m]
K7l Q.x(~1~->-Q.y,yx ->-5,5!B1)1[32m✔0m]
K7l Q.x(𝐵1,1𝜏0𝜏->-$,$x ->-𝑒)𝑒[32m✔0m]
parse packs
K7l ascii-with-globala[32m✔0m]
K7l salty-fibob[32m✔0m]
K7l all-the-basicsc[32m✔0m]
K7l simplel[32m✔0m]
K7l ascii-with-bracese[32m✔0m]
K7l primitivev[32m✔0m]
K7l lambda-twicec[32m✔0m]
K7l delta-twicec[32m✔0m]
K7l inline-voidsd[32m✔0m]
K7l sweet-fibob[32m✔0m]
Printer
print program
K7l Q ->-$ [32m✔0m]
K7l Q ->-Q.org.x.[32m✔0m]
K7l Q ->-[[]]][32m✔0m]
K7l Q ->-[[@[->-?]](~1~->-Q.x)x[32m✔0m]
K7l Q ->-!e!* !t![32m✔0m]
K7l Q ->-[[D>D00-,L>LF,^,->-?,!B,@,->-[[y[->-?]]]]][32m✔0m]
print substitution
K7l [()])[32m✔0m]
K7l [(!e!>>>Q.x)])[32m✔0m]
K7l [(!a!>>>x)])[32m✔0m]
Replacer
replaceProgram: program => ([expression], [expression]) => program
K7l Q ->-Q.y.x.=>=([Q.y],][$])]=>=Q ->-$.x.[32m✔0m]
K7l Q ->-[[x[->-[[y[->-$]],]z ->-[[w[->-$]]]]]]=>=([[y[->-$],][w[->-$]],][Q.y,yQ.w])]=>=Q ->-[[x[->-Q.y,yz ->-Q.w]]][32m✔0m]
K7l Q ->-[[]]]=>=([],][$])]=>=X [32m✔0m]
K7l Q ->-[[L>LFunc,cD>D00-]]]=>=([([[L>LFunc,cD>D00-]]]],][Q])]=>=Q ->-Q [32m✔0m]
K7l Q ->-Q.org.eolangn=>=([Q.org.eolang,gQ.org],][$,$$])]=>=$ [32m✔0m]
K7l Q ->-[[[x ->-$.t,tt ->-? ]].t(^(->-[[[x ->-$.t,tt ->-? ]])]=>=([([[[x ->-$.t,tt ->-? ]].t.],][T])]=>=T(^(->-[[[x ->-$.t,tt ->-? ]])][32m✔0m]
Rewriter
rewrite packs
K7l custom/desugares-without-match.yamlm[32m✔0m]
K7l custom/with-alpha-condition.yamlm[32m✔0m]
K7l custom/desugar-fibo.yamlm[32m✔0m]
K7l custom/desugar-strings.yamlm[32m✔0m]
K7l custom/negative-condition.yamlm[32m✔0m]
K7l custom/with-simple-condition.yamlm[32m✔0m]
K7l custom/with-complex-condition.yamlm[32m✔0m]
K7l custom/with-eq-condition.yamlm[32m✔0m]
K7l custom/desugares.yamlm[32m✔0m]
K7l normalize/e-cpy.yamlm[32m✔0m]
K7l normalize/e-np.yamlm[32m✔0m]
K7l normalize/e-twi.yamlm[32m✔0m]
K7l normalize/e-nt.yamlm[32m✔0m]
K7l normalize/e-nr.yamlm[32m✔0m]
K7l normalize/e-xxi.yamlm[32m✔0m]
K7l normalize/e-nk.yamlm[32m✔0m]
K7l normalize/e-phi.yamlm[32m✔0m]
K7l normalize/e-rep.yamlm[32m✔0m]
K7l normalize/e-nf.yamlm[32m✔0m]
K7l normalize/e-lam.yamlm[32m✔0m]
K7l normalize/e-rho.yamlm[32m✔0m]
K7l normalize/e-fnk.yamlm[32m✔0m]
K7l normalize/e-rha.yamlm[32m✔0m]
K7l normalize/e-rhi.yamlm[32m✔0m]
K7l normalize/e-alp.yamlm[32m✔0m]
K7l normalize/e-app.yamlm[32m✔0m]
K7l normalize/e-ald.yamlm[32m✔0m]
K7l normalize/e-int.yamlm[32m✔0m]
K7l basic/copy-paper-e1.yamlm[32m✔0m]
K7l basic/dot-paper-e5-2.yamlm[32m✔0m]
K7l basic/alpha-simple.yamlm[32m✔0m]
K7l basic/null-from-parer.yamlm[32m✔0m]
K7l basic/copy-with-tail.yamlm[32m✔0m]
K7l basic/dot-paper-e3-1.yamlm[32m✔0m]
K7l basic/over-alone.yamlm[32m✔0m]
K7l basic/over-from-paper.yamlm[32m✔0m]
K7l basic/dot-paper-e3-2.yamlm[32m✔0m]
K7l basic/miss-from-paper.yamlm[32m✔0m]
K7l basic/stop-from-paper.yamlm[32m✔0m]
K7l basic/over-without-over.yamlm[32m✔0m]
K7l basic/alpha-first.yamlm[32m✔0m]
K7l basic/dc-from-paper.yamlm[32m✔0m]
K7l basic/dd.yamlm[32m✔0m]
K7l basic/phi-from-paper.yamlm[32m✔0m]
K7l basic/over-with-rho.yamlm[32m✔0m]
K7l basic/dot-paper-e5-1.yamlm[32m✔0m]
K7l basic/stop-at-lambda.yamlm[32m✔0m]
K7l basic/alpha-stops-at-idx.yamlm[32m✔0m]
K7l basic/miss-on-empty.yamlm[32m✔0m]
K7l basic/copy-simple.yamlm[32m✔0m]
K7l basic/copy-paper-e4-dispatch.yamlm[32m✔0m]
K7l basic/alpha-second.yamlm[32m✔0m]
K7l basic/dot-paper-e4-2.yamlm[32m✔0m]
K7l basic/dot-xi.yamlm[32m✔0m]
K7l basic/dot-paper-e4-1.yamlm[32m✔0m]
K7l basic/over-in-front.yamlm[32m✔0m]
K7l basic/stay.yamlm[32m✔0m]
K7l basic/dot-with-dd.yamlm[32m✔0m]
K7l basic/dc-in-subformation.yamlm[32m✔0m]
K7l basic/over-in-back.yamlm[32m✔0m]
K7l basic/over-long-binding.yamlm[32m✔0m]
K7l basic/alpha-fourth.yamlm[32m✔0m]
K7l basic/alpha-stops-at-length.yamlm[32m✔0m]
K7l basic/over-inside.yamlm[32m✔0m]
K7l basic/dot-recursive.yamlm[32m✔0m]
K7l basic/stop-at-phi.yamlm[32m✔0m]
K7l basic/dot-paper-e2.yamlm[32m✔0m]
XMIR
K7lprintstvalidixmiri[33m‐0m]
33m # PENDING: No reason given0m
Yaml
parses yaml rule
K7l simple.yamlm[32m✔0m]
K7l special-attrs-in-condition.yamlm[32m✔0m]
K7l when.yamlm[32m✔0m]
Finished in 0.1822 seconds
33m245 examples, 0 failures, 1 pending0m
?25hTest suite spec: PASS
Test suite logged to:
/home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.9/t/spec/test/phino-0.0.0.9-spec.log
1 of 1 test suites (1 of 1 test cases) passed.
[__rultor 31d906c] set version to 0.0.9
1 file changed, 1 insertion(+), 1 deletion(-)
Wrote tarball sdist to /home/r/repo/dist-newstyle/sdist/phino-0.0.0.9.tar.gz
Uploading dist-newstyle/sdist/phino-0.0.0.9.tar.gz...
Package successfully published. You can now view it at
'https://hackage.haskell.org/package/phino-0.0.0.9'.
Warnings:
- [missing-upper-bounds] On library, these packages miss upper bounds:
- - containers
- - megaparsec
- - text
- - aeson
- - yaml
- - directory
- - filepath
- - scientific
- - binary-ieee754
- - bytestring
- - utf8-string
- - prettyprinter
- - optparse-applicative
- - vector
- - random
- Please add them. There is more information at https://pvp.haskell.org/
+ mv /home/r/repo .
+ '[' -n '' ']'
++ whoami
+ sudo chown -R ubuntu repo
+ cd repo
+ git checkout __rultor
Already on '__rultor'
+ git tag 0.0.9 -m '0.0.9: tagged by rultor.com'
+ git reset --hard
HEAD is now at 31d906c set version to 0.0.9
+ git clean -fd
+ git checkout master
Switched to branch 'master'
Your branch is up to date with 'origin/master'.
+ git branch -D __rultor
Deleted branch __rultor (was 31d906c).
+ git push --all origin
Everything up-to-date
+ git push --tags origin
To github.com:objectionary/phino.git
* [new tag] 0.0.9 -> 0.0.9
container c138dd722505641307e49550f491efc268a66455b651eaae7be47cd6a81be12b is dead
Mon Jun 23 15:06:44 UTC 2025
This build log was produced by
rultor.com
for
objectionary/phino#126