++ dirname ./run.sh
+ cd .
+ echo 1269
+ echo '2.0-SNAPSHOT BUILD'
2.0-SNAPSHOT BUILD
+ date
Sun Jun 15 06:45:10 UTC 2025
+ uptime
06:45:10 up 1 min, 0 users, load average: 0.66, 0.28, 0.10
+ 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.4
+ vars=('--env=head=git@github.com:objectionary/phino.git' '--env=tag=0.0.4' '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.4'\''\'\'''\'''\'' '\'';'\'' '\''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.4'\''' ';' '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_31
+ as_root=true
+ set -e -o pipefail
+ hostname
ip-172-31-25-210
+ pwd
/tmp/rultor-rV6F
+ 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.4'\''' ';' '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.4 ']'
+ [[ 0.0.4 =~ ^[a-zA-Z0-9\.\-]+$ ]]
+ echo 'tag name is valid: "0.0.4"'
tag name is valid: "0.0.4"
+ cd repo
++ git tag -l 0.0.4
+ '[' -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.12
++ bc
++ echo 0.12 '>' 30
+ '[' 0 -eq 1 ']'
+ echo 'load average is 0.12, low enough to run a new Docker container'
load average is 0.12, 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
263b061cf788: Pulling fs layer
870c4d3b465c: Pulling fs layer
49e457ce586a: Pulling fs layer
636f568d7d74: Pulling fs layer
bc14d3c24ec5: Pulling fs layer
fdb902689908: Pulling fs layer
9b8fc65d960b: Pulling fs layer
4f4fb700ef54: Pulling fs layer
3a4777e1afd8: Pulling fs layer
6b6a9728697e: Pulling fs layer
f843eacac21a: Waiting
89c6cc626682: Waiting
263b061cf788: Waiting
870c4d3b465c: Waiting
49e457ce586a: Waiting
636f568d7d74: Waiting
bc14d3c24ec5: Waiting
fdb902689908: Waiting
9b8fc65d960b: Waiting
4f4fb700ef54: Waiting
3a4777e1afd8: Waiting
6b6a9728697e: Waiting
7743ff37f01c: Verifying Checksum
7743ff37f01c: Download complete
72049b7b8f26: Verifying Checksum
72049b7b8f26: Download complete
f843eacac21a: Verifying Checksum
f843eacac21a: Download complete
263b061cf788: Verifying Checksum
263b061cf788: Download complete
53fc3d43b62f: Verifying Checksum
53fc3d43b62f: Download complete
49e457ce586a: Verifying Checksum
49e457ce586a: Download complete
870c4d3b465c: Verifying Checksum
870c4d3b465c: Download complete
636f568d7d74: Verifying Checksum
636f568d7d74: Download complete
fdb902689908: Verifying Checksum
fdb902689908: Download complete
9b8fc65d960b: Verifying Checksum
9b8fc65d960b: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
bc14d3c24ec5: Verifying Checksum
bc14d3c24ec5: Download complete
6b6a9728697e: Verifying Checksum
6b6a9728697e: Download complete
89c6cc626682: Verifying Checksum
89c6cc626682: Download complete
3a4777e1afd8: Verifying Checksum
3a4777e1afd8: Download complete
72049b7b8f26: Pull complete
53fc3d43b62f: Pull complete
7743ff37f01c: Pull complete
f843eacac21a: Pull complete
89c6cc626682: Pull complete
263b061cf788: Pull complete
870c4d3b465c: Pull complete
49e457ce586a: Pull complete
636f568d7d74: Pull complete
bc14d3c24ec5: Pull complete
fdb902689908: Pull complete
9b8fc65d960b: Pull complete
4f4fb700ef54: Pull complete
3a4777e1afd8: Pull complete
6b6a9728697e: Pull complete
Digest: sha256:918226cdaf66d6ae105fda1c44d7fec5b8b0ec46e8baed93e95d2c058a901596
Status: Downloaded newer image for maxonfjvipon/rultor-image-hs:master
docker.io/maxonfjvipon/rultor-image-hs:master
+ grep --quiet '\sobjectionary_phino_31\s*$'
+ docker ps --filter=status=exited
+ ls -al .
total 48
drwx------ 3 ubuntu ubuntu 4096 Jun 15 06:45 .
drwxrwxrwt 12 root root 4096 Jun 15 06:45 ..
-rwxrwxr-x 1 ubuntu ubuntu 658 Jun 15 06:48 end.sh
-rwxrwxr-x 1 ubuntu ubuntu 162 Jun 15 06:45 entry.sh
-rw-rw-r-- 1 ubuntu ubuntu 65 Jun 15 06:45 hackage-auth
-rw-rw-r-- 1 ubuntu ubuntu 5 Jun 15 06:45 pid
drwxrwxr-x 10 ubuntu ubuntu 4096 Jun 15 06:45 repo
-rwxrwxr-x 1 ubuntu ubuntu 6673 Jun 15 06:45 run.sh
-rw-rw-r-- 1 ubuntu ubuntu 710 Jun 15 06:45 script.sh
-rw-rw-r-- 1 ubuntu ubuntu 6645 Jun 15 06:48 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-rV6F:/main --env=head=git@github.com:objectionary/phino.git --env=tag=0.0.4 '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.4'\''\'\'''\'''\'' '\'';'\'' '\''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-rV6F/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_phino_31 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-15T04:16:50Z.
To revert to previous state run:
cabal v2-update 'hackage.haskell.org,2025-06-13T13:07:10Z'
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/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/Matcher.hs ...
Reading src/Misc.hs ...
Reading src/Parser.hs ...
Reading src/Printer.hs ...
Reading src/Replacer.hs ...
Reading src/Rewriter.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/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/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/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):
- phino-0.0.0.4 (lib) (first run)
- phino-0.0.0.4 (exe:phino) (first run)
Configuring library for phino-0.0.0.4...
Preprocessing library for phino-0.0.0.4...
Building library for phino-0.0.0.4...
[ 1 of 12] Compiling Ast ( src/Ast.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Ast.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Ast.dyn_o )
[ 2 of 12] Compiling Matcher ( src/Matcher.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Matcher.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Matcher.dyn_o )
[ 3 of 12] Compiling Builder ( src/Builder.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Builder.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Builder.dyn_o )
[ 4 of 12] Compiling Misc ( src/Misc.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Misc.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Misc.dyn_o )
[ 5 of 12] Compiling Parser ( src/Parser.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Parser.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Parser.dyn_o )
[ 6 of 12] Compiling Paths_phino ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/autogen/Paths_phino.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Paths_phino.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Paths_phino.dyn_o )
[ 7 of 12] Compiling Replacer ( src/Replacer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Replacer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Replacer.dyn_o )
[ 8 of 12] Compiling Yaml ( src/Yaml.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Yaml.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Yaml.dyn_o )
[ 9 of 12] Compiling Printer ( src/Printer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Printer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Printer.dyn_o )
[10 of 12] Compiling Condition ( src/Condition.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Condition.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Condition.dyn_o )
[11 of 12] Compiling Rewriter ( src/Rewriter.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Rewriter.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/Rewriter.dyn_o )
[12 of 12] Compiling CLI ( src/CLI.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/CLI.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/build/CLI.dyn_o )
Configuring executable 'phino' for phino-0.0.0.4...
Preprocessing executable 'phino' for phino-0.0.0.4...
Building executable 'phino' for phino-0.0.0.4...
[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.4/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.4/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.4 (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-316/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-316/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.4...
Preprocessing test suite 'spec' for phino-0.0.0.4...
Building test suite 'spec' for phino-0.0.0.4...
[ 1 of 13] Compiling BuilderSpec ( test/BuilderSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/BuilderSpec.o )
[ 2 of 13] Compiling ConditionSpec ( test/ConditionSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/ConditionSpec.o )
[ 3 of 13] Compiling MatcherSpec ( test/MatcherSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/MatcherSpec.o )
[ 4 of 13] Compiling MiscSpec ( test/MiscSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/MiscSpec.o )
[ 5 of 13] Compiling ParserSpec ( test/ParserSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/ParserSpec.o )
[ 6 of 13] Compiling Paths_phino ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/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.4/t/spec/build/spec/spec-tmp/Paths_phino.o )
[ 7 of 13] Compiling CLISpec ( test/CLISpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/CLISpec.o )
[ 8 of 13] Compiling PrinterSpec ( test/PrinterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/PrinterSpec.o )
[ 9 of 13] Compiling ReplacerSpec ( test/ReplacerSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/ReplacerSpec.o )
[10 of 13] Compiling RewriterSpec ( test/RewriterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/RewriterSpec.o )
[11 of 13] Compiling YamlSpec ( test/YamlSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/YamlSpec.o )
[12 of 13] Compiling Spec ( test/Spec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/Spec.o )
[13 of 13] Compiling Main ( test/Main.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/t/spec/build/spec/spec-tmp/Main.o )
[14 of 14] Linking /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.4/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]
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]
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]
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/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[33m‐0m]
33m # PENDING: No reason given0m
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[33m‐0m]
33m # PENDING: No reason given0m
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]
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.1802 seconds
33m240 examples, 0 failures, 2 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.4/t/spec/test/phino-0.0.0.4-spec.log
1 of 1 test suites (1 of 1 test cases) passed.
[__rultor b07775a] set version to 0.0.4
1 file changed, 1 insertion(+), 1 deletion(-)
Wrote tarball sdist to /home/r/repo/dist-newstyle/sdist/phino-0.0.0.4.tar.gz
Uploading dist-newstyle/sdist/phino-0.0.0.4.tar.gz...
Package successfully published. You can now view it at
'https://hackage.haskell.org/package/phino-0.0.0.4'.
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.4 -m '0.0.4: tagged by rultor.com'
+ git reset --hard
HEAD is now at b07775a set version to 0.0.4
+ 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 b07775a).
+ git push --all origin
Everything up-to-date
+ git push --tags origin
To github.com:objectionary/phino.git
* [new tag] 0.0.4 -> 0.0.4
container c4d73ed5695dec4bac4a40efb8026b95275cc54534fad263a4677db896d3e4cd is dead
Sun Jun 15 06:51:24 UTC 2025