++ dirname ./run.sh
+ cd .
+ echo 1297
+ echo '2.0-SNAPSHOT BUILD'
2.0-SNAPSHOT BUILD
+ date
Tue Aug 26 12:59:53 UTC 2025
+ uptime
12:59:53 up 1 min, 0 users, load average: 1.07, 0.35, 0.12
+ 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.40
+ vars=('--env=head=git@github.com:objectionary/phino.git' '--env=tag=0.0.40' '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.40'\''\'\'''\'''\'' '\'';'\'' '\''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.40'\''' ';' '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_330
+ as_root=true
+ set -e -o pipefail
+ hostname
ip-172-31-25-232
+ pwd
/tmp/rultor-QBRA
+ 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.40'\''' ';' '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.40 ']'
+ [[ 0.0.40 =~ ^[a-zA-Z0-9\.\-]+$ ]]
+ echo 'tag name is valid: "0.0.40"'
tag name is valid: "0.0.40"
+ cd repo
++ git tag -l 0.0.40
+ '[' -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
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
0cad4cdc12a5: Waiting
e808cc405e7c: Waiting
4f4fb700ef54: Waiting
f55b85b7946d: Verifying Checksum
f55b85b7946d: Download complete
632ef5283d0f: Verifying Checksum
632ef5283d0f: Download complete
800236a2d072: Verifying Checksum
800236a2d072: Download complete
287f95a40642: Verifying Checksum
287f95a40642: Download complete
b92bba90e5a4: Verifying Checksum
b92bba90e5a4: Download complete
e4f20ba22216: Verifying Checksum
e4f20ba22216: 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
1756e0ea1588: Verifying Checksum
1756e0ea1588: Download complete
219e9b734022: Verifying Checksum
219e9b734022: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
632ef5283d0f: Pull complete
e808cc405e7c: Verifying Checksum
e808cc405e7c: Download 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
+ docker ps --filter=status=exited
+ grep --quiet '\sobjectionary_phino_330\s*$'
+ ls -al .
total 48
drwx------ 3 ubuntu ubuntu 4096 Aug 26 12:59 .
drwxrwxrwt 12 root root 4096 Aug 26 12:59 ..
-rwxrwxr-x 1 ubuntu ubuntu 658 Aug 26 13:02 end.sh
-rwxrwxr-x 1 ubuntu ubuntu 162 Aug 26 12:59 entry.sh
-rw-rw-r-- 1 ubuntu ubuntu 65 Aug 26 12:59 hackage-auth
-rw-rw-r-- 1 ubuntu ubuntu 5 Aug 26 12:59 pid
drwxrwxr-x 11 ubuntu ubuntu 4096 Aug 26 12:59 repo
-rwxrwxr-x 1 ubuntu ubuntu 6699 Aug 26 12:59 run.sh
-rw-rw-r-- 1 ubuntu ubuntu 711 Aug 26 12:59 script.sh
-rw-rw-r-- 1 ubuntu ubuntu 6678 Aug 26 13:02 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-QBRA:/main --env=head=git@github.com:objectionary/phino.git --env=tag=0.0.40 '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''tag=0.0.40'\''\'\'''\'''\'' '\'';'\'' '\''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-QBRA/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_phino_330 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-26T12:56:08Z.
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
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/infinite.yaml ...
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/replaces-formation-in-one-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/sum.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):
- network-3.2.8.0 (lib:network) (requires download & build)
- streaming-commons-0.2.3.0 (lib) (requires build)
- conduit-extra-1.3.8 (lib) (requires build)
- xml-conduit-1.10.0.1 (lib:xml-conduit) (requires build)
- phino-0.0.0.40 (lib) (first run)
- phino-0.0.0.40 (exe:phino) (first run)
Downloading network-3.2.8.0
Downloaded network-3.2.8.0
Configuring network-3.2.8.0...
configure: WARNING: unrecognized options: --with-compiler
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for gcc... /usr/bin/gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether /usr/bin/gcc accepts -g... yes
checking for /usr/bin/gcc option to enable C11 features... none needed
checking for an ANSI C-conforming const... yes
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for limits.h... yes
checking for stdlib.h... (cached) yes
checking for unistd.h... (cached) yes
checking for sys/types.h... (cached) yes
checking for fcntl.h... yes
checking for sys/uio.h... yes
checking for sys/socket.h... yes
checking for netinet/in.h... yes
checking for netinet/tcp.h... yes
checking for sys/un.h... yes
checking for arpa/inet.h... yes
checking for netdb.h... yes
checking for net/if.h... yes
checking for netioapi.h... no
checking for struct ucred... yes
checking for gai_strerror... yes
checking for gethostent... yes
checking for accept4... yes
checking for getpeereid... no
checking for /usr/bin/gcc options needed to detect all undeclared functions... none needed
checking whether AI_ADDRCONFIG is declared... yes
checking whether AI_ALL is declared... yes
checking whether AI_NUMERICSERV is declared... yes
checking whether AI_V4MAPPED is declared... yes
checking whether IPV6_V6ONLY is declared... yes
checking whether IPPROTO_IP is declared... yes
checking whether IPPROTO_TCP is declared... yes
checking whether IPPROTO_IPV6 is declared... yes
checking whether SO_PEERCRED is declared... yes
checking whether IP_DONTFRAG is declared... no
checking whether IP_MTU_DISCOVER is declared... yes
checking for struct msghdr.msg_control... yes
checking for struct msghdr.msg_accrights... no
checking for struct sockaddr.sa_len... no
configure: creating ./network.buildinfo
configure: creating ./config.status
config.status: creating include/HsNetworkConfig.h
configure: WARNING: unrecognized options: --with-compiler
Preprocessing library for network-3.2.8.0...
Building library for network-3.2.8.0...
[ 1 of 29] Compiling Network.Socket.Imports ( Network/Socket/Imports.hs, dist/build/Network/Socket/Imports.o, dist/build/Network/Socket/Imports.dyn_o )
[ 2 of 29] Compiling Network.Socket.If ( Network/Socket/If.hs, dist/build/Network/Socket/If.o, dist/build/Network/Socket/If.dyn_o )
[ 3 of 29] Compiling Network.Socket.Flag ( dist/build/Network/Socket/Flag.hs, dist/build/Network/Socket/Flag.o, dist/build/Network/Socket/Flag.dyn_o )
[ 4 of 29] Compiling Network.Socket.Cbits ( dist/build/Network/Socket/Cbits.hs, dist/build/Network/Socket/Cbits.o, dist/build/Network/Socket/Cbits.dyn_o )
[ 5 of 29] Compiling Network.Socket.Fcntl ( Network/Socket/Fcntl.hs, dist/build/Network/Socket/Fcntl.o, dist/build/Network/Socket/Fcntl.dyn_o )
[ 6 of 29] Compiling Network.Socket.Posix.IOVec ( dist/build/Network/Socket/Posix/IOVec.hs, dist/build/Network/Socket/Posix/IOVec.o, dist/build/Network/Socket/Posix/IOVec.dyn_o )
[ 7 of 29] Compiling Network.Socket.ReadShow ( Network/Socket/ReadShow.hs, dist/build/Network/Socket/ReadShow.o, dist/build/Network/Socket/ReadShow.dyn_o )
[ 8 of 29] Compiling Network.Socket.Types ( dist/build/Network/Socket/Types.hs, dist/build/Network/Socket/Types.o, dist/build/Network/Socket/Types.dyn_o )
[ 9 of 29] Compiling Network.Socket.STM ( Network/Socket/STM.hs, dist/build/Network/Socket/STM.o, dist/build/Network/Socket/STM.dyn_o )
[10 of 29] Compiling Network.Socket.Posix.Cmsg ( dist/build/Network/Socket/Posix/Cmsg.hs, dist/build/Network/Socket/Posix/Cmsg.o, dist/build/Network/Socket/Posix/Cmsg.dyn_o )
[11 of 29] Compiling Network.Socket.Internal ( Network/Socket/Internal.hs, dist/build/Network/Socket/Internal.o, dist/build/Network/Socket/Internal.dyn_o )
[12 of 29] Compiling Network.Socket.Posix.MsgHdr ( dist/build/Network/Socket/Posix/MsgHdr.hs, dist/build/Network/Socket/Posix/MsgHdr.o, dist/build/Network/Socket/Posix/MsgHdr.dyn_o )
[13 of 29] Compiling Network.Socket.Posix.CmsgHdr ( dist/build/Network/Socket/Posix/CmsgHdr.hs, dist/build/Network/Socket/Posix/CmsgHdr.o, dist/build/Network/Socket/Posix/CmsgHdr.dyn_o )
[14 of 29] Compiling Network.Socket.Options ( dist/build/Network/Socket/Options.hs, dist/build/Network/Socket/Options.o, dist/build/Network/Socket/Options.dyn_o )
[15 of 29] Compiling Network.Socket.Syscall ( Network/Socket/Syscall.hs, dist/build/Network/Socket/Syscall.o, dist/build/Network/Socket/Syscall.dyn_o )
[16 of 29] Compiling Network.Socket.Name ( Network/Socket/Name.hs, dist/build/Network/Socket/Name.o, dist/build/Network/Socket/Name.dyn_o )
[17 of 29] Compiling Network.Socket.Info ( dist/build/Network/Socket/Info.hs, dist/build/Network/Socket/Info.o, dist/build/Network/Socket/Info.dyn_o )
[18 of 29] Compiling Network.Socket.Handle ( Network/Socket/Handle.hs, dist/build/Network/Socket/Handle.o, dist/build/Network/Socket/Handle.dyn_o )
[19 of 29] Compiling Network.Socket.ByteString.Internal ( Network/Socket/ByteString/Internal.hs, dist/build/Network/Socket/ByteString/Internal.o, dist/build/Network/Socket/ByteString/Internal.dyn_o )
[20 of 29] Compiling Network.Socket.Buffer ( dist/build/Network/Socket/Buffer.hs, dist/build/Network/Socket/Buffer.o, dist/build/Network/Socket/Buffer.dyn_o )
[21 of 29] Compiling Network.Socket.SockAddr ( Network/Socket/SockAddr.hs, dist/build/Network/Socket/SockAddr.o, dist/build/Network/Socket/SockAddr.dyn_o )
[22 of 29] Compiling Network.Socket.Shutdown ( Network/Socket/Shutdown.hs, dist/build/Network/Socket/Shutdown.o, dist/build/Network/Socket/Shutdown.dyn_o )
[23 of 29] Compiling Network.Socket.ByteString.IO ( dist/build/Network/Socket/ByteString/IO.hs, dist/build/Network/Socket/ByteString/IO.o, dist/build/Network/Socket/ByteString/IO.dyn_o )
[24 of 29] Compiling Network.Socket.ByteString.Lazy.Posix ( Network/Socket/ByteString/Lazy/Posix.hs, dist/build/Network/Socket/ByteString/Lazy/Posix.o, dist/build/Network/Socket/ByteString/Lazy/Posix.dyn_o )
[25 of 29] Compiling Network.Socket.ByteString ( Network/Socket/ByteString.hs, dist/build/Network/Socket/ByteString.o, dist/build/Network/Socket/ByteString.dyn_o )
[26 of 29] Compiling Network.Socket.Address ( Network/Socket/Address.hs, dist/build/Network/Socket/Address.o, dist/build/Network/Socket/Address.dyn_o )
[27 of 29] Compiling Network.Socket.Unix ( dist/build/Network/Socket/Unix.hs, dist/build/Network/Socket/Unix.o, dist/build/Network/Socket/Unix.dyn_o )
[28 of 29] Compiling Network.Socket ( Network/Socket.hs, dist/build/Network/Socket.o, dist/build/Network/Socket.dyn_o )
[29 of 29] Compiling Network.Socket.ByteString.Lazy ( Network/Socket/ByteString/Lazy.hs, dist/build/Network/Socket/ByteString/Lazy.o, dist/build/Network/Socket/ByteString/Lazy.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-62/opt/cabal/store/ghc-9.6.7/network-3.2.8.0-13dae10ec89767482e7db0224be2a68f5257ca477dfa5267460e3c0fda5284f9/lib
Configuring library for streaming-commons-0.2.3.0...
Preprocessing library for streaming-commons-0.2.3.0...
Building library for streaming-commons-0.2.3.0...
[ 1 of 11] Compiling Data.Streaming.ByteString.Builder.Buffer ( Data/Streaming/ByteString/Builder/Buffer.hs, dist/build/Data/Streaming/ByteString/Builder/Buffer.o, dist/build/Data/Streaming/ByteString/Builder/Buffer.dyn_o )
[ 2 of 11] Compiling Data.Streaming.ByteString.Builder ( Data/Streaming/ByteString/Builder.hs, dist/build/Data/Streaming/ByteString/Builder.o, dist/build/Data/Streaming/ByteString/Builder.dyn_o )
[ 3 of 11] Compiling Data.Streaming.FileRead ( Data/Streaming/FileRead.hs, dist/build/Data/Streaming/FileRead.o, dist/build/Data/Streaming/FileRead.dyn_o )
[ 4 of 11] Compiling Data.Streaming.Filesystem ( Data/Streaming/Filesystem.hs, dist/build/Data/Streaming/Filesystem.o, dist/build/Data/Streaming/Filesystem.dyn_o )
[ 5 of 11] Compiling Data.Streaming.Network.Internal ( Data/Streaming/Network/Internal.hs, dist/build/Data/Streaming/Network/Internal.o, dist/build/Data/Streaming/Network/Internal.dyn_o )
[ 6 of 11] Compiling Data.Streaming.Network ( Data/Streaming/Network.hs, dist/build/Data/Streaming/Network.o, dist/build/Data/Streaming/Network.dyn_o )
[ 7 of 11] Compiling Data.Streaming.Process.Internal ( Data/Streaming/Process/Internal.hs, dist/build/Data/Streaming/Process/Internal.o, dist/build/Data/Streaming/Process/Internal.dyn_o )
[ 8 of 11] Compiling Data.Streaming.Process ( Data/Streaming/Process.hs, dist/build/Data/Streaming/Process.o, dist/build/Data/Streaming/Process.dyn_o )
[ 9 of 11] Compiling Data.Streaming.Text ( Data/Streaming/Text.hs, dist/build/Data/Streaming/Text.o, dist/build/Data/Streaming/Text.dyn_o )
[10 of 11] Compiling Data.Streaming.Zlib.Lowlevel ( Data/Streaming/Zlib/Lowlevel.hs, dist/build/Data/Streaming/Zlib/Lowlevel.o, dist/build/Data/Streaming/Zlib/Lowlevel.dyn_o )
;1mData/Streaming/Zlib/Lowlevel.hs:105:1: ;1m35mwarning0m0m;1m: [;1m35mGHC-536330m0m;1m] [;1m35m-Woverlapping-patterns0m0m;1m]0m0m;1m
Pattern match is redundant
In an equation for ‘wbToInt’: wbToInt _ = ...0m0m
;1m34m |0m0m
;1m34m105 |0m0m ;1m35mwbToInt _ = 150m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^0m0m
[11 of 11] Compiling Data.Streaming.Zlib ( Data/Streaming/Zlib.hs, dist/build/Data/Streaming/Zlib.o, dist/build/Data/Streaming/Zlib.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-62/opt/cabal/store/ghc-9.6.7/streaming-commons-0.2.3.0-656dce8775bdff84697facf1e09b7c709b34532825ebbda3afa027f16b7a9cee/lib
Configuring library for conduit-extra-1.3.8...
Preprocessing library for conduit-extra-1.3.8...
Building library for conduit-extra-1.3.8...
[ 1 of 13] Compiling Data.Conduit.Attoparsec ( Data/Conduit/Attoparsec.hs, dist/build/Data/Conduit/Attoparsec.o, dist/build/Data/Conduit/Attoparsec.dyn_o )
[ 2 of 13] Compiling Data.Conduit.Binary ( Data/Conduit/Binary.hs, dist/build/Data/Conduit/Binary.o, dist/build/Data/Conduit/Binary.dyn_o )
[ 3 of 13] Compiling Data.Conduit.ByteString.Builder ( Data/Conduit/ByteString/Builder.hs, dist/build/Data/Conduit/ByteString/Builder.o, dist/build/Data/Conduit/ByteString/Builder.dyn_o )
[ 4 of 13] Compiling Data.Conduit.Filesystem ( Data/Conduit/Filesystem.hs, dist/build/Data/Conduit/Filesystem.o, dist/build/Data/Conduit/Filesystem.dyn_o )
[ 5 of 13] Compiling Data.Conduit.Foldl ( Data/Conduit/Foldl.hs, dist/build/Data/Conduit/Foldl.o, dist/build/Data/Conduit/Foldl.dyn_o )
[ 6 of 13] Compiling Data.Conduit.Lazy ( Data/Conduit/Lazy.hs, dist/build/Data/Conduit/Lazy.o, dist/build/Data/Conduit/Lazy.dyn_o )
[ 7 of 13] Compiling Data.Conduit.Network ( Data/Conduit/Network.hs, dist/build/Data/Conduit/Network.o, dist/build/Data/Conduit/Network.dyn_o )
[ 8 of 13] Compiling Data.Conduit.Network.UDP ( Data/Conduit/Network/UDP.hs, dist/build/Data/Conduit/Network/UDP.o, dist/build/Data/Conduit/Network/UDP.dyn_o )
[ 9 of 13] Compiling Data.Conduit.Network.Unix ( Data/Conduit/Network/Unix.hs, dist/build/Data/Conduit/Network/Unix.o, dist/build/Data/Conduit/Network/Unix.dyn_o )
[10 of 13] Compiling Data.Conduit.Process ( Data/Conduit/Process.hs, dist/build/Data/Conduit/Process.o, dist/build/Data/Conduit/Process.dyn_o )
;1mData/Conduit/Process.hs:48:13: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m48 |0m0m instance (r ;1m35m~0m0m (), MonadIO m, i ~ ByteString) => InputSource (ConduitM i o m r) where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:48:32: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m48 |0m0m instance (r ~ (), MonadIO m, i ;1m35m~0m0m ByteString) => InputSource (ConduitM i o m r) where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:49:20: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m49 |0m0m isStdStream = (;1m35m\(Just h) -> hSetBuffering h NoBuffering $> sinkHandle h0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:50:13: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m50 |0m0m instance (r ;1m35m~0m0m (), r' ~ (), MonadIO m, MonadIO n, i ~ ByteString) => InputSource (ConduitM i o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:50:22: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m50 |0m0m instance (r ~ (), r' ;1m35m~0m0m (), MonadIO m, MonadIO n, i ~ ByteString) => InputSource (ConduitM i o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:50:52: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m50 |0m0m instance (r ~ (), r' ~ (), MonadIO m, MonadIO n, i ;1m35m~0m0m ByteString) => InputSource (ConduitM i o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:51:20: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m51 |0m0m isStdStream = (;1m35m\(Just h) -> hSetBuffering h NoBuffering $> (sinkHandle h, liftIO $ hClose h)0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:66:24: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m66 |0m0m instance (MonadIO m, r ;1m35m~0m0m ()) => InputSource (BuilderInput o m r) where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:67:18: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m67 |0m0m isStdStream = (;1m35m\(Just h) -> return $ BuilderInput $ sinkHandleBuilder h0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:68:35: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m68 |0m0m instance (MonadIO m, MonadIO n, r ;1m35m~0m0m (), r' ~ ()) => InputSource (BuilderInput o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:68:44: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m68 |0m0m instance (MonadIO m, MonadIO n, r ~ (), r' ;1m35m~0m0m ()) => InputSource (BuilderInput o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:69:18: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m69 |0m0m isStdStream = (;1m35m\(Just h) -> return (BuilderInput $ sinkHandleBuilder h, liftIO $ hClose h)0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:70:24: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m70 |0m0m instance (MonadIO m, r ;1m35m~0m0m ()) => InputSource (FlushInput o m r) where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:71:18: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m71 |0m0m isStdStream = (;1m35m\(Just h) -> return $ FlushInput $ sinkHandleFlush h0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:72:35: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m72 |0m0m instance (MonadIO m, MonadIO n, r ;1m35m~0m0m (), r' ~ ()) => InputSource (FlushInput o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:72:44: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m72 |0m0m instance (MonadIO m, MonadIO n, r ~ (), r' ;1m35m~0m0m ()) => InputSource (FlushInput o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:73:18: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m73 |0m0m isStdStream = (;1m35m\(Just h) -> return (FlushInput $ sinkHandleFlush h, liftIO $ hClose h)0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:75:13: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m75 |0m0m instance (r ;1m35m~0m0m (), MonadIO m, o ~ ByteString) => OutputSink (ConduitM i o m r) where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:75:32: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m75 |0m0m instance (r ~ (), MonadIO m, o ;1m35m~0m0m ByteString) => OutputSink (ConduitM i o m r) where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:76:20: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m76 |0m0m osStdStream = (;1m35m\(Just h) -> hSetBuffering h NoBuffering $> sourceHandle h0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1mData/Conduit/Process.hs:77:13: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m77 |0m0m instance (r ;1m35m~0m0m (), r' ~ (), MonadIO m, MonadIO n, o ~ ByteString) => OutputSink (ConduitM i o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:77:22: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m77 |0m0m instance (r ~ (), r' ;1m35m~0m0m (), MonadIO m, MonadIO n, o ~ ByteString) => OutputSink (ConduitM i o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:77:52: ;1m35mwarning0m0m;1m: [;1m35mGHC-585200m0m;1m] [;1m35m-Wtype-equality-requires-operators0m0m;1m]0m0m;1m
The use of ‘~’ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators0m0m
;1m34m |0m0m
;1m34m77 |0m0m instance (r ~ (), r' ~ (), MonadIO m, MonadIO n, o ;1m35m~0m0m ByteString) => OutputSink (ConduitM i o m r, n r') where
;1m34m |0m0m;1m35m ^0m0m
;1mData/Conduit/Process.hs:78:20: ;1m35mwarning0m0m;1m: [;1m35mGHC-621610m0m;1m] [;1m35m-Wincomplete-uni-patterns0m0m;1m]0m0m;1m
Pattern match(es) are non-exhaustive
In a lambda abstraction:
Patterns of type ‘Maybe GHC.IO.Handle.Types.Handle’ not matched:
Nothing0m0m
;1m34m |0m0m
;1m34m78 |0m0m osStdStream = (;1m35m\(Just h) -> hSetBuffering h NoBuffering $> (sourceHandle h, liftIO $ hClose h)0m0m, Just CreatePipe)
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
[11 of 13] Compiling Data.Conduit.Process.Typed ( Data/Conduit/Process/Typed.hs, dist/build/Data/Conduit/Process/Typed.o, dist/build/Data/Conduit/Process/Typed.dyn_o )
[12 of 13] Compiling Data.Conduit.Text ( Data/Conduit/Text.hs, dist/build/Data/Conduit/Text.o, dist/build/Data/Conduit/Text.dyn_o )
[13 of 13] Compiling Data.Conduit.Zlib ( Data/Conduit/Zlib.hs, dist/build/Data/Conduit/Zlib.o, dist/build/Data/Conduit/Zlib.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-62/opt/cabal/store/ghc-9.6.7/conduit-extra-1.3.8-1d81ecbce2f2ece381e1bed241dec2a5d85064ac19b711b414483b54414bdd2f/lib
[1 of 2] Compiling Main ( /home/r/repo/dist-newstyle/tmp/src-62/xml-conduit-1.10.0.1/dist/setup/setup.hs, /home/r/repo/dist-newstyle/tmp/src-62/xml-conduit-1.10.0.1/dist/setup/Main.o )
[2 of 2] Linking /home/r/repo/dist-newstyle/tmp/src-62/xml-conduit-1.10.0.1/dist/setup/setup
Configuring xml-conduit-1.10.0.1...
Preprocessing library for xml-conduit-1.10.0.1..
Building library for xml-conduit-1.10.0.1..
[1 of 8] Compiling Text.XML.Cursor.Generic ( src/Text/XML/Cursor/Generic.hs, dist/build/Text/XML/Cursor/Generic.o, dist/build/Text/XML/Cursor/Generic.dyn_o )
[2 of 8] Compiling Text.XML.Stream.Token ( src/Text/XML/Stream/Token.hs, dist/build/Text/XML/Stream/Token.o, dist/build/Text/XML/Stream/Token.dyn_o )
;1msrc/Text/XML/Stream/Token.hs:19:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()0m0m
;1m34m |0m0m
;1m34m19 |0m0m ;1m35mimport Data.Monoid (mconcat, mempty, (<>))0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
[3 of 8] Compiling Text.XML.Stream.Render.Internal ( src/Text/XML/Stream/Render/Internal.hs, dist/build/Text/XML/Stream/Render/Internal.o, dist/build/Text/XML/Stream/Render/Internal.dyn_o )
;1msrc/Text/XML/Stream/Render/Internal.hs:32:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()0m0m
;1m34m |0m0m
;1m34m32 |0m0m ;1m35mimport Control.Applicative ((<$>))0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Stream/Render/Internal.hs:33:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.Trans.Resource’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Resource’
To import instances alone, use: import Control.Monad.Trans.Resource()0m0m
;1m34m |0m0m
;1m34m33 |0m0m ;1m35mimport Control.Monad.Trans.Resource (MonadThrow)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Stream/Render/Internal.hs:42:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()0m0m
;1m34m |0m0m
;1m34m42 |0m0m ;1m35mimport Data.Monoid (Monoid, mappend, mempty)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Stream/Render/Internal.hs:195:5: ;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 ‘Stack’ not matched:
[]
[]0m0m
;1m34m |0m0m
;1m34m195 |0m0m ;1m35m(sl:s') = s0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^0m0m
[4 of 8] Compiling Text.XML.Stream.Render ( src/Text/XML/Stream/Render.hs, dist/build/Text/XML/Stream/Render.o, dist/build/Text/XML/Stream/Render.dyn_o )
[5 of 8] Compiling Text.XML.Stream.Parse ( src/Text/XML/Stream/Parse.hs, dist/build/Text/XML/Stream/Parse.o, dist/build/Text/XML/Stream/Parse.dyn_o )
;1msrc/Text/XML/Stream/Parse.hs:140:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘<$>, Applicative’
from module ‘Control.Applicative’ is redundant0m0m
;1m34m |0m0m
;1m34m140 |0m0m ;1m35mimport Control.Applicative (Alternative (empty, (<|>)),0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...0m0m
;1msrc/Text/XML/Stream/Parse.hs:147:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.IO.Class’ is redundant
except perhaps to import instances from ‘Control.Monad.IO.Class’
To import instances alone, use: import Control.Monad.IO.Class()0m0m
;1m34m |0m0m
;1m34m147 |0m0m ;1m35mimport Control.Monad.IO.Class (liftIO)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Stream/Parse.hs:148:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.Trans.Class’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Class’
To import instances alone, use: import Control.Monad.Trans.Class()0m0m
;1m34m |0m0m
;1m34m148 |0m0m ;1m35mimport Control.Monad.Trans.Class (lift)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Stream/Parse.hs:150:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.Trans.Resource’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Resource’
To import instances alone, use: import Control.Monad.Trans.Resource()0m0m
;1m34m |0m0m
;1m34m150 |0m0m ;1m35mimport Control.Monad.Trans.Resource (MonadResource, MonadThrow (..),0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...0m0m
[6 of 8] Compiling Text.XML.Unresolved ( src/Text/XML/Unresolved.hs, dist/build/Text/XML/Unresolved.o, dist/build/Text/XML/Unresolved.dyn_o )
;1msrc/Text/XML/Unresolved.hs:46:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()0m0m
;1m34m |0m0m
;1m34m46 |0m0m ;1m35mimport Control.Applicative ((<$>), (<*>))0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Unresolved.hs:49:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.Trans.Class’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Class’
To import instances alone, use: import Control.Monad.Trans.Class()0m0m
;1m34m |0m0m
;1m34m49 |0m0m ;1m35mimport Control.Monad.Trans.Class (lift)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML/Unresolved.hs:58:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()0m0m
;1m34m |0m0m
;1m34m58 |0m0m ;1m35mimport Data.Monoid (mconcat)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
[7 of 8] Compiling Text.XML ( src/Text/XML.hs, dist/build/Text/XML.o, dist/build/Text/XML.dyn_o )
;1msrc/Text/XML.hs:77:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()0m0m
;1m34m |0m0m
;1m34m77 |0m0m ;1m35mimport Control.Applicative ((<$>))0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML.hs:81:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.Trans.Resource’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Resource’
To import instances alone, use: import Control.Monad.Trans.Resource()0m0m
;1m34m |0m0m
;1m34m81 |0m0m ;1m35mimport Control.Monad.Trans.Resource (MonadThrow, throwM)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML.hs:104:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Control.Monad.Trans.Class’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Class’
To import instances alone, use: import Control.Monad.Trans.Class()0m0m
;1m34m |0m0m
;1m34m104 |0m0m ;1m35mimport Control.Monad.Trans.Class (lift)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
;1msrc/Text/XML.hs:114:1: ;1m35mwarning0m0m;1m: [;1m35m-Wunused-imports0m0m;1m]0m0m;1m
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()0m0m
;1m34m |0m0m
;1m34m114 |0m0m ;1m35mimport Data.Monoid (mappend, mempty)0m0m
;1m34m |0m0m;1m35m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0m0m
[8 of 8] Compiling Text.XML.Cursor ( src/Text/XML/Cursor.hs, dist/build/Text/XML/Cursor.o, dist/build/Text/XML/Cursor.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-62/opt/cabal/store/ghc-9.6.7/xml-conduit-1.10.0.1-a507913ad48b043f008bb8dc85f19c683f45dda88c5535e303070c55dd501967/lib
Configuring library for phino-0.0.0.40...
Preprocessing library for phino-0.0.0.40...
Building library for phino-0.0.0.40...
[ 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.40/build/Ast.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Logger.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Matcher.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Misc.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Parser.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/autogen/Paths_phino.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/build/Paths_phino.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Random.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Regexp.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Yaml.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Term.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Pretty.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/XMIR.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Replacer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Builder.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Rule.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Rewriter.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Functions.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/Dataize.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/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.40/build/CLI.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.40/build/CLI.dyn_o )
Configuring executable 'phino' for phino-0.0.0.40...
Preprocessing executable 'phino' for phino-0.0.0.40...
Building executable 'phino' for phino-0.0.0.40...
[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.40/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.40/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.40 (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-2089/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-2089/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.40...
Preprocessing test suite 'spec' for phino-0.0.0.40...
Building test suite 'spec' for phino-0.0.0.40...
[ 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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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.40/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]
K7l printsttottargetefilel[32m✔0m]
K7l rewritesewithtcyclese[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>D00-0]]]=>=00-0[32m✔0m]
K7l T =>=X [32m✔0m]
K7l [[[@ ->-[[[D>D00-]]]]]]=>=00-0[32m✔0m]
K7l [[[x ->-[[[D>D01-1]]]]].x.=>=01-1[32m✔0m]
K7l [[[@ ->-[[[x ->-[[[D>D01-,-y ->-? ]](y(->-[[[]])]]].x.]]]=>=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 ->-? ]]]=>=[(!B1B>>>[[]],]!a!>>>x,x!B2B>>>[[[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 ->-"\uD835\u0041"]]][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 ->-$ [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]
sweetify program
K7l Q ->-$ [32m✔0m]
K7l Q ->-Q.org.eolang(x(->-Q.x)x[32m✔0m]
K7l Q ->-[[[x ->-[[[y ->-?,?z ->-? ]]]]]][32m✔0m]
K7l Q ->-5 [32m✔0m]
K7l Q ->-[[[x ->-"hello"]]][32m✔0m]
K7l Q ->-[[[x ->-"hello","y ->-5]]][32m✔0m]
K7l Q ->-Q.x(x(->-1)(y(->-2)(z(->-3)3[32m✔0m]
K7l Q ->-Q.x(~0~->-Q.y)y[32m✔0m]
K7l Q ->-Q.x(~0~->-1)(~1~->-2)(~2~->-3)3[32m✔0m]
K7l Q ->-Q.x(~0~->-1)(~2~->-2)(~1~->-3)3[32m✔0m]
K7l Q ->-Φ.jeo.opcode.ldc(18,8"Readingn\"")"[32m✔0m]
K7l Q ->-[[[k ->-[[]]]]]][32m✔0m]
K7l Q ->-[[[]]][32m✔0m]
prettify substitution
K7l [()])[32m✔0m]
K7l [(!e!>>>Q.x)])[32m✔0m]
K7l [(!a!>>>x)])[32m✔0m]
Replacer
replace program: 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]
replace program fast: Program => ([Expression], [Expression]) => Program
K7l Q ->-[[^[->-?,?@ ->-?,?D>D->-?]]]=>=[[[!B1,1!a!->-?,?!B2B]]]=>=[[[!B1,1!a!->-$,$!B2B]]]=>=Q ->-[[[^ ->-$,$@ ->-$,$D>D->-$ ]]][32m✔0m]
K7l Q ->-[[[^ ->-? ]]]=>=[[[!B1,1!a!->-?,?!B2B]]]=>=[[[!B1,1!a!->-[[[!a!->-? ]],]!B2B]]]=>=Q ->-[[[^ ->-[[[^ ->-[[[^ ->-[[[^ ->-? ]]]]]]]]]]]][32m✔0m]
K7l Q ->-[[[^ ->-T ]](^(->-[[[^ ->-$]]).@.=>=[[[!B1,1!a!->-?,?!B2B]]]=>=[[[!B1,1!a!->-$,$!B2B]]]=>=Q ->-[[[^ ->-$ ]].@.[32m✔0m]
Rewriter
rewrite packs
K7l custom/sum.yamlm[32m✔0m]
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/replaces-formation-in-one-cycle.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.5443 seconds
32m329 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.40/t/spec/test/phino-0.0.0.40-spec.log
1 of 1 test suites (1 of 1 test cases) passed.
[__rultor 7bf6963] set version to 0.0.40
1 file changed, 1 insertion(+), 1 deletion(-)
Wrote tarball sdist to /home/r/repo/dist-newstyle/sdist/phino-0.0.0.40.tar.gz
Uploading dist-newstyle/sdist/phino-0.0.0.40.tar.gz...
Package successfully published. You can now view it at
'https://hackage.haskell.org/package/phino-0.0.0.40'.
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.40 -m '0.0.40: tagged by rultor.com'
+ git reset --hard
HEAD is now at 7bf6963 set version to 0.0.40
+ 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 7bf6963).
+ git push --all origin
Everything up-to-date
+ git push --tags origin
To github.com:objectionary/phino.git
* [new tag] 0.0.40 -> 0.0.40
container a5041cb3d6475238e07be90a97010a866a11af5510f6c3b9fe245cf97f7d0d0d is dead
Tue Aug 26 13:06:28 UTC 2025
This build log was produced by
rultor.com
for
objectionary/phino#330