rultor.com

This build log was produced by rultor.com for objectionary/phino#269
++ dirname ./run.sh
+ cd .
+ echo 1298
+ echo '2.0-SNAPSHOT BUILD'
2.0-SNAPSHOT BUILD
+ date
Sun Aug 10 18:50:16 UTC 2025
+ uptime
 18:50:16 up 1 min,  0 users,  load average: 1.65, 0.52, 0.18
+ 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.37
+ vars=('--env=head=git@github.com:objectionary/phino.git' '--env=tag=0.0.37' '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.37'\''\'\'''\'''\'' '\'';'\'' '\''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.37'\''' ';' '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_269
+ as_root=true
+ set -e -o pipefail
+ hostname
ip-172-31-20-229
+ pwd
/tmp/rultor-Akbe
+ 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 --recurse-submodules 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.37'\''' ';' '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.37 ']'
+ [[ 0.0.37 =~ ^[a-zA-Z0-9\.\-]+$ ]]
+ echo 'tag name is valid: "0.0.37"'
tag name is valid: "0.0.37"
+ cd repo
++ git tag -l 0.0.37
+ '[' -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.19
++ bc
++ echo 0.19 '>' 30
+ '[' 0 -eq 1 ']'
+ echo 'load average is 0.19, low enough to run a new Docker container'
load average is 0.19, 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
632ef5283d0f: Pulling fs layer
e4f20ba22216: Pulling fs layer
f55b85b7946d: Pulling fs layer
800236a2d072: Pulling fs layer
219e9b734022: Pulling fs layer
287f95a40642: Pulling fs layer
b92bba90e5a4: Pulling fs layer
606eb7609f61: Pulling fs layer
ba046158ee3f: Pulling fs layer
1756e0ea1588: Pulling fs layer
c9a4aba27067: Pulling fs layer
23e2069deae0: Pulling fs layer
4f4fb700ef54: Pulling fs layer
0cad4cdc12a5: Pulling fs layer
e808cc405e7c: Pulling fs layer
800236a2d072: Waiting
219e9b734022: Waiting
287f95a40642: Waiting
b92bba90e5a4: Waiting
606eb7609f61: Waiting
ba046158ee3f: Waiting
1756e0ea1588: Waiting
c9a4aba27067: Waiting
23e2069deae0: Waiting
4f4fb700ef54: Waiting
0cad4cdc12a5: Waiting
e808cc405e7c: Waiting
f55b85b7946d: Verifying Checksum
f55b85b7946d: Download complete
800236a2d072: Verifying Checksum
800236a2d072: Download complete
632ef5283d0f: Verifying Checksum
632ef5283d0f: Download complete
e4f20ba22216: Verifying Checksum
e4f20ba22216: Download complete
287f95a40642: Verifying Checksum
287f95a40642: Download complete
b92bba90e5a4: Verifying Checksum
b92bba90e5a4: Download complete
606eb7609f61: Verifying Checksum
606eb7609f61: Download complete
ba046158ee3f: Verifying Checksum
ba046158ee3f: Download complete
c9a4aba27067: Verifying Checksum
c9a4aba27067: Download complete
23e2069deae0: Verifying Checksum
23e2069deae0: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
1756e0ea1588: Verifying Checksum
1756e0ea1588: Download complete
e808cc405e7c: Verifying Checksum
e808cc405e7c: Download complete
219e9b734022: Verifying Checksum
219e9b734022: Download complete
632ef5283d0f: Pull complete
0cad4cdc12a5: Verifying Checksum
0cad4cdc12a5: Download complete
e4f20ba22216: Pull complete
f55b85b7946d: Pull complete
800236a2d072: Pull complete
219e9b734022: Pull complete
287f95a40642: Pull complete
b92bba90e5a4: Pull complete
606eb7609f61: Pull complete
ba046158ee3f: Pull complete
1756e0ea1588: Pull complete
c9a4aba27067: Pull complete
23e2069deae0: Pull complete
4f4fb700ef54: Pull complete
0cad4cdc12a5: Pull complete
e808cc405e7c: Pull complete
Digest: sha256:6d32986aee819d0c4aa35192441ce03714011c2c8fd5a47dbc78b3899652b315
Status: Downloaded newer image for maxonfjvipon/rultor-image-hs:master
docker.io/maxonfjvipon/rultor-image-hs:master
+ grep --quiet '\sobjectionary_phino_269\s*$'
+ docker ps --filter=status=exited
+ ls -al .
total 48
drwx------  3 ubuntu ubuntu 4096 Aug 10 18:50 .
drwxrwxrwt 12 root   root   4096 Aug 10 18:50 ..
-rwxrwxr-x  1 ubuntu ubuntu  658 Aug 10 18:52 end.sh
-rwxrwxr-x  1 ubuntu ubuntu  162 Aug 10 18:50 entry.sh
-rw-rw-r--  1 ubuntu ubuntu   65 Aug 10 18:50 hackage-auth
-rw-rw-r--  1 ubuntu ubuntu    5 Aug 10 18:50 pid
drwxrwxr-x 11 ubuntu ubuntu 4096 Aug 10 18:50 repo
-rwxrwxr-x  1 ubuntu ubuntu 6699 Aug 10 18:50 run.sh
-rw-rw-r--  1 ubuntu ubuntu  711 Aug 10 18:50 script.sh
-rw-rw-r--  1 ubuntu ubuntu 6678 Aug 10 18:53 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-Akbe:/main --env=head=git@github.com:objectionary/phino.git --env=tag=0.0.37 '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.37'\''\'\'''\'''\'' '\'';'\'' '\''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 &quot;set version to ${tag}&quot;'\'' '\'';'\'' '\''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-Akbe/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_phino_269 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-08-10T18:45:48Z.
To revert to previous state run:
    cabal v2-update 'hackage.haskell.org,2025-08-10T17:10:17Z'
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/assets/contextualize.jpg is a binary file (33193 bytes)
/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/hlint.yml ...
Reading .github/workflows/markdown-lint.yml ...
Reading .github/workflows/pdd.yml ...
Reading .github/workflows/release-binary.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 .hlint.yaml ...
Reading .pdd ...
Reading .rultor.yml ...
Reading LICENSES/MIT.txt ...
Reading Makefile ...
Reading README.md ...
Reading REUSE.toml ...
Reading app/Main.hs ...
Reading phino.cabal ...
Reading resources/alpha.yaml ...
Reading 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 ...
Puzzle 277-7bc79ef6 30/DEV at src/Builder.hs
Reading src/CLI.hs ...
Reading src/Dataize.hs ...
Reading src/Functions.hs ...
Reading src/Logger.hs ...
Reading src/Matcher.hs ...
Reading src/Misc.hs ...
Reading src/Parser.hs ...
Reading src/Pretty.hs ...
Reading src/Random.hs ...
Reading src/Regexp.hs ...
Reading src/Replacer.hs ...
Reading src/Rewriter.hs ...
Puzzle 169-9998264a 30/DEV at src/Rewriter.hs
Reading src/Rule.hs ...
Reading src/Term.hs ...
Reading src/XMIR.hs ...
Puzzle 116-8b74c7b7 30/DEV at src/XMIR.hs
Puzzle 278-c44ecf8a 30/DEV at src/XMIR.hs
Puzzle 197-df40c0c2 30/DEV at src/XMIR.hs
Reading src/Yaml.hs ...
Reading stack.yaml ...
Reading stack.yaml.lock ...
Reading test/BuilderSpec.hs ...
Reading test/CLISpec.hs ...
Reading test/DataizeSpec.hs ...
Reading test/Main.hs ...
Reading test/MatcherSpec.hs ...
Reading test/MiscSpec.hs ...
Reading test/ParserSpec.hs ...
Reading test/PrettySpec.hs ...
Reading test/README.md ...
Reading test/ReplacerSpec.hs ...
Reading test/RewriterSpec.hs ...
Reading test/RuleSpec.hs ...
Reading test/Spec.hs ...
Reading test/XMIRSpec.hs ...
Puzzle 126-ebbf8acd 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/cli/simple.yaml ...
Reading test-resources/condition-packs/alpha-simple.yaml ...
Reading test-resources/condition-packs/eq-to-rho.yaml ...
Reading test-resources/condition-packs/eq-with-attributes.yaml ...
Reading test-resources/condition-packs/eq-with-expressions.yaml ...
Reading test-resources/condition-packs/eq-with-formations.yaml ...
Reading test-resources/condition-packs/eq-with-two-meta-attributes.yaml ...
Reading test-resources/condition-packs/eq-with-two-meta-expressions.yaml ...
Reading test-resources/condition-packs/length.yaml ...
Reading test-resources/condition-packs/matches-with-line-bounds.yaml ...
Reading test-resources/condition-packs/matches.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/or.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/parser-packs/virtual-map.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/attribute-from-string.yaml ...
Reading test-resources/rewriter-packs/custom/concat-from-expression.yaml ...
Reading test-resources/rewriter-packs/custom/dataize-and-concat.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/does-not-fail-on-ambiguous.yaml ...
Reading test-resources/rewriter-packs/custom/java-boxed-method.yaml ...
Reading test-resources/rewriter-packs/custom/negative-condition.yaml ...
Reading test-resources/rewriter-packs/custom/nested-part-of.yaml ...
Reading test-resources/rewriter-packs/custom/number.yaml ...
Reading test-resources/rewriter-packs/custom/part-of-after.yaml ...
Reading test-resources/rewriter-packs/custom/part-of.yaml ...
Reading test-resources/rewriter-packs/custom/replaces-all-in-inner-cycle.yaml ...
Reading test-resources/rewriter-packs/custom/sed-with-many-arguments.yaml ...
Reading test-resources/rewriter-packs/custom/sed-with-slashes.yaml ...
Reading test-resources/rewriter-packs/custom/sed.yaml ...
Reading test-resources/rewriter-packs/custom/size-of-bindings.yaml ...
Reading test-resources/rewriter-packs/custom/string.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-different-metas.yaml ...
Reading test-resources/rewriter-packs/custom/with-eq-condition.yaml ...
Reading test-resources/rewriter-packs/custom/with-meta-names.yaml ...
Reading test-resources/rewriter-packs/custom/with-program-scope.yaml ...
Reading test-resources/rewriter-packs/custom/with-scope.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-parsing-packs/application-with-dispatch.yaml ...
Reading test-resources/xmir-parsing-packs/application.yaml ...
Reading test-resources/xmir-parsing-packs/atoms.yaml ...
Reading test-resources/xmir-parsing-packs/base-dispatch.yaml ...
Reading test-resources/xmir-parsing-packs/formation-dispatch.yaml ...
Reading test-resources/xmir-parsing-packs/formation.yaml ...
Reading test-resources/xmir-parsing-packs/reverse-dispatch.yaml ...
Reading test-resources/xmir-parsing-packs/simple.yaml ...
Reading test-resources/xmir-parsing-packs/with-package.yaml ...
Reading test-resources/xmir-parsing-packs/with-phi.yaml ...
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
- transformers
- regex-pcre-builtin
- array
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):
 - phino-0.0.0.37 (lib) (first run)
 - phino-0.0.0.37 (exe:phino) (first run)
