The time is now Tuesday, May 9th, 2023 6:37:06am (/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 4 -u --auto typed-peg peg-gen && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --drdr --package typed-peg peg-gen) 00: Resolved "typed-peg" via file:///home/root//catalogs/built/catalog Resolved "peg-gen" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "rodrigogribeiro@gmail.com") (checksum . "31ed5e5eeebf31eceb5d03feee79e8a394ce5bb6") (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"))) pkg: catalog response: #hash((author . "eltonm.cardoso@gmail.com") (checksum . "08b0d271a8806d2b322d26016ea8c5e0b3ed11d1") (dependencies . (("algorithms") ("base") ("rackcheck") ("rackunit") ("cover-lib") ("typed-peg") ("algorithms") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Well-formed random PEG generator") (modules . ((lib "peg-gen/tests/well-formed.rkt") (lib "peg-gen/tests/verf-well-formed.rkt") (lib "peg-gen/scribblings/peg-gen.scrbl") (lib "peg-gen/tests/test-coverage.rkt") (lib "peg-gen/peg-gen.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"))) 00: Resolved "pprint" 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 . "3e351b730d5afc1ff6d87f050bd3a7c04d53c155") (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 . "bogdan@defn.io") (checksum . "fcaa07a246808c178e114df31062ea2b1388a066") (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 . "307cbd7519a0d15e5dc0b2a8db352fe6c4c46ea3") (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 . ())) Resolved "rackcheck-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "946a83a5f6cbdbeefae24b6418d1c8dfa7eda81b") (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"))) 00: Resolved "algorithms" via file:///home/root//catalogs/built/catalog Resolved "cover-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "codereport@outlook.com") (checksum . "5430330b4f20ac29c0252c2b38632bdb5993e5fb") (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 . "329ca6b17867ea4217a6a4984c478a6be12a1a61") (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"))) Resolved "custom-load" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "0aa5fb55a2155f2efc28e4c493657002d1a713fd") (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 . ())) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "0aa5fb55a2155f2efc28e4c493657002d1a713fd" #t "custom-load") pkg: creating single-collection link to # pkg: updating db with "typed-peg" to '#s((sc-pkg-info pkg-info 3) (catalog "typed-peg") "31ed5e5eeebf31eceb5d03feee79e8a394ce5bb6" #f "typed-peg") pkg: creating single-collection link to # pkg: updating db with "pprint" to '#s((sc-pkg-info pkg-info 3) (catalog "pprint") "3e351b730d5afc1ff6d87f050bd3a7c04d53c155" #t "pprint") pkg: creating link to # pkg: updating db with "dherman-struct" to '#s(pkg-info (catalog "dherman-struct") "307cbd7519a0d15e5dc0b2a8db352fe6c4c46ea3" #t) pkg: creating single-collection link to # pkg: updating db with "rackcheck" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck") "fcaa07a246808c178e114df31062ea2b1388a066" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "rackcheck-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck-lib") "946a83a5f6cbdbeefae24b6418d1c8dfa7eda81b" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "peg-gen" to '#s((sc-pkg-info pkg-info 3) (catalog "peg-gen") "08b0d271a8806d2b322d26016ea8c5e0b3ed11d1" #f "peg-gen") pkg: creating single-collection link to # pkg: updating db with "algorithms" to '#s((sc-pkg-info pkg-info 3) (catalog "algorithms") "5430330b4f20ac29c0252c2b38632bdb5993e5fb" #t "algorithms") pkg: creating link to # pkg: updating db with "cover-lib" to '#s(pkg-info (catalog "cover-lib") "329ca6b17867ea4217a6a4984c478a6be12a1a61" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of typed-peg: pprint rackcheck dependencies of pprint: dherman-struct dependencies of rackcheck: rackcheck-lib dependencies of peg-gen: algorithms cover-lib algorithms dependencies of cover-lib: custom-load raco setup: version: 8.9 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.9 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.9/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.9/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.9/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 --- [10:37:09] raco setup: updating: /home/root/user/.local/share/racket/8.9/share/info-cache.rktd raco setup: --- pre-installing collections --- [10:37:09] raco setup: --- installing foreign libraries --- [10:37:09] raco setup: --- installing shared files --- [10:37:09] raco setup: --- compiling collections --- [10:37:09] raco setup: --- parallel build using 4 jobs --- [10:37:09] raco setup: 3 making: /algorithms raco setup: 2 making: /cover-lib/cover 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: 0 making: /dherman-struct/dherman-struct/private raco setup: 0 making: /dherman-struct/dherman-struct/private/tests raco setup: 3 making: /algorithms/scribblings raco setup: 1 making: /peg-gen raco setup: 3 making: /pprint (pprint) raco setup: 0 making: /rackcheck raco setup: 2 making: /cover-lib/cover/private raco setup: 2 making: /cover-lib/cover/private/html raco setup: 2 making: /cover-lib/cover/private/html/assets raco setup: 2 making: /rackcheck-lib raco setup: 2 making: /rackcheck-lib/gen raco setup: 2 making: /typed-peg raco setup: 1 making: /peg-gen/TestData 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/coverage raco setup: 1 making: /peg-gen/coverage/assets raco setup: 1 making: /peg-gen/coverage/tests raco setup: 1 making: /peg-gen/scribblings raco setup: 1 making: /peg-gen/tests raco setup: 2 making: /typed-peg/debug raco setup: 2 making: /typed-peg/examples raco setup: 2 making: /typed-peg/scribblings raco setup: 2 making: /typed-peg/tests raco setup: 2 making: /typed-peg/typing raco setup: 2 making: /typed-peg/typing/solver raco setup: --- creating launchers --- [10:37:12] raco setup: --- installing man pages --- [10:37:12] raco setup: --- building documentation --- [10:37:12] raco setup: syncing: /algorithms/doc/algorithms 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: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 3 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 2 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 3 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 2 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [10:37:21] raco setup: --- post-installing collections --- [10:37:21] raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/core.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/constraints-only.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/infer-only.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/parse-only.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/tokenize-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/z3-script-only.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test1.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test10.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test11.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test12.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test13.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test2.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test3.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test4.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test5.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test6.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test7.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test8.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test9.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/grammar.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/info.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/lexer.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/parser.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/pretty.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/reader.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/scribblings/typed-peg.scrbl" raco test: 1 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/tests/testgen.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/tree.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint-gen.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint-pretty.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint-solver.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/infer.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/solver/model-lexer.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/solver/model-parser.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/solver/script-gen.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/type.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/typed-peg/untyped.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/info.rkt" raco test: 3 (submod "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/main.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/peg-gen.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/scribblings/peg-gen.scrbl" raco test: 3 "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/tests/test-coverage.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/tests/verf-well-formed.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.9/pkgs/peg-gen/tests/well-formed.rkt" testgen.rkt: racket test: #< #) Failed after 1 tests: peg = (∅ (! (• ε 2)) ()) 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.9/pkgs/typed-peg/typing/infer.rkt:13:0: infer /home/root/user/.local/share/racket/8.9/pkgs/typed-peg/tests/testgen.rkt:40:0: testgen .../private/check.rkt:145:27 /home/root/user/.local/share/racket/8.9/pkgs/rackcheck-lib/prop.rkt:128:4: descend-shrinks /home/root/user/.local/share/racket/8.9/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.9/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 /bin/sh: 1: z3: not found /bin/sh: 1: z3: not found /bin/sh: 1: z3: not found -------------------- FAILURE location: testgen.rkt:98:0 name: type-contexts-match seed: 1776052224 params: '(# #) Failed after 1 tests: peg = (∅ (/ (• ε 1) (/ 1 ε)) ()) 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.9/pkgs/typed-peg/typing/infer.rkt:13:0: infer .../private/check.rkt:145:27 /home/root/user/.local/share/racket/8.9/pkgs/rackcheck-lib/prop.rkt:128:4: descend-shrinks /home/root/user/.local/share/racket/8.9/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.9/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 1/4 test failures 2 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/main.rkt 1 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/tests/test-coverage.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/core.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/constraints-only.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/infer-only.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/parse-only.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/tokenize-only.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/debug/z3-script-only.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test1.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test10.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test11.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test12.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test13.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test2.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test3.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test4.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test5.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test6.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test7.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test8.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/examples/test9.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/grammar.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/info.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/lexer.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/main.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/parser.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/pretty.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/reader.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/scribblings/typed-peg.scrbl 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/tree.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint-gen.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint-pretty.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint-solver.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/constraint.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/infer.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/solver/model-lexer.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/solver/model-parser.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/solver/script-gen.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/typing/type.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/untyped.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/info.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/peg-gen.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/scribblings/peg-gen.scrbl 0 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/tests/verf-well-formed.rkt 0 /home/root//user/.local/share/racket/8.9/pkgs/peg-gen/tests/well-formed.rkt 1 1 /home/root//user/.local/share/racket/8.9/pkgs/typed-peg/tests/testgen.rkt The time is now Tuesday, May 9th, 2023 6:37:57am