The time is now Tuesday, April 2nd, 2024 11:08:09pm (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto typed-peg && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package typed-peg) Resolved "typed-peg" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "rodrigogribeiro@gmail.com") (checksum . "773dcafa8233c6c0a2fa67276e2d2c1c96ea7200") (dependencies . (("base") ("pprint") ("peg-gen") ("rackcheck") ("parser-tools-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A parsing expression grammar library that uses a type inference algorithm to ensure termination of the parsing process.") (modules . ((lib "typed-peg/typing/constraint-solver.rkt") (lib "typed-peg/grammar.rkt") (lib "typed-peg/debug/constraints-only.rkt") (lib "typed-peg/typing/solver/model-lexer.rkt") (lib "typed-peg/examples/test10.rkt") (lib "typed-peg/lexer.rkt") (lib "typed-peg/debug/infer-only.rkt") (lib "typed-peg/examples/test7.rkt") (lib "typed-peg/debug/tokenize-only.rkt") (lib "typed-peg/tests/testgen.rkt") (lib "typed-peg/tree.rkt") (lib "typed-peg/typing/constraint-pretty.rkt") (lib "typed-peg/typing/constraint.rkt") (lib "typed-peg/examples/test8.rkt") (lib "typed-peg/debug/parse-only.rkt") (lib "typed-peg/examples/test9.rkt") (lib "typed-peg/scribblings/typed-peg.scrbl") (lib "typed-peg/examples/test1.rkt") (lib "typed-peg/typing/type.rkt") (lib "typed-peg/examples/test4.rkt") (lib "typed-peg/examples/test13.rkt") (lib "typed-peg/reader.rkt") (lib "typed-peg/core.rkt") (lib "typed-peg/examples/test6.rkt") (lib "typed-peg/examples/test2.rkt") (lib "typed-peg/examples/test3.rkt") (lib "typed-peg/examples/test11.rkt") (lib "typed-peg/main.rkt") (lib "typed-peg/pretty.rkt") (lib "typed-peg/examples/test12.rkt") (lib "typed-peg/untyped.rkt") (lib "typed-peg/typing/solver/model-parser.rkt") (lib "typed-peg/parser.rkt") (lib "typed-peg/typing/solver/script-gen.rkt") (lib "typed-peg/debug/z3-script-only.rkt") (lib "typed-peg/typing/constraint-gen.rkt") (lib "typed-peg/typing/infer.rkt") (lib "typed-peg/examples/test5.rkt"))) (name . "typed-peg") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-peg.zip") (tags . ("parsing" "PEG"))) 00: Resolved "pprint" via file:///home/root//catalogs/built/catalog 00: Resolved "peg-gen" via file:///home/root//catalogs/built/catalog Resolved "rackcheck" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "asumu@ccs.neu.edu") (checksum . "2f9f982dbd8f54922fbb485f3290f485766b9f3a") (dependencies . (("base") ("dherman-struct") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "A universal pretty printing library") (modules . ((lib "pprint/haskell.rkt") (lib "pprint/pprint.scrbl") (lib "pprint/main.rkt") (lib "pprint/tests.rkt"))) (name . "pprint") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pprint.zip") (tags . ("io" "printing"))) pkg: catalog response: #hash((author . "eltonm.cardoso@gmail.com") (checksum . "40d2f316f973dd0d3af722aa084bcaade75d8bff") (dependencies . (("algorithms") ("base") ("rackcheck") ("rackunit") ("cover-lib") ("algorithms") ("cover") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Well-formed random PEG generator") (modules . ((lib "peg-gen/peg-gen-syntax-factory.rkt") (lib "peg-gen/scribblings/peg-gen.scrbl") (lib "peg-gen/gen-utils.rkt") (lib "peg-gen/tests/verf-well-formed.rkt") (lib "peg-gen/tests/well-formed.rkt") (lib "peg-gen/peg-gen.rkt") (lib "peg-gen/peg-gen-types.rkt") (lib "peg-gen/tests/simpleTests.rkt") (lib "peg-gen/peg-gen-syntax.rkt") (lib "peg-gen/tests/test-coverage.rkt") (lib "peg-gen/main.rkt"))) (name . "peg-gen") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/peg-gen.zip") (tags . ("GENERATOR" "PEG" "RANDOM"))) pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "c34bd7fe51f30725ac1f33263d28a927ea21ce62") (dependencies . (("base") ("rackcheck-lib") ("racket-doc") ("rackunit-doc") ("rackunit-lib") ("scribble-lib"))) (description . "A property-based testing library with shrinking support.") (modules . ((lib "rackcheck/rackcheck.scrbl"))) (name . "rackcheck") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackcheck.zip") (tags . ("quickcheck" "testing"))) Resolved "dherman-struct" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "2a448170e0fd0f7dc5049d3418aa0ed0e996952d") (dependencies . (("base") ("compatibility-lib") ("scheme-lib") ("rackunit-lib") ("srfi-lite-lib"))) (description . "A port of David Herman's struct.plt planet package") (modules . ((lib "dherman-struct/class.rkt") (lib "dherman-struct/private/tests/struct.rkt") (lib "dherman-struct/struct.rkt") (lib "dherman-struct/hierarchy.rkt") (lib "dherman-struct/private/struct-info-compat.rkt") (lib "dherman-struct/private/tests/hierarchy.rkt") (lib "dherman-struct/private/datatype-registry.rkt") (lib "dherman-struct/private/tests/class.rkt") (lib "dherman-struct/datatype.rkt") (lib "dherman-struct/private/tests/tests.rkt") (lib "dherman-struct/private/tests/datatype.rkt") (lib "dherman-struct/private/datatype-registry-data.rkt"))) (name . "dherman-struct") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/dherman-struct.zip") (tags . ())) 00: Resolved "algorithms" via file:///home/root//catalogs/built/catalog 00: Resolved "cover-lib" via file:///home/root//catalogs/built/catalog Resolved "cover" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "codereport@outlook.com") (checksum . "0e98be351c7317580788191cc17cc10344621cb9") (dependencies . (("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A package containing many useful algorithms (borrowed from many other programming languages).") (modules . ((lib "algorithms/main.rkt") (lib "algorithms/scribblings/algorithms.scrbl"))) (name . "algorithms") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/algorithms.zip") (tags . ("algorithms" "lists"))) pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "fb1b5396b3da048bcc70571b85aadacf7fb41f88") (dependencies . (("base") ("compiler-lib") ("custom-load") ("data-lib") ("errortrace-lib") ("syntax-color-lib") ("testing-util-lib"))) (description . "A code coverage tool, implementation part") (modules . ((lib "cover/raco.rkt") (lib "cover/format.rkt") (lib "cover/cover.rkt") (lib "cover/main.rkt") (lib "cover/strace.rkt") (lib "cover/private/shared.rkt") (lib "cover/private/raw.rkt") (lib "cover/private/html/html.rkt") (lib "cover/private/file-utils.rkt") (lib "cover/private/format-utils.rkt") (lib "cover/private/contracts.rkt"))) (name . "cover-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover-lib.zip") (tags . ("testing" "tools"))) pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "866e74d59b346ac26549decff36befc4aade9471") (dependencies . (("cover-lib") ("cover-doc"))) (description . "A code coverage tool") (modules . ()) (name . "cover") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover.zip") (tags . ("testing" "tools"))) Resolved "custom-load" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/top.rkt") (lib "custom-load/test/a.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/main.rkt") (lib "custom-load/test/b.rkt") (lib "custom-load/private/loader.rkt") (lib "custom-load/custom-load.scrbl"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ())) Resolved "cover-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "22a4eb7fe331b2065984040f390c5cfa766ee506") (dependencies . (("base") ("cover-lib") ("racket-doc") ("base") ("scribble-lib"))) (description . "A code coverage tool, documentation") (modules . ((lib "cover/scribblings/plugins.scrbl") (lib "cover/scribblings/cover.scrbl") (lib "cover/scribblings/api.scrbl") (lib "cover/scribblings/basics.scrbl") (lib "cover/scribblings/base.rkt"))) (name . "cover-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover-doc.zip") (tags . ("testing" "tools"))) Resolved "rackcheck-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "6efa3234b6bf8cc3e112731674b54895b63d2e6f") (dependencies . (("base") ("rackunit-lib") ("rackunit-lib"))) (description . "A property-based testing library with shrinking support. (implementation)") (modules . ((lib "rackcheck/prop.rkt") (lib "rackcheck/gen/shrink-tree.rkt") (lib "rackcheck/gen/base.rkt") (lib "rackcheck/gen/core.rkt") (lib "rackcheck/gen/syntax.rkt") (lib "rackcheck/gen/unicode.rkt") (lib "rackcheck/main.rkt") (lib "rackcheck/shrink-tree.rkt") (lib "rackcheck/rackunit.rkt"))) (name . "rackcheck-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackcheck-lib.zip") (tags . ("quickcheck" "testing"))) pkg: creating single-collection link to # pkg: updating db with "rackcheck-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck-lib") "6efa3234b6bf8cc3e112731674b54895b63d2e6f" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "typed-peg" to '#s((sc-pkg-info pkg-info 3) (catalog "typed-peg") "773dcafa8233c6c0a2fa67276e2d2c1c96ea7200" #f "typed-peg") pkg: creating single-collection link to # pkg: updating db with "pprint" to '#s((sc-pkg-info pkg-info 3) (catalog "pprint") "2f9f982dbd8f54922fbb485f3290f485766b9f3a" #t "pprint") pkg: creating link to # pkg: updating db with "dherman-struct" to '#s(pkg-info (catalog "dherman-struct") "2a448170e0fd0f7dc5049d3418aa0ed0e996952d" #t) pkg: creating single-collection link to # pkg: updating db with "peg-gen" to '#s((sc-pkg-info pkg-info 3) (catalog "peg-gen") "40d2f316f973dd0d3af722aa084bcaade75d8bff" #t "peg-gen") pkg: creating single-collection link to # pkg: updating db with "algorithms" to '#s((sc-pkg-info pkg-info 3) (catalog "algorithms") "0e98be351c7317580788191cc17cc10344621cb9" #t "algorithms") pkg: creating link to # pkg: updating db with "cover-lib" to '#s(pkg-info (catalog "cover-lib") "fb1b5396b3da048bcc70571b85aadacf7fb41f88" #t) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5" #t "custom-load") pkg: creating link to # pkg: updating db with "cover" to '#s(pkg-info (catalog "cover") "866e74d59b346ac26549decff36befc4aade9471" #t) pkg: creating link to # pkg: updating db with "cover-doc" to '#s(pkg-info (catalog "cover-doc") "22a4eb7fe331b2065984040f390c5cfa766ee506" #t) pkg: creating single-collection link to # pkg: updating db with "rackcheck" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck") "c34bd7fe51f30725ac1f33263d28a927ea21ce62" #t "rackcheck") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of typed-peg: pprint peg-gen rackcheck dependencies of pprint: dherman-struct dependencies of peg-gen: algorithms cover-lib algorithms cover dependencies of cover-lib: custom-load dependencies of cover: cover-doc dependencies of rackcheck: rackcheck-lib raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.12/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [23:08:12] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [23:08:12] raco setup: --- installing foreign libraries --- [23:08:12] raco setup: --- installing shared files --- [23:08:12] raco setup: --- compiling collections --- [23:08:12] raco setup: --- parallel build using 2 jobs --- [23:08:12] raco setup: 1 making: /algorithms raco setup: 0 making: /cover-doc/cover raco setup: 0 making: /cover-doc/cover/scribblings raco setup: 1 making: /algorithms/scribblings raco setup: 1 making: /cover-lib/cover raco setup: 1 making: /cover-lib/cover/private raco setup: 1 making: /cover-lib/cover/private/html raco setup: 1 making: /cover-lib/cover/private/html/assets raco setup: 1 making: /custom-load (custom-load) raco setup: 0 making: /dherman-struct/dherman-struct (struct) raco setup: 1 making: /custom-load/private raco setup: 1 making: /peg-gen raco setup: 0 making: /dherman-struct/dherman-struct/private raco setup: 0 making: /dherman-struct/dherman-struct/private/tests raco setup: 0 making: /pprint (pprint) raco setup: 1 making: /peg-gen/TestData raco setup: 0 making: /rackcheck raco setup: 1 making: /peg-gen/TestData/coverage-out1 raco setup: 1 making: /peg-gen/TestData/coverage-out1/assets raco setup: 1 making: /peg-gen/TestData/coverage-out1/tests raco setup: 1 making: /peg-gen/TestData/coverage-out2 raco setup: 1 making: /peg-gen/TestData/coverage-out2/assets raco setup: 1 making: /peg-gen/TestData/coverage-out2/tests raco setup: 1 making: /peg-gen/TestData/coverarage-100k raco setup: 1 making: /peg-gen/TestData/coverarage-100k/assets raco setup: 1 making: /peg-gen/TestData/coverarage-100k/experiment raco setup: 1 making: /peg-gen/coverage raco setup: 1 making: /peg-gen/coverage/assets raco setup: 1 making: /peg-gen/coverage/experiment raco setup: 1 making: /peg-gen/coverage/tests raco setup: 1 making: /peg-gen/experiment raco setup: 1 making: /peg-gen/scribblings raco setup: 1 making: /peg-gen/testResults raco setup: 1 making: /peg-gen/testResults/coverarage-100k raco setup: 1 making: /peg-gen/testResults/coverarage-100k/assets raco setup: 1 making: /peg-gen/testResults/coverarage-100k/experiment raco setup: 1 making: /peg-gen/testResults/coverarage-10k raco setup: 1 making: /peg-gen/testResults/coverarage-10k/assets raco setup: 1 making: /peg-gen/testResults/coverarage-10k/experiment raco setup: 1 making: /peg-gen/testResults/coverarage-50k raco setup: 1 making: /peg-gen/testResults/coverarage-50k/assets raco setup: 1 making: /peg-gen/testResults/coverarage-50k/experiment raco setup: 1 making: /peg-gen/testResults/oldTestsResults raco setup: 1 making: /peg-gen/testResults/oldTestsResults/coverage-out1 raco setup: 1 making: /peg-gen/testResults/oldTestsResults/coverage-out1/assets raco setup: 1 making: /peg-gen/testResults/oldTestsResults/coverage-out1/tests raco setup: 1 making: /peg-gen/testResults/oldTestsResults/coverage-out2 raco setup: 1 making: /peg-gen/testResults/oldTestsResults/coverage-out2/assets raco setup: 1 making: /peg-gen/testResults/oldTestsResults/coverage-out2/tests raco setup: 1 making: /peg-gen/tests raco setup: 1 making: /rackcheck-lib raco setup: 1 making: /rackcheck-lib/gen raco setup: 1 making: /typed-peg raco setup: 1 making: /typed-peg/debug raco setup: 1 making: /typed-peg/examples raco setup: 1 making: /typed-peg/scribblings raco setup: 1 making: /typed-peg/tests raco setup: 1 making: /typed-peg/typing raco setup: 1 making: /typed-peg/typing/solver raco setup: --- creating launchers --- [23:08:21] raco setup: --- installing man pages --- [23:08:21] raco setup: --- building documentation --- [23:08:21] raco setup: syncing: /algorithms/doc/algorithms raco setup: syncing: /cover-doc/cover/doc/cover raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /peg-gen/doc/peg-gen raco setup: syncing: /pprint/doc/pprint raco setup: syncing: /rackcheck/doc/rackcheck raco setup: syncing: /typed-peg/doc/typed-peg raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [23:08:33] raco setup: --- post-installing collections --- [23:08:33] raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/core.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/constraints-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/infer-only.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/parse-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/tokenize-only.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/z3-script-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test1.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test10.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test11.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test12.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test13.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test2.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test3.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test4.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test5.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test6.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test7.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test8.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test9.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/grammar.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/info.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/lexer.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/parser.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/pretty.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/reader.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/scribblings/typed-peg.scrbl" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/tests/testgen.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/tree.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint-gen.rkt" testgen.rkt: racket test: #< #) Failed after 1 tests: peg = (∅ (/ ϵ ϵ) ()) Shrunk: peg = (∅ 0 ()) Exception: parser: Cannot continue after error context...: /home/root/racket/collects/syntax/readerr.rkt:15:2: -raise-read-error /home/root/racket/share/pkgs/parser-tools-lib/parser-tools/yacc.rkt:356:16: parsing-loop /home/root/user/.local/share/racket/8.12/pkgs/typed-peg/typing/infer.rkt:13:0: infer /home/root/user/.local/share/racket/8.12/pkgs/typed-peg/tests/testgen.rkt:40:0: testgen .../private/check.rkt:145:27 /home/root/user/.local/share/racket/8.12/pkgs/rackcheck-lib/prop.rkt:128:4: descend-shrinks /home/root/user/.local/share/racket/8.12/pkgs/rackcheck-lib/prop.rkt:110:0: check /home/root/racket/collects/racket/contract/private/arrow-higher-order.rkt:375:33 .../private/check.rkt:124:32 /home/root/racket/share/pkgs/rackunit-lib/rackunit/private/check.rkt:70:4 body of "/home/root/user/.local/share/racket/8.12/pkgs/typed-peg/tests/testgen.rkt" /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:92:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level -------------------- /bin/sh: 1: z3: not found -------------------- FAILURE location: testgen.rkt:98:0 name: type-contexts-match seed: 604365568 params: '(# #) Failed after 1 tests: peg = (∅ ϵ ()) Shrunk: peg = (∅ 0 ()) Exception: parser: Cannot continue after error context...: /home/root/racket/collects/syntax/readerr.rkt:15:2: -raise-read-error /home/root/racket/share/pkgs/parser-tools-lib/parser-tools/yacc.rkt:356:16: parsing-loop /home/root/user/.local/share/racket/8.12/pkgs/typed-peg/typing/infer.rkt:13:0: infer .../private/check.rkt:145:27 /home/root/user/.local/share/racket/8.12/pkgs/rackcheck-lib/prop.rkt:128:4: descend-shrinks /home/root/user/.local/share/racket/8.12/pkgs/rackcheck-lib/prop.rkt:110:0: check /home/root/racket/collects/racket/contract/private/arrow-higher-order.rkt:375:33 .../private/check.rkt:124:32 /home/root/racket/share/pkgs/rackunit-lib/rackunit/private/check.rkt:70:4 body of "/home/root/user/.local/share/racket/8.12/pkgs/typed-peg/tests/testgen.rkt" /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:92:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level -------------------- non-empty stderr raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint-pretty.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint-solver.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/infer.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/solver/model-lexer.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/solver/model-parser.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/solver/script-gen.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/type.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/typed-peg/untyped.rkt" 1/1 test failures 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/core.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/constraints-only.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/infer-only.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/parse-only.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/tokenize-only.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/debug/z3-script-only.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test1.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test10.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test11.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test12.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test13.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test2.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test3.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test4.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test5.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test6.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test7.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test8.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/examples/test9.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/grammar.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/lexer.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/parser.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/pretty.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/scribblings/typed-peg.scrbl 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/tree.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint-gen.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint-pretty.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint-solver.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/constraint.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/infer.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/solver/model-lexer.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/solver/model-parser.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/solver/script-gen.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/typing/type.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/untyped.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/typed-peg/tests/testgen.rkt The time is now Tuesday, April 2nd, 2024 11:08:53pm