Configuring library for phino-0.0.0.37...
Preprocessing library for phino-0.0.0.37...
Building library for phino-0.0.0.37...
[ 1 of 19] Compiling Ast              ( src/Ast.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Ast.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Ast.dyn_o )
[ 2 of 19] Compiling Logger           ( src/Logger.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Logger.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Logger.dyn_o )
[ 3 of 19] Compiling Matcher          ( src/Matcher.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Matcher.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Matcher.dyn_o )
[ 4 of 19] Compiling Misc             ( src/Misc.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Misc.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Misc.dyn_o )
[ 5 of 19] Compiling Parser           ( src/Parser.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Parser.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Parser.dyn_o )
[ 6 of 19] Compiling Paths_phino      ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/autogen/Paths_phino.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Paths_phino.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Paths_phino.dyn_o )
[ 7 of 19] Compiling Random           ( src/Random.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Random.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Random.dyn_o )
[ 8 of 19] Compiling Regexp           ( src/Regexp.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Regexp.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Regexp.dyn_o )
[ 9 of 19] Compiling Yaml             ( src/Yaml.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Yaml.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Yaml.dyn_o )
[10 of 19] Compiling Term             ( src/Term.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Term.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Term.dyn_o )
[11 of 19] Compiling Pretty           ( src/Pretty.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Pretty.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Pretty.dyn_o )
[12 of 19] Compiling XMIR             ( src/XMIR.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/XMIR.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/XMIR.dyn_o )
[13 of 19] Compiling Replacer         ( src/Replacer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Replacer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Replacer.dyn_o )
[14 of 19] Compiling Builder          ( src/Builder.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Builder.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Builder.dyn_o )
[15 of 19] Compiling Rule             ( src/Rule.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Rule.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Rule.dyn_o )
[16 of 19] Compiling Rewriter         ( src/Rewriter.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Rewriter.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Rewriter.dyn_o )
[17 of 19] Compiling Functions        ( src/Functions.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Functions.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Functions.dyn_o )
[18 of 19] Compiling Dataize          ( src/Dataize.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Dataize.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/Dataize.dyn_o )
[19 of 19] Compiling CLI              ( src/CLI.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/CLI.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/build/CLI.dyn_o )
Configuring executable 'phino' for phino-0.0.0.37...
Preprocessing executable 'phino' for phino-0.0.0.37...
Building executable 'phino' for phino-0.0.0.37...
[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.37/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.37/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)
 - phino-0.0.0.37 (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-360/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-360/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 test suite 'spec' for phino-0.0.0.37...
Preprocessing test suite 'spec' for phino-0.0.0.37...
Building test suite 'spec' for phino-0.0.0.37...
[ 1 of 15] Compiling BuilderSpec      ( test/BuilderSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/BuilderSpec.o )
[ 2 of 15] Compiling DataizeSpec      ( test/DataizeSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/DataizeSpec.o )
[ 3 of 15] Compiling MatcherSpec      ( test/MatcherSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/MatcherSpec.o )
[ 4 of 15] Compiling MiscSpec         ( test/MiscSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/MiscSpec.o )
[ 5 of 15] Compiling ParserSpec       ( test/ParserSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/ParserSpec.o )
[ 6 of 15] Compiling Paths_phino      ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/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.37/t/spec/build/spec/spec-tmp/Paths_phino.o )
[ 7 of 15] Compiling CLISpec          ( test/CLISpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/CLISpec.o )
[ 8 of 15] Compiling PrettySpec       ( test/PrettySpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/PrettySpec.o )
[ 9 of 15] Compiling ReplacerSpec     ( test/ReplacerSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/ReplacerSpec.o )
[10 of 15] Compiling RewriterSpec     ( test/RewriterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/RewriterSpec.o )
[11 of 15] Compiling RuleSpec         ( test/RuleSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/RuleSpec.o )
[12 of 15] Compiling XMIRSpec         ( test/XMIRSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/XMIRSpec.o )
[13 of 15] Compiling YamlSpec         ( test/YamlSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/YamlSpec.o )
[14 of 15] Compiling Spec             ( test/Spec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/Spec.o )
[15 of 15] Compiling Main             ( test/Main.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/t/spec/build/spec/spec-tmp/Main.o )
[16 of 16] Linking /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.37/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  rewritesewitht--sweeteflaga[32m✔0m]
K7l  rewriteseasaXMIRI[32m✔0m]
K7l  rewritesewithtXMIRIasainputu[32m✔0m]
K7l  rewriteseasaXMIRIwithtomit-listingnflaga[32m✔0m]
K7l  doesenotofailionoexactlyl1 rewritingn[32m✔0m]
K7l  failslwitht--nothingnandn--musts[32m✔0m]
K7l  failslwitht--normalizezandn--musts[32m✔0m]
  dataize
