++ dirname ./run.sh
+ cd .
+ echo 1297
+ echo '2.0-SNAPSHOT BUILD'
2.0-SNAPSHOT BUILD
+ date
Tue Jun 3 11:13:07 UTC 2025
+ uptime
11:13:07 up 1 min, 0 users, load average: 1.27, 0.39, 0.14
+ ff=default
+ image=maxonfjvipon/rultor-image-hs:master
+ rebase=false
+ head_branch=master
+ pull_title='bug(#36): one rule per file'
+ author=maxonfjvipon
+ directory=
+ head=git@github.com:objectionary/phino.git
+ pull_id=40
+ fork=git@github.com:objectionary/phino.git
+ fork_branch=bug/#36/rule-per-file
+ squash=false
+ vars=('--env=head=git@github.com:objectionary/phino.git' '--env=pull_id=40' '--env=fork=git@github.com:objectionary/phino.git' '--env=fork_branch=bug/#36/rule-per-file' '--env=head_branch=master' '--env=pull_title=bug(#36): one rule per file' '--env=author=maxonfjvipon' '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_id=40'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork_branch=bug/#36/rule-per-file'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=master'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_title=bug(#36): one rule per file'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=maxonfjvipon'\''\'\'''\'''\'' '\'';'\'' '\''cabal --version'\'' '\'';'\'' '\''ghc --version'\'' '\'';'\'' '\''cabal update'\'' '\'';'\'' '\''pdd -f /dev/null -v'\'' '\'';'\'' '\''cabal build'\'' '\'';'\'' '\''cabal test'\'' '\'';'\'' )')
+ scripts=('export '\''head=git@github.com:objectionary/phino.git'\''' ';' 'export '\''pull_id=40'\''' ';' 'export '\''fork=git@github.com:objectionary/phino.git'\''' ';' 'export '\''fork_branch=bug/#36/rule-per-file'\''' ';' 'export '\''head_branch=master'\''' ';' 'export '\''pull_title=bug(#36): one rule per file'\''' ';' 'export '\''author=maxonfjvipon'\''' ';' 'cabal --version' ';' 'ghc --version' ';' 'cabal update' ';' 'pdd -f /dev/null -v' ';' 'cabal build' ';' 'cabal test' ';')
+ container=objectionary_phino_40
+ as_root=true
+ hostname
ip-172-31-29-183
+ pwd
/tmp/rultor-QbCb
+ 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 '\''pull_id=40'\''' ';' 'export '\''fork=git@github.com:objectionary/phino.git'\''' ';' 'export '\''fork_branch=bug/#36/rule-per-file'\''' ';' 'export '\''head_branch=master'\''' ';' 'export '\''pull_title=bug(#36): one rule per file'\''' ';' 'export '\''author=maxonfjvipon'\''' ';' 'cabal --version' ';' 'ghc --version' ';' 'cabal update' ';' 'pdd -f /dev/null -v' ';' 'cabal build' ';' 'cabal test' ';'
+ sensitive=()
+ set -ex -o pipefail
+ cd repo
+ git remote add fork git@github.com:objectionary/phino.git
+ git remote update
Fetching origin
Fetching fork
From github.com:objectionary/phino
* [new branch] bug/#14/rewrite-reads-from-stdin -> fork/bug/#14/rewrite-reads-from-stdin
* [new branch] bug/#14/rewrite-reads-stdin -> fork/bug/#14/rewrite-reads-stdin
* [new branch] bug/#16/print-no-ascii -> fork/bug/#16/print-no-ascii
* [new branch] bug/#23/mixing-cli-and-rewrite -> fork/bug/#23/mixing-cli-and-rewrite
* [new branch] bug/#36/rule-per-file -> fork/bug/#36/rule-per-file
* [new branch] bug/#7/phi-sugar -> fork/bug/#7/phi-sugar
* [new branch] bug/#7/rewrite-with-desugaring -> fork/bug/#7/rewrite-with-desugaring
* [new branch] bug/#8/canonical-phi-syntax -> fork/bug/#8/canonical-phi-syntax
* [new branch] master -> fork/master
+ args=()
+ '[' default == default ']'
+ args+=(--ff)
+ '[' default == no ']'
+ '[' default == only ']'
+ '[' false == true ']'
+ BRANCH=__rultor
++ wc -l
++ git show-branch __rultor
+ '[' 0 -gt 0 ']'
+ export BRANCH
+ git status
On branch master
Your branch is up to date with 'origin/master'.
nothing to commit, working tree clean
+ git checkout -B __rultor fork/bug/#36/rule-per-file
Switched to a new branch '__rultor'
Branch '__rultor' set up to track remote branch 'bug/#36/rule-per-file' from 'fork'.
+ git checkout -B master origin/master
Switched to and reset branch 'master'
Branch 'master' set up to track remote branch 'master' from 'origin'.
Your branch is up to date with 'origin/master'.
+ '[' false == true ']'
+ KEY=3FD3FA7E9AF0FA4C
+ git merge --gpg-sign=3FD3FA7E9AF0FA4C --no-edit -m 'bug(#36): one rule per file' --ff __rultor
Updating ee048c7..39e79bb
Fast-forward (no commit created; -m option ignored)
resources/{normalize.yaml => dc.yaml} | 8 ++--
src/CLI.hs | 49 +++++++++++-----------
src/Rewriter.hs | 8 ++--
src/Yaml.hs | 10 +----
.../from-formation-to-application.yaml | 5 +--
.../rewriter-packs/normalize/dc-from-paper.yaml | 9 +---
.../normalize/dc-in-subformation.yaml | 9 +---
test/CLISpec.hs | 23 ++++++----
test/RewriterSpec.hs | 33 +++++++++++----
9 files changed, 80 insertions(+), 74 deletions(-)
rename resources/{normalize.yaml => dc.yaml} (52%)
+ git log -1 --show-signature
commit 39e79bb17e7e34920073b1838b102c9d8326c6e2
gpg: Signature made Tue Jun 3 11:07:52 2025 UTC
gpg: using RSA key 34854A7D27EB668EBDE094C7D8563899D473D273
gpg: Can't check signature: No public key
Author: maxonfjvipon <mtrunnikov@gmail.com>
Date: Tue Jun 3 14:07:52 2025 +0300
bug(#36): dc as single file
+ docker_when_possible
+ true
++ tail -n 1
++ sed 's/ /\n/g'
++ uptime
+ load=0.15
++ bc
++ echo 0.15 '>' 30
+ '[' 0 -eq 1 ']'
+ echo 'load average is 0.15, low enough to run a new Docker container'
load average is 0.15, 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
54107f2de180: Pulling fs layer
6ce9d5356d8f: Pulling fs layer
48ad24a5491a: Pulling fs layer
360af4912bff: Pulling fs layer
185b1774ac44: Pulling fs layer
98306839cb89: Pulling fs layer
b2b9fb9c0297: Pulling fs layer
210a4d811fc2: Pulling fs layer
e6b19ccb49ff: Pulling fs layer
9e654061e160: Pulling fs layer
bddfafb2fee5: Pulling fs layer
f2750e440d8a: Pulling fs layer
6f7c20a52ecb: Pulling fs layer
7f24e21dc2e4: Pulling fs layer
360af4912bff: Waiting
185b1774ac44: Waiting
98306839cb89: Waiting
b2b9fb9c0297: Waiting
210a4d811fc2: Waiting
e6b19ccb49ff: Waiting
9e654061e160: Waiting
bddfafb2fee5: Waiting
f2750e440d8a: Waiting
6f7c20a52ecb: Waiting
7f24e21dc2e4: Waiting
54107f2de180: Verifying Checksum
54107f2de180: Download complete
360af4912bff: Verifying Checksum
360af4912bff: Download complete
6ce9d5356d8f: Verifying Checksum
6ce9d5356d8f: Download complete
48ad24a5491a: Verifying Checksum
48ad24a5491a: Download complete
b2b9fb9c0297: Verifying Checksum
b2b9fb9c0297: Download complete
210a4d811fc2: Verifying Checksum
210a4d811fc2: Download complete
e6b19ccb49ff: Verifying Checksum
e6b19ccb49ff: Download complete
98306839cb89: Verifying Checksum
98306839cb89: Download complete
bddfafb2fee5: Verifying Checksum
bddfafb2fee5: Download complete
f2750e440d8a: Verifying Checksum
f2750e440d8a: Download complete
9e654061e160: Verifying Checksum
9e654061e160: Download complete
7f24e21dc2e4: Verifying Checksum
7f24e21dc2e4: Download complete
185b1774ac44: Verifying Checksum
185b1774ac44: Download complete
54107f2de180: Pull complete
6f7c20a52ecb: Verifying Checksum
6f7c20a52ecb: Download complete
6ce9d5356d8f: Pull complete
48ad24a5491a: Pull complete
360af4912bff: Pull complete
185b1774ac44: Pull complete
98306839cb89: Pull complete
b2b9fb9c0297: Pull complete
210a4d811fc2: Pull complete
e6b19ccb49ff: Pull complete
9e654061e160: Pull complete
bddfafb2fee5: Pull complete
f2750e440d8a: Pull complete
6f7c20a52ecb: Pull complete
7f24e21dc2e4: Pull complete
Digest: sha256:cf44c55704e0b05afee76d956aadac96b432215f28e81de72941e93b8a3dc5a0
Status: Downloaded newer image for maxonfjvipon/rultor-image-hs:master
docker.io/maxonfjvipon/rultor-image-hs:master
+ grep --quiet '\sobjectionary_phino_40\s*$'
+ docker ps --filter=status=exited
+ ls -al .
total 52
drwx------ 3 ubuntu ubuntu 4096 Jun 3 11:13 .
drwxrwxrwt 12 root root 4096 Jun 3 11:13 ..
-rwxrwxr-x 1 ubuntu ubuntu 658 Jun 3 11:15 end.sh
-rwxrwxr-x 1 ubuntu ubuntu 162 Jun 3 11:13 entry.sh
-rw-rw-r-- 1 ubuntu ubuntu 65 Jun 3 11:13 hackage-auth
-rw-rw-r-- 1 ubuntu ubuntu 5 Jun 3 11:13 pid
drwxrwxr-x 10 ubuntu ubuntu 4096 Jun 3 11:13 repo
-rwxrwxr-x 1 ubuntu ubuntu 6563 Jun 3 11:13 run.sh
-rw-rw-r-- 1 ubuntu ubuntu 563 Jun 3 11:13 script.sh
-rw-rw-r-- 1 ubuntu ubuntu 8850 Jun 3 11:16 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-QbCb:/main --env=head=git@github.com:objectionary/phino.git --env=pull_id=40 --env=fork=git@github.com:objectionary/phino.git --env=fork_branch=bug/#36/rule-per-file --env=head_branch=master '--env=pull_title=bug(#36): one rule per file' --env=author=maxonfjvipon '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_id=40'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork_branch=bug/#36/rule-per-file'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=master'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_title=bug(#36): one rule per file'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=maxonfjvipon'\''\'\'''\'''\'' '\'';'\'' '\''cabal --version'\'' '\'';'\'' '\''ghc --version'\'' '\'';'\'' '\''cabal update'\'' '\'';'\'' '\''pdd -f /dev/null -v'\'' '\'';'\'' '\''cabal build'\'' '\'';'\'' '\''cabal test'\'' '\'';'\'' )' --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-QbCb/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_phino_40 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 is up to date.
The index-state is set to 2025-06-03T08:53:00Z.
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/dc.yaml ...
Reading src/Ast.hs ...
Reading src/Builder.hs ...
Reading src/CLI.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/Main.hs ...
Reading test/MatcherSpec.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-resources/cli/desugar.phi ...
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/desugar-fibo.yaml ...
Reading test-resources/rewriter-packs/desugares.yaml ...
Reading test-resources/rewriter-packs/from-formation-to-application.yaml ...
Reading test-resources/rewriter-packs/normalize/dc-from-paper.yaml ...
Reading test-resources/rewriter-packs/normalize/dc-in-subformation.yaml ...
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.0 (lib) (first run)
- phino-0.0.0.0 (exe:phino) (first run)
Configuring library for phino-0.0.0.0...
Preprocessing library for phino-0.0.0.0...
Building library for phino-0.0.0.0...
[ 1 of 11] Compiling Ast ( src/Ast.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Ast.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Ast.dyn_o )
[ 2 of 11] Compiling Misc ( src/Misc.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Misc.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Misc.dyn_o )
[ 3 of 11] Compiling Matcher ( src/Matcher.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Matcher.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Matcher.dyn_o )
[ 4 of 11] Compiling Builder ( src/Builder.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Builder.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Builder.dyn_o )
[ 5 of 11] Compiling Parser ( src/Parser.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Parser.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Parser.dyn_o )
[ 6 of 11] Compiling Paths_phino ( /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/autogen/Paths_phino.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Paths_phino.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Paths_phino.dyn_o )
[ 7 of 11] Compiling Printer ( src/Printer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Printer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Printer.dyn_o )
[ 8 of 11] Compiling Replacer ( src/Replacer.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Replacer.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Replacer.dyn_o )
[ 9 of 11] Compiling Yaml ( src/Yaml.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Yaml.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Yaml.dyn_o )
[10 of 11] Compiling Rewriter ( src/Rewriter.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Rewriter.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/Rewriter.dyn_o )
[11 of 11] Compiling CLI ( src/CLI.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/CLI.o, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/build/CLI.dyn_o )
Configuring executable 'phino' for phino-0.0.0.0...
Preprocessing executable 'phino' for phino-0.0.0.0...
Building executable 'phino' for phino-0.0.0.0...
[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.0/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.0/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):
- call-stack-0.4.0 (lib) (requires download & build)
- haskell-lexer-1.2.1 (lib) (requires download & build)
- hspec-discover-2.11.12 (lib) (requires download & build)
- silently-1.2.5.4 (lib) (requires download & build)
- tf-random-0.5 (lib) (requires download & build)
- HUnit-1.6.2.0 (lib) (requires download & build)
- hspec-discover-2.11.12 (exe:hspec-discover) (requires download & build)
- quickcheck-io-0.2.0 (lib) (requires download & build)
- hspec-expectations-0.8.4 (lib) (requires download & build)
- hspec-core-2.11.12 (lib) (requires download & build)
- hspec-2.11.12 (lib) (requires download & build)
- phino-0.0.0.0 (test:spec) (first run)
Downloading call-stack-0.4.0
Downloaded call-stack-0.4.0
Downloading haskell-lexer-1.2.1
Configuring library for call-stack-0.4.0...
Downloaded haskell-lexer-1.2.1
Downloading tf-random-0.5
Downloaded tf-random-0.5
Downloading hspec-discover-2.11.12
Downloaded hspec-discover-2.11.12
Downloading silently-1.2.5.4
Preprocessing library for call-stack-0.4.0...
Building library for call-stack-0.4.0...
Downloaded silently-1.2.5.4
Downloading HUnit-1.6.2.0
[1 of 3] Compiling Data.SrcLoc ( src/Data/SrcLoc.hs, dist/build/Data/SrcLoc.o, dist/build/Data/SrcLoc.dyn_o )
[2 of 3] Compiling Data.CallStack ( src/Data/CallStack.hs, dist/build/Data/CallStack.o, dist/build/Data/CallStack.dyn_o )
[3 of 3] Compiling Paths_call_stack ( dist/build/autogen/Paths_call_stack.hs, dist/build/Paths_call_stack.o, dist/build/Paths_call_stack.dyn_o )
Downloaded HUnit-1.6.2.0
Downloading hspec-expectations-0.8.4
Downloaded hspec-expectations-0.8.4
Downloading quickcheck-io-0.2.0
Downloaded quickcheck-io-0.2.0
Downloading hspec-core-2.11.12
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/call-stack-0.4.0-778704f09f8d0036449a0a31d5b4c128f5595dbcf3020712431d499dd129545f/lib
Downloaded hspec-core-2.11.12
Downloading hspec-2.11.12
Configuring library for haskell-lexer-1.2.1...
Downloaded hspec-2.11.12
Preprocessing library for haskell-lexer-1.2.1...
Building library for haskell-lexer-1.2.1...
[1 of 6] Compiling Language.Haskell.Lexer.Position ( Language/Haskell/Lexer/Position.hs, dist/build/Language/Haskell/Lexer/Position.o, dist/build/Language/Haskell/Lexer/Position.dyn_o )
[2 of 6] Compiling Language.Haskell.Lexer.Tokens ( Language/Haskell/Lexer/Tokens.hs, dist/build/Language/Haskell/Lexer/Tokens.o, dist/build/Language/Haskell/Lexer/Tokens.dyn_o )
[3 of 6] Compiling Language.Haskell.Lexer.Layout ( Language/Haskell/Lexer/Layout.hs, dist/build/Language/Haskell/Lexer/Layout.o, dist/build/Language/Haskell/Lexer/Layout.dyn_o )
[4 of 6] Compiling Language.Haskell.Lexer.Utils ( Language/Haskell/Lexer/Utils.hs, dist/build/Language/Haskell/Lexer/Utils.o, dist/build/Language/Haskell/Lexer/Utils.dyn_o )
[5 of 6] Compiling Language.Haskell.Lexer.Lex ( Language/Haskell/Lexer/Lex.hs, dist/build/Language/Haskell/Lexer/Lex.o, dist/build/Language/Haskell/Lexer/Lex.dyn_o )
[6 of 6] Compiling Language.Haskell.Lexer ( Language/Haskell/Lexer.hs, dist/build/Language/Haskell/Lexer.o, dist/build/Language/Haskell/Lexer.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/haskell-lexer-1.2.1-0c5bfa82db38e844bfcdec4bb153f7f697fb8894b77917b6126b7551268f93a9/lib
Configuring library for hspec-discover-2.11.12...
Preprocessing library for hspec-discover-2.11.12...
Building library for hspec-discover-2.11.12...
[1 of 4] Compiling Paths_hspec_discover ( dist/build/autogen/Paths_hspec_discover.hs, dist/build/Paths_hspec_discover.o, dist/build/Paths_hspec_discover.dyn_o )
[2 of 4] Compiling Test.Hspec.Discover.Config ( src/Test/Hspec/Discover/Config.hs, dist/build/Test/Hspec/Discover/Config.o, dist/build/Test/Hspec/Discover/Config.dyn_o )
[3 of 4] Compiling Test.Hspec.Discover.Sort ( src/Test/Hspec/Discover/Sort.hs, dist/build/Test/Hspec/Discover/Sort.o, dist/build/Test/Hspec/Discover/Sort.dyn_o )
[4 of 4] Compiling Test.Hspec.Discover.Run ( src/Test/Hspec/Discover/Run.hs, dist/build/Test/Hspec/Discover/Run.o, dist/build/Test/Hspec/Discover/Run.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/hspec-discover-2.11.12-392a8b3c13ebbbb4a80b00c69cb8a14e3d235748da7d35affb9c2b22be63b48d/lib
Configuring library for silently-1.2.5.4...
Preprocessing library for silently-1.2.5.4...
Building library for silently-1.2.5.4...
[1 of 1] Compiling System.IO.Silently ( src/System/IO/Silently.hs, dist/build/System/IO/Silently.o, dist/build/System/IO/Silently.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/silently-1.2.5.4-0e5e7d028d1683c38a9887a84d578c098eb47399453d082ed0b9609c640e9c65/lib
Configuring library for tf-random-0.5...
Preprocessing library for tf-random-0.5...
Building library for tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o, dist/build/System/Random/TF/Gen.dyn_o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o, dist/build/System/Random/TF/Init.dyn_o )
;1msrc/System/Random/TF/Init.hs:94:5: ;1m35mwarning0m0m;1m: [;1m35mGHC-684410m0m;1m] [;1m35m-Wdeprecations0m0m;1m]0m0m;1m
In the use of ‘bitSize’
(imported from Data.Bits, but defined in GHC.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"0m0m
;1m34m |0m0m
;1m34m94 |0m0m | ;1m35mbitSize0m0m n > 64 = error "mkTFGen: case where size of Int > 64 not implemented"
;1m34m |0m0m;1m35m ^^^^^^^0m0m
[3 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o, dist/build/System/Random/TF.dyn_o )
[4 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o, dist/build/System/Random/TF/Instances.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/tf-random-0.5-8fdd1fbdec7efdd13d5e2cab0095bb0ad076176a5b72231ba23c2d971043929c/lib
Configuring library for HUnit-1.6.2.0...
Preprocessing library for HUnit-1.6.2.0...
Building library for HUnit-1.6.2.0...
[1 of 6] Compiling Paths_HUnit ( dist/build/autogen/Paths_HUnit.hs, dist/build/Paths_HUnit.o, dist/build/Paths_HUnit.dyn_o )
[2 of 6] Compiling Test.HUnit.Lang ( src/Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o, dist/build/Test/HUnit/Lang.dyn_o )
[3 of 6] Compiling Test.HUnit.Base ( src/Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o, dist/build/Test/HUnit/Base.dyn_o )
[4 of 6] Compiling Test.HUnit.Terminal ( src/Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o, dist/build/Test/HUnit/Terminal.dyn_o )
[5 of 6] Compiling Test.HUnit.Text ( src/Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o, dist/build/Test/HUnit/Text.dyn_o )
[6 of 6] Compiling Test.HUnit ( src/Test/HUnit.hs, dist/build/Test/HUnit.o, dist/build/Test/HUnit.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/HUnit-1.6.2.0-c42f2c07b0ee64b742cf244b8c8a210512da0bd8d6cc6865b5ca8d56d3a00d52/lib
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-325/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-325/opt/cabal/store/ghc-9.6.7/hspec-discover-2.11.12-e-hspec-discover-422385f6758c02df691cc2a8edcbb005601409f2935561adbfaf1533480b4bf5/bin
is not in the system search path.
Configuring library for quickcheck-io-0.2.0...
Preprocessing library for quickcheck-io-0.2.0...
Building library for quickcheck-io-0.2.0...
[1 of 2] Compiling Paths_quickcheck_io ( dist/build/autogen/Paths_quickcheck_io.hs, dist/build/Paths_quickcheck_io.o, dist/build/Paths_quickcheck_io.dyn_o )
[2 of 2] Compiling Test.QuickCheck.IO ( src/Test/QuickCheck/IO.hs, dist/build/Test/QuickCheck/IO.o, dist/build/Test/QuickCheck/IO.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/quickcheck-io-0.2.0-9ed1ec9da7841fee0a4060fc4fe135874eb6a2866bf643b2dfc669ef3f413499/lib
Configuring library for hspec-expectations-0.8.4...
Preprocessing library for hspec-expectations-0.8.4...
Building library for hspec-expectations-0.8.4...
[1 of 4] Compiling Paths_hspec_expectations ( dist/build/autogen/Paths_hspec_expectations.hs, dist/build/Paths_hspec_expectations.o, dist/build/Paths_hspec_expectations.dyn_o )
[2 of 4] Compiling Test.Hspec.Expectations.Contrib ( src/Test/Hspec/Expectations/Contrib.hs, dist/build/Test/Hspec/Expectations/Contrib.o, dist/build/Test/Hspec/Expectations/Contrib.dyn_o )
[3 of 4] Compiling Test.Hspec.Expectations.Matcher ( src/Test/Hspec/Expectations/Matcher.hs, dist/build/Test/Hspec/Expectations/Matcher.o, dist/build/Test/Hspec/Expectations/Matcher.dyn_o )
[4 of 4] Compiling Test.Hspec.Expectations ( src/Test/Hspec/Expectations.hs, dist/build/Test/Hspec/Expectations.o, dist/build/Test/Hspec/Expectations.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/hspec-expectations-0.8.4-a25097cce40483d09e4abc2826a6f7694ab9f5eedd8a9c133c1e382092cf5fef/lib
Configuring library for hspec-core-2.11.12...
Preprocessing library for hspec-core-2.11.12...
Building library for hspec-core-2.11.12...
[ 1 of 52] Compiling Control.Concurrent.Async ( vendor/Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[ 2 of 52] Compiling Data.Algorithm.Diff ( vendor/Data/Algorithm/Diff.hs, dist/build/Data/Algorithm/Diff.o, dist/build/Data/Algorithm/Diff.dyn_o )
[ 3 of 52] Compiling Paths_hspec_core ( dist/build/autogen/Paths_hspec_core.hs, dist/build/Paths_hspec_core.o, dist/build/Paths_hspec_core.dyn_o )
[ 4 of 52] Compiling Test.Hspec.Core.Compat ( src/Test/Hspec/Core/Compat.hs, dist/build/Test/Hspec/Core/Compat.o, dist/build/Test/Hspec/Core/Compat.dyn_o )
[ 5 of 52] Compiling Test.Hspec.Core.Clock ( src/Test/Hspec/Core/Clock.hs, dist/build/Test/Hspec/Core/Clock.o, dist/build/Test/Hspec/Core/Clock.dyn_o )
[ 6 of 52] Compiling Test.Hspec.Core.Annotations ( src/Test/Hspec/Core/Annotations.hs, dist/build/Test/Hspec/Core/Annotations.o, dist/build/Test/Hspec/Core/Annotations.dyn_o )
[ 7 of 52] Compiling NonEmpty ( src/NonEmpty.hs, dist/build/NonEmpty.o, dist/build/NonEmpty.dyn_o )
[ 8 of 52] Compiling GetOpt.Declarative.Types ( src/GetOpt/Declarative/Types.hs, dist/build/GetOpt/Declarative/Types.o, dist/build/GetOpt/Declarative/Types.dyn_o )
[ 9 of 52] Compiling GetOpt.Declarative.Environment ( src/GetOpt/Declarative/Environment.hs, dist/build/GetOpt/Declarative/Environment.o, dist/build/GetOpt/Declarative/Environment.dyn_o )
[10 of 52] Compiling Test.Hspec.Core.Example.Location ( src/Test/Hspec/Core/Example/Location.hs, dist/build/Test/Hspec/Core/Example/Location.o, dist/build/Test/Hspec/Core/Example/Location.dyn_o )
[11 of 52] Compiling Test.Hspec.Core.Formatters.Diff ( src/Test/Hspec/Core/Formatters/Diff.hs, dist/build/Test/Hspec/Core/Formatters/Diff.o, dist/build/Test/Hspec/Core/Formatters/Diff.dyn_o )
[12 of 52] Compiling Test.Hspec.Core.Formatters.Pretty.Parser.Parser ( src/Test/Hspec/Core/Formatters/Pretty/Parser/Parser.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser/Parser.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser/Parser.dyn_o )
[13 of 52] Compiling Test.Hspec.Core.Formatters.Pretty.Parser ( src/Test/Hspec/Core/Formatters/Pretty/Parser.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.dyn_o )
[14 of 52] Compiling Test.Hspec.Core.Formatters.Pretty.Unicode ( src/Test/Hspec/Core/Formatters/Pretty/Unicode.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.dyn_o )
[15 of 52] Compiling Test.Hspec.Core.Formatters.Pretty ( src/Test/Hspec/Core/Formatters/Pretty.hs, dist/build/Test/Hspec/Core/Formatters/Pretty.o, dist/build/Test/Hspec/Core/Formatters/Pretty.dyn_o )
[16 of 52] Compiling Test.Hspec.Core.Formatters.V1.Free ( src/Test/Hspec/Core/Formatters/V1/Free.hs, dist/build/Test/Hspec/Core/Formatters/V1/Free.o, dist/build/Test/Hspec/Core/Formatters/V1/Free.dyn_o )
[17 of 52] Compiling Test.Hspec.Core.Runner.JobQueue ( src/Test/Hspec/Core/Runner/JobQueue.hs, dist/build/Test/Hspec/Core/Runner/JobQueue.o, dist/build/Test/Hspec/Core/Runner/JobQueue.dyn_o )
[18 of 52] Compiling Test.Hspec.Core.Timer ( src/Test/Hspec/Core/Timer.hs, dist/build/Test/Hspec/Core/Timer.o, dist/build/Test/Hspec/Core/Timer.dyn_o )
[19 of 52] Compiling Test.Hspec.Core.Util ( src/Test/Hspec/Core/Util.hs, dist/build/Test/Hspec/Core/Util.o, dist/build/Test/Hspec/Core/Util.dyn_o )
[20 of 52] Compiling Test.Hspec.Core.QuickCheck.Util ( src/Test/Hspec/Core/QuickCheck/Util.hs, dist/build/Test/Hspec/Core/QuickCheck/Util.o, dist/build/Test/Hspec/Core/QuickCheck/Util.dyn_o )
[21 of 52] Compiling Test.Hspec.Core.Example ( src/Test/Hspec/Core/Example.hs, dist/build/Test/Hspec/Core/Example.o, dist/build/Test/Hspec/Core/Example.dyn_o )
[22 of 52] Compiling Test.Hspec.Core.Tree ( src/Test/Hspec/Core/Tree.hs, dist/build/Test/Hspec/Core/Tree.o, dist/build/Test/Hspec/Core/Tree.dyn_o )
[23 of 52] Compiling Test.Hspec.Core.Shuffle ( src/Test/Hspec/Core/Shuffle.hs, dist/build/Test/Hspec/Core/Shuffle.o, dist/build/Test/Hspec/Core/Shuffle.dyn_o )
[24 of 52] Compiling Test.Hspec.Core.Format ( src/Test/Hspec/Core/Format.hs, dist/build/Test/Hspec/Core/Format.o, dist/build/Test/Hspec/Core/Format.dyn_o )
[25 of 52] Compiling Test.Hspec.Core.Runner.Result ( src/Test/Hspec/Core/Runner/Result.hs, dist/build/Test/Hspec/Core/Runner/Result.o, dist/build/Test/Hspec/Core/Runner/Result.dyn_o )
[26 of 52] Compiling Test.Hspec.Core.Formatters.V1.Monad ( src/Test/Hspec/Core/Formatters/V1/Monad.hs, dist/build/Test/Hspec/Core/Formatters/V1/Monad.o, dist/build/Test/Hspec/Core/Formatters/V1/Monad.dyn_o )
[27 of 52] Compiling Test.Hspec.Core.Formatters.Internal ( src/Test/Hspec/Core/Formatters/Internal.hs, dist/build/Test/Hspec/Core/Formatters/Internal.o, dist/build/Test/Hspec/Core/Formatters/Internal.dyn_o )
[28 of 52] Compiling Test.Hspec.Core.Formatters.V2 ( src/Test/Hspec/Core/Formatters/V2.hs, dist/build/Test/Hspec/Core/Formatters/V2.o, dist/build/Test/Hspec/Core/Formatters/V2.dyn_o )
[29 of 52] Compiling Test.Hspec.Core.Runner.PrintSlowSpecItems ( src/Test/Hspec/Core/Runner/PrintSlowSpecItems.hs, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.o, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.dyn_o )
[30 of 52] Compiling Test.Hspec.Core.Formatters.V1.Internal ( src/Test/Hspec/Core/Formatters/V1/Internal.hs, dist/build/Test/Hspec/Core/Formatters/V1/Internal.o, dist/build/Test/Hspec/Core/Formatters/V1/Internal.dyn_o )
[31 of 52] Compiling Test.Hspec.Core.Formatters.V1 ( src/Test/Hspec/Core/Formatters/V1.hs, dist/build/Test/Hspec/Core/Formatters/V1.o, dist/build/Test/Hspec/Core/Formatters/V1.dyn_o )
[32 of 52] Compiling Test.Hspec.Core.Formatters ( src/Test/Hspec/Core/Formatters.hs, dist/build/Test/Hspec/Core/Formatters.o, dist/build/Test/Hspec/Core/Formatters.dyn_o )
[33 of 52] Compiling GetOpt.Declarative.Util ( src/GetOpt/Declarative/Util.hs, dist/build/GetOpt/Declarative/Util.o, dist/build/GetOpt/Declarative/Util.dyn_o )
[34 of 52] Compiling GetOpt.Declarative.Interpret ( src/GetOpt/Declarative/Interpret.hs, dist/build/GetOpt/Declarative/Interpret.o, dist/build/GetOpt/Declarative/Interpret.dyn_o )
[35 of 52] Compiling GetOpt.Declarative ( src/GetOpt/Declarative.hs, dist/build/GetOpt/Declarative.o, dist/build/GetOpt/Declarative.dyn_o )
[36 of 52] Compiling Test.Hspec.Core.Config.Definition ( src/Test/Hspec/Core/Config/Definition.hs, dist/build/Test/Hspec/Core/Config/Definition.o, dist/build/Test/Hspec/Core/Config/Definition.dyn_o )
[37 of 52] Compiling Test.Hspec.Core.Spec.Monad ( src/Test/Hspec/Core/Spec/Monad.hs, dist/build/Test/Hspec/Core/Spec/Monad.o, dist/build/Test/Hspec/Core/Spec/Monad.dyn_o )
[38 of 52] Compiling Test.Hspec.Core.QuickCheck ( src/Test/Hspec/Core/QuickCheck.hs, dist/build/Test/Hspec/Core/QuickCheck.o, dist/build/Test/Hspec/Core/QuickCheck.dyn_o )
[39 of 52] Compiling Test.Hspec.Core.Hooks ( src/Test/Hspec/Core/Hooks.hs, dist/build/Test/Hspec/Core/Hooks.o, dist/build/Test/Hspec/Core/Hooks.dyn_o )
[40 of 52] Compiling Test.Hspec.Core.Spec ( src/Test/Hspec/Core/Spec.hs, dist/build/Test/Hspec/Core/Spec.o, dist/build/Test/Hspec/Core/Spec.dyn_o )
[41 of 52] Compiling Test.Hspec.Core.Runner.Eval ( src/Test/Hspec/Core/Runner/Eval.hs, dist/build/Test/Hspec/Core/Runner/Eval.o, dist/build/Test/Hspec/Core/Runner/Eval.dyn_o )
[42 of 52] Compiling Test.Hspec.Core.Extension.Tree ( src/Test/Hspec/Core/Extension/Tree.hs, dist/build/Test/Hspec/Core/Extension/Tree.o, dist/build/Test/Hspec/Core/Extension/Tree.dyn_o )
[43 of 52] Compiling Test.Hspec.Core.Extension.Spec ( src/Test/Hspec/Core/Extension/Spec.hs, dist/build/Test/Hspec/Core/Extension/Spec.o, dist/build/Test/Hspec/Core/Extension/Spec.dyn_o )
[44 of 52] Compiling Test.Hspec.Core.Extension.Item ( src/Test/Hspec/Core/Extension/Item.hs, dist/build/Test/Hspec/Core/Extension/Item.o, dist/build/Test/Hspec/Core/Extension/Item.dyn_o )
[45 of 52] Compiling Test.Hspec.Core.FailureReport ( src/Test/Hspec/Core/FailureReport.hs, dist/build/Test/Hspec/Core/FailureReport.o, dist/build/Test/Hspec/Core/FailureReport.dyn_o )
[46 of 52] Compiling Test.Hspec.Core.Extension.Config.Type ( src/Test/Hspec/Core/Extension/Config/Type.hs, dist/build/Test/Hspec/Core/Extension/Config/Type.o, dist/build/Test/Hspec/Core/Extension/Config/Type.dyn_o )
[47 of 52] Compiling Test.Hspec.Core.Extension.Option ( src/Test/Hspec/Core/Extension/Option.hs, dist/build/Test/Hspec/Core/Extension/Option.o, dist/build/Test/Hspec/Core/Extension/Option.dyn_o )
[48 of 52] Compiling Test.Hspec.Core.Extension.Config ( src/Test/Hspec/Core/Extension/Config.hs, dist/build/Test/Hspec/Core/Extension/Config.o, dist/build/Test/Hspec/Core/Extension/Config.dyn_o )
[49 of 52] Compiling Test.Hspec.Core.Extension ( src/Test/Hspec/Core/Extension.hs, dist/build/Test/Hspec/Core/Extension.o, dist/build/Test/Hspec/Core/Extension.dyn_o )
[50 of 52] Compiling Test.Hspec.Core.Config.Options ( src/Test/Hspec/Core/Config/Options.hs, dist/build/Test/Hspec/Core/Config/Options.o, dist/build/Test/Hspec/Core/Config/Options.dyn_o )
[51 of 52] Compiling Test.Hspec.Core.Config ( src/Test/Hspec/Core/Config.hs, dist/build/Test/Hspec/Core/Config.o, dist/build/Test/Hspec/Core/Config.dyn_o )
[52 of 52] Compiling Test.Hspec.Core.Runner ( src/Test/Hspec/Core/Runner.hs, dist/build/Test/Hspec/Core/Runner.o, dist/build/Test/Hspec/Core/Runner.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/hspec-core-2.11.12-105db28859204a2b430f2566241f5c63a9e922476731cc84617fa37deb299b50/lib
Configuring library for hspec-2.11.12...
Preprocessing library for hspec-2.11.12...
Building library for hspec-2.11.12...
[1 of 6] Compiling Paths_hspec ( dist/build/autogen/Paths_hspec.hs, dist/build/Paths_hspec.o, dist/build/Paths_hspec.dyn_o )
[2 of 6] Compiling Test.Hspec.Discover ( src/Test/Hspec/Discover.hs, dist/build/Test/Hspec/Discover.o, dist/build/Test/Hspec/Discover.dyn_o )
[3 of 6] Compiling Test.Hspec.Formatters ( src/Test/Hspec/Formatters.hs, dist/build/Test/Hspec/Formatters.o, dist/build/Test/Hspec/Formatters.dyn_o )
[4 of 6] Compiling Test.Hspec.Runner ( src/Test/Hspec/Runner.hs, dist/build/Test/Hspec/Runner.o, dist/build/Test/Hspec/Runner.dyn_o )
[5 of 6] Compiling Test.Hspec ( src/Test/Hspec.hs, dist/build/Test/Hspec.o, dist/build/Test/Hspec.dyn_o )
[6 of 6] Compiling Test.Hspec.QuickCheck ( src/Test/Hspec/QuickCheck.hs, dist/build/Test/Hspec/QuickCheck.o, dist/build/Test/Hspec/QuickCheck.dyn_o )
Installing library in /opt/cabal/store/ghc-9.6.7/incoming/new-325/opt/cabal/store/ghc-9.6.7/hspec-2.11.12-e51511c2fa722214a310006e9aca46774d5b3779795c89725f77a0be0b6fe9c1/lib
Configuring test suite 'spec' for phino-0.0.0.0...
Preprocessing test suite 'spec' for phino-0.0.0.0...
Building test suite 'spec' for phino-0.0.0.0...
[1 of 9] Compiling BuilderSpec ( test/BuilderSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/BuilderSpec.o )
[2 of 9] Compiling CLISpec ( test/CLISpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/CLISpec.o )
[3 of 9] Compiling MatcherSpec ( test/MatcherSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/MatcherSpec.o )
[4 of 9] Compiling ParserSpec ( test/ParserSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/ParserSpec.o )
[5 of 9] Compiling PrinterSpec ( test/PrinterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/PrinterSpec.o )
[6 of 9] Compiling ReplacerSpec ( test/ReplacerSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/ReplacerSpec.o )
[7 of 9] Compiling RewriterSpec ( test/RewriterSpec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/RewriterSpec.o )
[8 of 9] Compiling Spec ( test/Spec.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/Spec.o )
[9 of 9] Compiling Main ( test/Main.hs, /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/t/spec/build/spec/spec-tmp/Main.o )
[10 of 10] Linking /home/r/repo/dist-newstyle/build/x86_64-linux/ghc-9.6.7/phino-0.0.0.0/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]
buildExpressions
K7l !e!=>=[(!e!>>>Q.x),)(!e!>>>$.y)])=>=[Q.x,x$.y]y[32m✔0m]
K7l !e!=>=[(!e1e>>>Q.x)])=>=X [32m✔0m]
CLI
rewrites
K7l desugaresewitht--nothingnflagafromofilel[32m✔0m]
K7l desugaresewitht--nothingnflagafromostdini[32m✔0m]
K7l rewritesewithtsinglelrulel[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]
matchAttribute: attribute => attribute => substitution
K7l ~1~=>=~1~=>=()([32m✔0m]
K7l !a!=>=^ =>=(!a!>>>^)^[32m✔0m]
K7l !a!=>=@ =>=(!a!>>>@)@[32m✔0m]
K7l ~0~=>=x =>=X [32m✔0m]
matchNonMetaExactBindings
K7l [^[->-?,?!a!->-?]?=>=[^[->-?,?x ->-?]?=>=(!a!>>>x)x[32m✔0m]
K7l [^[->-?,?!a!->-?]?=>=[!x!->-?,?^ ->-?]?=>=(!a!>>>x)x[32m✔0m]
K7l [^[->-?]?=>=[^[->-?]?=>=()([32m✔0m]
matchBindings: [binding] => [binding] => substitution
K7l [][=>=[][=>=()([32m✔0m]
K7l [!B]B=>=T:[x[->-?,?D>D01-,-L>LFunc]c=>=(!B!>>>T)T[32m✔0m]
K7l [D>D00-]-=>=[D>D00-,-L>LFunc]c=>=X [32m✔0m]
K7l [y[->-?,?!a!->-?]?=>=[x[->-?,?y ->-?]?=>=(!a!>>>x)x[32m✔0m]
K7l [!B,Bx ->-?]?=>=[x[->-?]?=>=(!B!>>>[])][32m✔0m]
K7l [!B,Bx ->-?]?=>=[x[->-?,?y ->-?]?=>=(!B!>>>[y[->-?])][32m✔0m]
K7l [!B,B!x!->-?]?=>=[y[->-?,?D>D->-00-,-L>LFunc]c=>=(!x!>>>y,y!B!>>>[D>D->-00-,-L>LFunc])][32m✔0m]
K7l [!x!->-?,?!y!->-?]?=>=[a[->-?,?b ->-?]?=>=(!x!>>>a,a!y!>>>b)b[32m✔0m]
matchExpression: expression => pattern => substitution
K7l $ =>=$ =>=()([32m✔0m]
K7l Q =>=Q =>=()([32m✔0m]
K7l !e!=>=Q =>=(!e!>>>Q)Q[32m✔0m]
K7l !e!=>=Q.org(x(->-$)$=>=(!e!>>>Q.org(x(->-$)))[32m✔0m]
K7l !e1.x.=>=Q.org.x.=>=(!e1e>>>Q.org)g[32m✔0m]
K7l !e.org.!a!=>=$.org.x.=>=(!e!>>>$,$!a!>>>x)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]
matchBindingsWithFiltering: [binding] => [binding] => ([binding], substitution)
K7l [^[->-?]?=>=[^[->-?]?=>=([],]()))[32m✔0m]
K7l [x[->-?]?=>=[x[->-?]?=>=([],]()))[32m✔0m]
K7l [x[->-?]?=>=[x[->-?,?^ ->-?]?=>=([^[->-?],]()))[32m✔0m]
K7l [!a!->-?]?=>=[x[->-?]?=>=([],](!a!->-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]
isBindingWithMetaAttr
K7l doesenototouchcsimplelattrt[32m✔0m]
K7l recognizesevoidimetatattrt[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 Q.x(!B)B[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 Q.x(!B)B[32m✔0m]
K7l Q.x(~1~->-Q.y,yx ->-5,5!B1)1[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]
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]
Rewriter
rewrite packs
K7l from-formation-to-application.yamlm[32m✔0m]
K7l desugar-fibo.yamlm[32m✔0m]
K7l normalize/dc-from-paper.yamlm[32m✔0m]
K7l normalize/dc-in-subformation.yamlm[32m✔0m]
K7l desugares.yamlm[32m✔0m]
Finished in 0.0984 seconds
32m147 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.0/t/spec/test/phino-0.0.0.0-spec.log
1 of 1 test suites (1 of 1 test cases) passed.
+ mv /home/r/repo .
+ '[' -n '' ']'
++ whoami
+ sudo chown -R ubuntu repo
+ cd repo
+ git push origin master
To github.com:objectionary/phino.git
ee048c7..39e79bb master -> master
container 64a9f1f24342578a86170a496dc641537fdc6016a2e9638dc73fd82aabcb95b8 is dead
Tue Jun 3 11:18:37 UTC 2025
This build log was produced by
rultor.com
for
objectionary/phino#40