K7l  dataizesesimplelprograma[32m✔0m]
K7l  failsltotdataizez[32m✔0m]
Dataize
  morph
K7l  [[[D>D00-0]]]=>=[[[D>D00-0]]][32m✔0m]
K7l  T =>=T [32m✔0m]
K7l  $ =>=X [32m✔0m]
K7l  Q =>=X [32m✔0m]
K7l  Q.x.(Q(->-[[[x ->-[[]]]]])]=>=[[]]][32m✔0m]
  dataize
K7l  [[[D&gt;D00-0]]]=&gt;=00-0[32m✔0m]
K7l  T =&gt;=X [32m✔0m]
K7l  [[[@ -&gt;-[[[D&gt;D00-]]]]]]=&gt;=00-0[32m✔0m]
K7l  [[[x -&gt;-[[[D&gt;D01-1]]]]].x.=&gt;=01-1[32m✔0m]
K7l  [[[@ -&gt;-[[[x -&gt;-[[[D&gt;D01-,-y -&gt;-? ]](y(-&gt;-[[[]])]]].x.]]]=&gt;=01-1[32m✔0m]
K7l5.plus(5)5[32m✔0m]
K7lFahrenheiti[32m✔0m]
K7lFactoriala[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]
K7l  somebodyd[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.eolang(x(->-[[]])]=>=[(!a!>>>org,g!t!>>>[ .eolang,g( 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(↦ ξ)ξ=>=[(!B1B>>>[[[t ->-$.k.]],]!a!>>>x,x!B2B>>>[[[k ->-? ]],]!e1e>>>$.t,t!e2e>>>$)])[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!d0]]][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]
K7l  [[[x ->-"\uD835\uDF11"]]][32m✔0m]
K7l  [[[x ↦ "Thisipluginihasa\x01\x01"1]]][32m✔0m]
K7l  [[[!afooo->-!e1Some,e!a-BARA->-!e_123someW,W!Bhi1232]]][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]
K7l  [[[x ->-"\uD800"]]][32m✔0m]
K7l  [[[x ->-"\uDFFF"]]][32m✔0m]
K7l  [[[x -&gt;-&quot;\uD835\u0041&quot;]]][32m✔0m]
  parse packs
K7l  virtual-mapa[32m✔0m]
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]
Pretty
  saltify program
K7l  Q -&gt;-$ [32m✔0m]
K7l  Q -&gt;-Q.org.x.[32m✔0m]
K7l  Q -&gt;-[[]]][32m✔0m]
K7l  Q -&gt;-[[@[-&gt;-?]](~1~-&gt;-Q.x)x[32m✔0m]
K7l  Q -&gt;-!e!* !t![32m✔0m]
K7l  Q -&gt;-[[D&gt;D00-,L&gt;LF,^,-&gt;-?,!B,@,-&gt;-[[y[-&gt;-?]]]]][32m✔0m]
  sweetify program
K7l  Q -&gt;-$ [32m✔0m]
K7l  Q -&gt;-Q.org.eolang(x(-&gt;-Q.x)x[32m✔0m]
K7l  Q -&gt;-[[[x -&gt;-[[[y -&gt;-?,?z -&gt;-? ]]]]]][32m✔0m]
K7l  Q -&gt;-5 [32m✔0m]
K7l  Q -&gt;-[[[x -&gt;-&quot;hello&quot;]]][32m✔0m]
K7l  Q -&gt;-[[[x -&gt;-&quot;hello&quot;,&quot;y -&gt;-5]]][32m✔0m]
K7l  Q -&gt;-Q.x(x(-&gt;-1)(y(-&gt;-2)(z(-&gt;-3)3[32m✔0m]
K7l  Q -&gt;-Q.x(~0~-&gt;-Q.y)y[32m✔0m]
K7l  Q -&gt;-Q.x(~0~-&gt;-1)(~1~-&gt;-2)(~2~-&gt;-3)3[32m✔0m]
K7l  Q -&gt;-Q.x(~0~-&gt;-1)(~2~-&gt;-2)(~1~-&gt;-3)3[32m✔0m]
K7l  Q -&gt;-&Phi;.jeo.opcode.ldc(18,8&quot;Readingn\&quot;&quot;)&quot;[32m✔0m]
K7l  Q -&gt;-[[[k -&gt;-[[]]]]]][32m✔0m]
  prettify substitution
K7l  [()])[32m✔0m]
K7l  [(!e!&gt;&gt;&gt;Q.x)])[32m✔0m]
K7l  [(!a!&gt;&gt;&gt;x)])[32m✔0m]
Replacer
  replaceProgram: program =&gt; ([expression], [expression]) =&gt; program
K7l  Q -&gt;-Q.y.x.=&gt;=([Q.y],][$])]=&gt;=Q -&gt;-$.x.[32m✔0m]
K7l  Q -&gt;-[[x[-&gt;-[[y[-&gt;-$]],]z -&gt;-[[w[-&gt;-$]]]]]]=&gt;=([[y[-&gt;-$],][w[-&gt;-$]],][Q.y,yQ.w])]=&gt;=Q -&gt;-[[x[-&gt;-Q.y,yz -&gt;-Q.w]]][32m✔0m]
K7l  Q -&gt;-[[]]]=&gt;=([],][$])]=&gt;=X [32m✔0m]
K7l  Q -&gt;-[[L&gt;LFunc,cD&gt;D00-]]]=&gt;=([([[L&gt;LFunc,cD&gt;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/sed-with-slashes.yamlm[32m✔0m]
K7l  custom/java-boxed-method.yamlm[32m✔0m]
K7l  custom/replaces-all-in-inner-cycle.yamlm[32m✔0m]
K7l  custom/attribute-from-string.yamlm[32m✔0m]
K7l  custom/string.yamlm[32m✔0m]
K7l  custom/with-alpha-condition.yamlm[32m✔0m]
K7l  custom/does-not-fail-on-ambiguous.yamlm[32m✔0m]
K7l  custom/desugar-fibo.yamlm[32m✔0m]
K7l  custom/with-program-scope.yamlm[32m✔0m]
K7l  custom/with-different-metas.yamlm[32m✔0m]
K7l  custom/desugar-strings.yamlm[32m✔0m]
K7l  custom/concat-from-expression.yamlm[32m✔0m]
K7l  custom/with-scope.yamlm[32m✔0m]
K7l  custom/with-meta-names.yamlm[32m✔0m]
K7l  custom/sed-with-many-arguments.yamlm[32m✔0m]
K7l  custom/part-of.yamlm[32m✔0m]
K7l  custom/part-of-after.yamlm[32m✔0m]
K7l  custom/negative-condition.yamlm[32m✔0m]
K7l  custom/with-simple-condition.yamlm[32m✔0m]
K7l  custom/sed.yamlm[32m✔0m]
K7l  custom/with-complex-condition.yamlm[32m✔0m]
K7l  custom/dataize-and-concat.yamlm[32m✔0m]
K7l  custom/size-of-bindings.yamlm[32m✔0m]
K7l  custom/with-eq-condition.yamlm[32m✔0m]
K7l  custom/desugares.yamlm[32m✔0m]
K7l  custom/nested-part-of.yamlm[32m✔0m]
K7l  custom/number.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]
Rule
  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  ordinal.yamlm[32m✔0m]
K7l  not-nf-on-phi.yamlm[32m✔0m]
K7l  nf-simple.yamlm[32m✔0m]
K7l  eq-with-two-meta-attributes.yamlm[32m✔0m]
K7l  matches.yamlm[32m✔0m]
K7l  eq-with-formations.yamlm[32m✔0m]
K7l  eq-to-rho.yamlm[32m✔0m]
K7l  or.yamlm[32m✔0m]
K7l  nf-on-dot.yamlm[32m✔0m]
K7l  eq-with-attributes.yamlm[32m✔0m]
K7l  eq-with-expressions.yamlm[32m✔0m]
K7l  matches-with-line-bounds.yamlm[32m✔0m]
K7l  length.yamlm[32m✔0m]
K7l  eq-with-two-meta-expressions.yamlm[32m✔0m]
XMIR
  XMIR parsing packs
K7l  formation-dispatch.yamlm[32m✔0m]
K7l  with-phi.yamlm[32m✔0m]
K7l  simple.yamlm[32m✔0m]
K7l  with-package.yamlm[32m✔0m]
K7l  base-dispatch.yamlm[32m✔0m]
K7l  application-with-dispatch.yamlm[32m✔0m]
K7l  formation.yamlm[32m✔0m]
K7l  application.yamlm[32m✔0m]
K7l  reverse-dispatch.yamlm[32m✔0m]
K7l  atoms.yamlm[32m✔0m]
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.5203 seconds
32m321 examples, 0 failures0m
?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.37/t/spec/test/phino-0.0.0.37-spec.log
1 of 1 test suites (1 of 1 test cases) passed.
[__rultor 5c7965f] set version to 0.0.37
 1 file changed, 1 insertion(+), 1 deletion(-)
Wrote tarball sdist to /home/r/repo/dist-newstyle/sdist/phino-0.0.0.37.tar.gz
Uploading dist-newstyle/sdist/phino-0.0.0.37.tar.gz...
Package successfully published. You can now view it at
'https://hackage.haskell.org/package/phino-0.0.0.37'.
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
- - transformers
- - regex-pcre-builtin
- - array
- 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.37 -m '0.0.37: tagged by rultor.com'
+ git reset --hard
HEAD is now at 5c7965f set version to 0.0.37
+ 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 5c7965f).
+ git push --all origin
Everything up-to-date
+ git push --tags origin
To github.com:objectionary/phino.git
 * [new tag]         0.0.37 -&gt; 0.0.37
container 5210421e783819cd67e2f525ee13f1f9f75ed5d4b0524d9942d04a3119f37f0c is dead
Sun Aug 10 18:54:47 UTC 2025