The time is now Friday, September 27th, 2024 5:29:30am (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /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 hosted-minikanren && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package hosted-minikanren) Resolved "hosted-minikanren" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "cfe081c5f6b41a712ae74650449eb31daffc73fe") (dependencies . (("base") ("rackunit-lib") ("threading") ("syntax-spec-v2") ("db") ("sql") ("csv-reading") ("text-table") ("fmt"))) (description . "An optimizing compiler implementation of miniKanren") (modules . ((lib "hosted-minikanren/private/runtime.rkt") (lib "hosted-minikanren/tests/oopsla-artifact/minikanren.rkt") (lib "hosted-minikanren/bench/utils.rkt") (lib "hosted-minikanren/private/compile/test/unit-test-progs.rkt") (lib "hosted-minikanren/mk/full-interp.rkt") (lib "hosted-minikanren/racket-matche.rkt") (lib "hosted-minikanren/bench/benchmarks/bench.rkt") (lib "hosted-minikanren/numbers.rkt") (lib "hosted-minikanren/tests/top-level.rkt") (lib "hosted-minikanren/bench/langs/ee-all.rkt") (lib "hosted-minikanren/private/compile/prop-vars.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/south-america.rkt") (lib "hosted-minikanren/scribblings/main.scrbl") (lib "hosted-minikanren/tests/cons-list-succeed-test.rkt") (lib "hosted-minikanren/private/compile/remove-noop.rkt") (lib "hosted-minikanren/tests/ffi.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/ireland.rkt") (lib "hosted-minikanren/bench/benchmarks/relational-graph-color.rkt") (lib "hosted-minikanren/bench/process-bench.rkt") (lib "hosted-minikanren/bench/benchmarks/four-fours.rkt") (lib "hosted-minikanren/bench/benchmarks/staging-result.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/australia.rkt") (lib "hosted-minikanren/private/compile.rkt") (lib "hosted-minikanren/mk/main.rkt") (lib "hosted-minikanren/tests/test-var-use-in-apply-rel.rkt") (lib "hosted-minikanren/tests/mk-tests.rkt") (lib "hosted-minikanren/private/syntax-classes.rkt") (lib "hosted-minikanren/bench/langs/ee-dead-code.rkt") (lib "hosted-minikanren/private/spec.rkt") (lib "hosted-minikanren/tests/oopsla-artifact/minikanren-program-transformation.rkt") (lib "hosted-minikanren/tests/local.rkt") (lib "hosted-minikanren/bench/langs/faster-mk.rkt") (lib "hosted-minikanren/private/compile/redundant-occurs-check.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/functional-graph-split.rkt") (lib "hosted-minikanren/tests/oopsla-artifact/minikanren-macro.rkt") (lib "hosted-minikanren/bench/benchmarks/stdlib/full-interp.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/challenge-3.rkt") (lib "hosted-minikanren/tests/oopsla-artifact/minikanren-compile-time-errors.rkt") (lib "hosted-minikanren/demos/icfp2024/demo-compiler-tests.rkt") (lib "hosted-minikanren/private/compile/test/unit-test-infra.rkt") (lib "hosted-minikanren/demos/icfp2024/paper-code.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/iberia.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/evalo-standard.rkt") (lib "hosted-minikanren/bench/benchmarks/stdlib/numbers.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/challenge-2-extra-slow.rkt") (lib "hosted-minikanren/tests/test2.rkt") (lib "hosted-minikanren/bench/langs/ee-no-opt.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/mexico.rkt") (lib "hosted-minikanren/mk/numbers.rkt") (lib "hosted-minikanren/demos/icfp2024/facts.rkt") (lib "hosted-minikanren/bench/langs/ee-prop-only.rkt") (lib "hosted-minikanren/tests/term-from-expression-test.rkt") (lib "hosted-minikanren/private/compile/reorder-conj.rkt") (lib "hosted-minikanren/tests/shadowing-and-hygiene.rkt") (lib "hosted-minikanren/private/interface-macros.rkt") (lib "hosted-minikanren/private/compile/first-refs.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/evalo-scoping.rkt") (lib "hosted-minikanren/bench/benchmarks/dmitri-oc-test.rkt") (lib "hosted-minikanren/bench/langs/ee-occurs-check.rkt") (lib "hosted-minikanren/private/forms.rkt") (lib "hosted-minikanren/bench/benchmarks/test-fact.rkt") (lib "hosted-minikanren/bench/benchmarks/all-in-fd.rkt") (lib "hosted-minikanren/matche.rkt") (lib "hosted-minikanren/bench/benchmarks/appendo.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/challenge-2.rkt") (lib "hosted-minikanren/mk/mk.rkt") (lib "hosted-minikanren/inspect.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/challenge-1.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/canada.rkt") (lib "hosted-minikanren/private/compile/remove-no-escape.rkt") (lib "hosted-minikanren/bench/loader.rkt") (lib "hosted-minikanren/demos/icfp2024/demo-compiler.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/challenge-4.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/middle-earth.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/evalo-small.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/orchid-graph-coloro.rkt") (lib "hosted-minikanren/private/compile/utils.rkt") (lib "hosted-minikanren/private/compile/propagate-fail.rkt") (lib "hosted-minikanren/tests/interposition.rkt") (lib "hosted-minikanren/tests/test3.rkt") (lib "hosted-minikanren/main.rkt") (lib "hosted-minikanren/private/compile/remove-unused-vars.rkt") (lib "hosted-minikanren/core.rkt") (lib "hosted-minikanren/tests/compare-matche.rkt") (lib "hosted-minikanren/mk/private-unstable.rkt") (lib "hosted-minikanren/bench/benchmarks/icfp2017/challenge-7.rkt") (lib "hosted-minikanren/private/compile/fold.rkt") (lib "hosted-minikanren/mk/simple-interp.rkt") (lib "hosted-minikanren/tests/shadowing-with-fresh-test.rkt") (lib "hosted-minikanren/bench/benchmarks/simple-interp-matche-compare.rkt") (lib "hosted-minikanren/bench/benchmarks/stdlib/simple-interp.rkt") (lib "hosted-minikanren/private/compile/macro-scopes-bound-id-set.rkt") (lib "hosted-minikanren/tests/test1.rkt") (lib "hosted-minikanren/tests/equiv-tests.rkt") (lib "hosted-minikanren/private/compile/generate-code.rkt") (lib "hosted-minikanren/bench/benchmarks/infer.rkt") (lib "hosted-minikanren/tests/test-leo.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/america.rkt") (lib "hosted-minikanren/bench/benchmarks/graph-coloring/graphs/kazakhstan.rkt") (lib "hosted-minikanren/mk/matche.rkt") (lib "hosted-minikanren/bench/bench.rkt") (lib "hosted-minikanren/tests/equiv-tests-2.rkt"))) (name . "hosted-minikanren") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/hosted-minikanren.zip") (tags . ())) 00: Resolved "threading" via file:///home/root//catalogs/built/catalog 00: Resolved "syntax-spec-v2" via file:///home/root//catalogs/built/catalog 01: Resolved "sql" via file:///home/root//catalogs/built/catalog 00: Resolved "csv-reading" via file:///home/root//catalogs/built/catalog 01: Resolved "text-table" via file:///home/root//catalogs/built/catalog Resolved "fmt" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "c547929200a3f241688c7a549acf50eb900f3ae3") (dependencies . (("threading-doc") ("threading-lib"))) (description . "") (modules . ()) (name . "threading") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading.zip") (tags . ())) pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "1d08d4a0f854408fe22bedd9009439d4506ab9b5") (dependencies . (("base") ("version-case") ("syntax-classes-lib") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("drracket") ("typed-racket-lib"))) (description . "A metalanguage for creating sophisticated DSLs") (modules . ((lib "syntax-spec-v2/tests/dsls/minikanren-binding-space-compile.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren-compile-defs.rkt") (lib "syntax-spec-v2/tests/dsls/multipass.rkt") (lib "syntax-spec-v2/tests/dsls/typed-peg/private/runtime.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/leftrec-oopsla.rkt") (lib "syntax-spec-v2/private/syntax/env-reps.rkt") (lib "syntax-spec-v2/private/ee-lib/flip-intro-scope.rkt") (lib "syntax-spec-v2/private/syntax/compile/binding-spec.rkt") (lib "syntax-spec-v2/private/ee-lib/syntax-serializer.rkt") (lib "syntax-spec-v2/private/syntax/compile/nonterminal-expander.rkt") (lib "syntax-spec-v2/tests/dsls/peg/private/compile-alt-str.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/leftrec.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren-rs2e/mk.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren-compile.rkt") (lib "syntax-spec-v2/demos/minimal-state-machine/gui-layout.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk3.rkt") (lib "syntax-spec-v2/tests/dsls/simply-typed-lambda-calculus.rkt") (lib "syntax-spec-v2/tests/dsls/peg/private/forms.rkt") (lib "syntax-spec-v2/design/statecharts-full.rkt") (lib "syntax-spec-v2/tests/dsls/miniclass/class.rkt") (lib "syntax-spec-v2/tests/dsls/cmdline/tests.rkt") (lib "syntax-spec-v2/tests/symbol-collections.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/14-foreign.rkt") (lib "syntax-spec-v2/tests/dsls/stlc-on-typed-racket.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/15-foreign-extension.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/binops.rkt") (lib "syntax-spec-v2/demos/strumienta-talk/building-up-to-qi.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/compile.rkt") (lib "syntax-spec-v2/private/runtime/errors.rkt") (lib "syntax-spec-v2/demos/wg211/mk.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren-rs2e/example.rkt") (lib "syntax-spec-v2/tests/basic-langs/mutual-recursion.rkt") (lib "syntax-spec-v2/tests/basic-langs/racket-macro.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/07-example-with-sugar.rkt") (lib "syntax-spec-v2/demos/wg211/4-example-with-sugar.rkt") (lib "syntax-spec-v2/tests/basic-langs/racket-var.rkt") (lib "syntax-spec-v2/private/ee-lib/persistent-id-table.rkt") (lib "syntax-spec-v2/tests/dsls/match.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/lift-error.rkt") (lib "syntax-spec-v2/tests/dsls/tiny-hdl/half-adder.rkt") (lib "syntax-spec-v2/demos/wg211/mk-with-check.rkt") (lib "syntax-spec-v2/demos/visser-symposium/csv-browser.rkt") (lib "syntax-spec-v2/tests/basic-langs/block.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren.rkt") (lib "syntax-spec-v2/testing.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk-rt.rkt") (lib "syntax-spec-v2/scribblings/tutorial/main.scrbl") (lib "syntax-spec-v2/demos/visser-symposium/state-machine-compiler.rkt") (lib "syntax-spec-v2/private/test/simple-bspec.rkt") (lib "syntax-spec-v2/demos/minimal-state-machine/state-machine-compiler.rkt") (lib "syntax-spec-v2/scribblings/tutorial/stlc-tutorial.scrbl") (lib "syntax-spec-v2/private/ee-lib/test/same-binding.rkt") (lib "syntax-spec-v2/private/test/set-bang.rkt") (lib "syntax-spec-v2/private/runtime/syntax-classes.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/13-routes.rkt") (lib "syntax-spec-v2/private/ee-lib/lift-trampoline.rkt") (lib "syntax-spec-v2/private/ee-lib/syntax-category.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-timer.rkt") (lib "syntax-spec-v2/tests/dsls/cmdline/sugar.rkt") (lib "syntax-spec-v2/demos/zed-talk/tradeoffs.rkt") (lib "syntax-spec-v2/demos/wg211/complete.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/02-example-core.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk2.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-trafficlight.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/16-occurs-check.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/define-peg-ast.rkt") (lib "syntax-spec-v2/tests/basic-langs/define.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/04-mk-with-binding.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/optional.rkt") (lib "syntax-spec-v2/demos/wg211/runtime.rkt") (lib "syntax-spec-v2/demos/wg211/mk-with-sugar.rkt") (lib "syntax-spec-v2/scribblings/reference/main.scrbl") (lib "syntax-spec-v2/tests/datum-matching.rkt") (lib "syntax-spec-v2/demos/wg211/1-example.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/core-basic-tokens.rkt") (lib "syntax-spec-v2/tests/reference-compiler-with-application.rkt") (lib "syntax-spec-v2/demos/wg211/compile.rkt") (lib "syntax-spec-v2/scribblings/reference/specifying.scrbl") (lib "syntax-spec-v2/tests/basic-langs/simple-match.rkt") (lib "syntax-spec-v2/demos/wg211/mk-with-binding.rkt") (lib "syntax-spec-v2/demos/wg211/2-example-core.rkt") (lib "syntax-spec-v2/tests/dsls/stlc-lang/program.rkt") (lib "syntax-spec-v2/tests/dsls/peg/main.rkt") (lib "syntax-spec-v2/demos/wg211/compile-with-check.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-temp.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk2b.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/compile-with-check.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/colon-bind-shorthand.rkt") (lib "syntax-spec-v2/demos/symbol-tables.rkt") (lib "syntax-spec-v2/tests/dsls/typed-peg/private/forms.rkt") (lib "syntax-spec-v2/tests/rewrite-hygiene.rkt") (lib "syntax-spec-v2/tests/dsls/tiny-hdl/hdl.rkt") (lib "syntax-spec-v2/tests/nest-use-site-scope.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/flights-data.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/srcloc.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-reddit.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-counter.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/define-in-let.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/05-example-with-binding.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/raise-2.rkt") (lib "syntax-spec-v2/tests/dsls/typed-peg/private/compile.rkt") (lib "syntax-spec-v2/demos/wg211/mk-core.rkt") (lib "syntax-spec-v2/demos/minimal-state-machine/csv-browser.rkt") (lib "syntax-spec-v2/demos/strumienta-talk/csv-demo/state-machine-compiler.rkt") (lib "syntax-spec-v2/scribblings/main.scrbl") (lib "syntax-spec-v2/tests/dsls/cmdline/cmdline.rkt") (lib "syntax-spec-v2/tests/nonterminal-prop.rkt") (lib "syntax-spec-v2/private/runtime/binding-operations.rkt") (lib "syntax-spec-v2/tests/dsls/peg/private/compile.rkt") (lib "syntax-spec-v2/scribblings/reference/compiling.scrbl") (lib "syntax-spec-v2/demos/strumienta-talk/csv-demo/state-machine.rkt") (lib "syntax-spec-v2/private/ee-lib/define.rkt") (lib "syntax-spec-v2/tests/definition-interface.rkt") (lib "syntax-spec-v2/tests/dsls/peg/core.rkt") (lib "syntax-spec-v2/tests/dsls/js/js.rkt") (lib "syntax-spec-v2/tests/dsls/state-machine-oo/state-machine.rkt") (lib "syntax-spec-v2/tests/dsls/peg.rkt") (lib "syntax-spec-v2/tests/dsls/tiny-hdl/full-adder.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/11-example-with-check.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/intro.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk1.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/08-mk-compiled.rkt") (lib "syntax-spec-v2/tests/nested-with-reference-compilers.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/runtime.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-watch.rkt") (lib "syntax-spec-v2/demos/visser-symposium/state-machine.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk5.rkt") (lib "syntax-spec-v2/tests/dsls/peg/private/test/case.rkt") (lib "syntax-spec-v2/tests/dsls/baby-peg.rkt") (lib "syntax-spec-v2/tests/dsls/statecharts/statecharts.rkt") (lib "syntax-spec-v2/private/ee-lib/datum-map.rkt") (lib "syntax-spec-v2/tests/dsls/cmdline/example.rkt") (lib "syntax-spec-v2/tests/dsls/qi-core.rkt") (lib "syntax-spec-v2/demos/zed-talk/micro-mk4.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/sexpr.rkt") (lib "syntax-spec-v2/tests/props.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/12-example-matche.rkt") (lib "syntax-spec-v2/tests/variants.rkt") (lib "syntax-spec-v2/demos/wg211/6-example-with-check.rkt") (lib "syntax-spec-v2/demos/zed-talk/workbench.rkt") (lib "syntax-spec-v2/private/ee-lib/syntax-datum.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/core-text.rkt") (lib "syntax-spec-v2/private/ee-lib/lift-disappeareds.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/many-until.rkt") (lib "syntax-spec-v2/tests/basic-langs/bind-syntax.rkt") (lib "syntax-spec-v2/design/statechart-examples/statechart-flight-booker.rkt") (lib "syntax-spec-v2/demos/strumienta-talk/csv-demo/gui-layout.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/01-example.rkt") (lib "syntax-spec-v2/tests/dsls/miniclass/test.rkt") (lib "syntax-spec-v2/demos/visser-symposium/gui-layout.rkt") (lib "syntax-spec-v2/demos/strumienta-talk/csv-demo/main.rkt") (lib "syntax-spec-v2/design/staged-minikanren.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren-binding-space.rkt") (lib "syntax-spec-v2/private/runtime/compile.rkt") (lib "syntax-spec-v2/private/ee-lib/binding.rkt") (lib "syntax-spec-v2/scribblings/tutorial/multipass-tutorial.scrbl") (lib "syntax-spec-v2/demos/zed-talk/macros.rkt") (lib "syntax-spec-v2/main.rkt") (lib "syntax-spec-v2/tests/dsls/peg/private/leftrec-check.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/test-alt-str.rkt") (lib "syntax-spec-v2/tests/basic-langs/expr.rkt") (lib "syntax-spec-v2/tests/basic-langs/define-star.rkt") (lib "syntax-spec-v2/demos/wg211/5-example-compiled.rkt") (lib "syntax-spec-v2/private/syntax/compile/syntax-spec.rkt") (lib "syntax-spec-v2/tests/dsls/peg2.rkt") (lib "syntax-spec-v2/tests/colon-form.rkt") (lib "syntax-spec-v2/tests/racket-references.rkt") (lib "syntax-spec-v2/design/statecharts-smaller.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/03-mk-core.rkt") (lib "syntax-spec-v2/tests/dsls/minikanren-compile-defs-min.rkt") (lib "syntax-spec-v2/tests/dsls/peg/private/runtime.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/figure-7.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/06-mk-with-sugar.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/return-example.rkt") (lib "syntax-spec-v2/tests/dsls/typed-peg/core.rkt") (lib "syntax-spec-v2/private/syntax/interface.rkt") (lib "syntax-spec-v2/private/ee-lib/errors.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/09-example-compiled.rkt") (lib "syntax-spec-v2/private/syntax/syntax-classes.rkt") (lib "syntax-spec-v2/tests/binding-operations.rkt") (lib "syntax-spec-v2/private/runtime/binding-spec.rkt") (lib "syntax-spec-v2/demos/mk-workshop-2024/10-mk-with-check.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/optimization.rkt") (lib "syntax-spec-v2/tests/errors.rkt") (lib "syntax-spec-v2/scribblings/tutorial/basic-tutorial.scrbl") (lib "syntax-spec-v2/tests/dsls/state-machine-oo/state-machine-compiler.rkt") (lib "syntax-spec-v2/demos/wg211/3-example-with-binding.rkt") (lib "syntax-spec-v2/private/test/sequence.rkt") (lib "syntax-spec-v2/private/ee-lib/main.rkt") (lib "syntax-spec-v2/demos/minimal-state-machine/state-machine.rkt") (lib "syntax-spec-v2/private/test/rebind-pattern-vars.rkt") (lib "syntax-spec-v2/tests/dsls/state-machine-for-tutorial.rkt") (lib "syntax-spec-v2/tests/dsls/peg/test/raise-1.rkt") (lib "syntax-spec-v2/design/statechart-examples/statecharts-login.rkt") (lib "syntax-spec-v2/private/syntax/compile/pattern-var-reflection.rkt") (lib "syntax-spec-v2/tests/dsls/stlc-lang/test.rkt") (lib "syntax-spec-v2/tests/dsls/stlc-lang/main.rkt"))) (name . "syntax-spec-v2") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/syntax-spec-v2.zip") (tags . ())) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "2ec6d443edf780bb8717b251d0efd803677932a4") (dependencies . (("base" #:version "6.3") ("rackunit-lib") ("db-lib") ("racket-doc") ("scribble-lib") ("sandbox-lib") ("db-doc"))) (description . "an S-expression notation for SQL") (modules . ((lib "sql/private/parse.rkt") (lib "sql/private/jumble.rkt") (lib "sql/private/sql-keywords.rkt") (lib "sql/sql.scrbl") (lib "sql/private/emit.rkt") (lib "sql/main.rkt") (lib "sql/private/ast.rkt") (lib "sql/private/syntax.rkt") (lib "sql/test.rkt") (lib "sql/private/dynamic.rkt") (lib "sql/private/dialect.rkt"))) (name . "sql") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sql.zip") (tags . ("db"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "90f7b2f644aba046e594f57cdeb5b4ff614aad6b") (dependencies . (("base") ("mcfly") ("racket-doc") ("scribble-lib") ("overeasy"))) (description . "Comma-Separated Value (CSV) Parsing") (modules . ((lib "csv-reading/main.rkt") (lib "csv-reading/csv-reading.scrbl"))) (name . "csv-reading") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/csv-reading.zip") (tags . ("csv"))) pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "2d1aa964764e72ffe52fe1f14ca34e8d38c47701") (dependencies . (("base") ("sandbox-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A simple package to display text tables with unicode frames.") (modules . ((lib "text-table/tests/utils.rkt") (lib "text-table/tests/table.rkt") (lib "text-table/scribblings/text-table.scrbl") (lib "text-table/main.rkt") (lib "text-table/utils.rkt"))) (name . "text-table") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/text-table.zip") (tags . ("format" "tabular" "text" "unicode"))) pkg: catalog response: #hash((author . "sorawee.pwase@gmail.com") (checksum . "01ce4706bc2ee9899720a21af07de4a9d341549b") (dependencies . (("pretty-expressive" #:version "1.1") ("syntax-color-lib") ("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "An extensible code formatter for Racket") (modules . ((lib "fmt/tests/test-cases/test-dot.rkt") (lib "fmt/realign.rkt") (lib "fmt/tests/test-cases/test-deinprogramm.rkt") (lib "fmt/read.rkt") (lib "fmt/tests/test-cases/define-contract.rkt") (lib "fmt/scribblings/kws.rkt") (lib "fmt/tests/test-cases/define-match.rkt") (lib "fmt/tests/test-cases/general.rkt") (lib "fmt/for-profiling.rkt") (lib "fmt/tests/benchmarks/class-internal.rkt") (lib "fmt/params.rkt") (lib "fmt/tests/test-cases/test-quasisyntax.rkt") (lib "fmt/tests/test-cases/large2.rkt") (lib "fmt/tests/permission-test.rkt") (lib "fmt/.fmt.rkt") (lib "fmt/tests/test-cases/cr.rkt") (lib "fmt/tests/test-cases/test-asl.rkt") (lib "fmt/private/memoize.rkt") (lib "fmt/tests/benchmarks/xform.rkt") (lib "fmt/version.rkt") (lib "fmt/core.rkt") (lib "fmt/tests/benchmarks/list.rkt") (lib "fmt/tokenize.rkt") (lib "fmt/raco.rkt") (lib "fmt/conventions.rkt") (lib "fmt/tests/test-cases/large.rkt") (lib "fmt/tests/config-tests/file.rkt") (lib "fmt/tests/test-cases/rackunit.rkt") (lib "fmt/tests/benchmarks/hash.rkt") (lib "fmt/tests/test-cases/test-hash-bang.rkt") (lib "fmt/tests/test-cases/test-herestring.rkt") (lib "fmt/tests/config-tests/config.rkt") (lib "fmt/scribblings/fmt.scrbl") (lib "fmt/record.rkt") (lib "fmt/tests/test-cases/test-class.rkt") (lib "fmt/common.rkt") (lib "fmt/tests/test-cases/let-values.rkt") (lib "fmt/tests/test-cases/test-lambda.rkt") (lib "fmt/scribblings/examples/example.rkt") (lib "fmt/main.rkt") (lib "fmt/scribblings/util.rkt") (lib "fmt/regen.rkt"))) (name . "fmt") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fmt.zip") (tags . ("formatter"))) 01: Resolved "threading-doc" via file:///home/root//catalogs/built/catalog Resolved "threading-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "5001992979aa6eeb8f2e2be126e83add18c32399") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib"))) (description . "documentation (no implementation) for “threading”") (modules . ((lib "scribblings/threading.scrbl"))) (name . "threading-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-doc.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "744984a6c1fc8f152fdabc85a0cdd15c86b5b676") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) 01: Resolved "version-case" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "samth@racket-lang.org dyoo@hashcollision.org") (checksum . "02d252affeb4ba7ff0b93265f9da9ee2d211b970") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "Conditional behavior based on the version of Racket") (modules . ((lib "version-case/version-case.scrbl") (lib "version-case/main.rkt") (lib "version-case/version-misc.rkt") (lib "version-case/version-case.rkt") (lib "version-case/test-version-case.rkt") (lib "version-case/private/new-version-case.rkt"))) (name . "version-case") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/version-case.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "e64402b52b251cbc5b5708cc3acb02b0961f7549") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) 01: Resolved "mcfly" via file:///home/root//catalogs/built/catalog Resolved "overeasy" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "352a30f222d528a3c84084d8c489689efa849be0") (dependencies . (("at-exp-lib") ("base") ("scribble-lib") ("racket-doc"))) (description . "Embedded Package Documentation Runtime") (modules . ((lib "mcfly/test-mcfly-spec.rkt") (lib "mcfly/mcfly-spec.rkt") (lib "mcfly/mcfly-misc.rkt") (lib "mcfly/main.rkt") (lib "mcfly/mcfly-expand.rkt") (lib "mcfly/doc.rkt") (lib "mcfly/mcfly-parse.rkt") (lib "mcfly/mcfly-scribble.rkt") (lib "mcfly/mcfly.scrbl") (lib "mcfly/mcfly-format.rkt"))) (name . "mcfly") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mcfly.zip") (tags . ("documentation"))) pkg: catalog response: #hash((author . "neil@neilvandyke.org") (checksum . "21e5accf16707b2e994842b5f6da4ad9937245ed") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("mcfly"))) (description . "Racket Language Test Engine") (modules . ((lib "overeasy/main.rkt") (lib "overeasy/overeasy.rkt") (lib "overeasy/test-overeasy.rkt") (lib "overeasy/overeasy.scrbl"))) (name . "overeasy") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/overeasy.zip") (tags . ("testing"))) Resolved "pretty-expressive" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "sorawee.pwase@gmail.com") (checksum . "11479019294e4b60dd34eb76c44f77ee046c7c1f") (dependencies . (("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A pretty expressive printer") (modules . ((lib "pretty-expressive/benchmarks/json.rkt") (lib "pretty-expressive/core.rkt") (lib "pretty-expressive/benchmarks/sexp-random.rkt") (lib "pretty-expressive/benchmarks/sexp-full.rkt") (lib "pretty-expressive/benchmarks/concat.rkt") (lib "pretty-expressive/doc.rkt") (lib "pretty-expressive/addons.rkt") (lib "pretty-expressive/scribblings/pretty-expressive.scrbl") (lib "pretty-expressive/benchmarks/fill-sep.rkt") (lib "pretty-expressive/main.rkt") (lib "pretty-expressive/benchtool.rkt") (lib "pretty-expressive/benchmarks/flatten.rkt") (lib "pretty-expressive/benchmarks/wadler-opt.rkt") (lib "pretty-expressive/examples.rkt") (lib "pretty-expressive/process.rkt") (lib "pretty-expressive/promise.rkt"))) (name . "pretty-expressive") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pretty-expressive.zip") (tags . ("pretty-printer"))) pkg: creating single-collection link to # pkg: updating db with "pretty-expressive" to '#s((sc-pkg-info pkg-info 3) (catalog "pretty-expressive") "11479019294e4b60dd34eb76c44f77ee046c7c1f" #t "pretty-expressive") pkg: creating single-collection link to # pkg: updating db with "hosted-minikanren" to '#s((sc-pkg-info pkg-info 3) (catalog "hosted-minikanren") "cfe081c5f6b41a712ae74650449eb31daffc73fe" #f "hosted-minikanren") pkg: creating link to # pkg: updating db with "threading" to '#s(pkg-info (catalog "threading") "c547929200a3f241688c7a549acf50eb900f3ae3" #t) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "5001992979aa6eeb8f2e2be126e83add18c32399" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "744984a6c1fc8f152fdabc85a0cdd15c86b5b676" #t) pkg: creating single-collection link to # pkg: updating db with "syntax-spec-v2" to '#s((sc-pkg-info pkg-info 3) (catalog "syntax-spec-v2") "1d08d4a0f854408fe22bedd9009439d4506ab9b5" #t "syntax-spec-v2") pkg: creating single-collection link to # pkg: updating db with "version-case" to '#s((sc-pkg-info pkg-info 3) (catalog "version-case") "02d252affeb4ba7ff0b93265f9da9ee2d211b970" #t "version-case") pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "e64402b52b251cbc5b5708cc3acb02b0961f7549" #t) pkg: creating single-collection link to # pkg: updating db with "sql" to '#s((sc-pkg-info pkg-info 3) (catalog "sql") "2ec6d443edf780bb8717b251d0efd803677932a4" #t "sql") pkg: creating single-collection link to # pkg: updating db with "csv-reading" to '#s((sc-pkg-info pkg-info 3) (catalog "csv-reading") "90f7b2f644aba046e594f57cdeb5b4ff614aad6b" #t "csv-reading") pkg: creating single-collection link to # pkg: updating db with "mcfly" to '#s((sc-pkg-info pkg-info 3) (catalog "mcfly") "352a30f222d528a3c84084d8c489689efa849be0" #t "mcfly") pkg: creating single-collection link to # pkg: updating db with "overeasy" to '#s((sc-pkg-info pkg-info 3) (catalog "overeasy") "21e5accf16707b2e994842b5f6da4ad9937245ed" #t "overeasy") pkg: creating single-collection link to # pkg: updating db with "text-table" to '#s((sc-pkg-info pkg-info 3) (catalog "text-table") "2d1aa964764e72ffe52fe1f14ca34e8d38c47701" #t "text-table") pkg: creating single-collection link to # pkg: updating db with "fmt" to '#s((sc-pkg-info pkg-info 3) (catalog "fmt") "01ce4706bc2ee9899720a21af07de4a9d341549b" #t "fmt") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of hosted-minikanren: threading syntax-spec-v2 sql csv-reading text-table fmt dependencies of threading: threading-doc threading-lib dependencies of syntax-spec-v2: version-case syntax-classes-lib dependencies of csv-reading: mcfly overeasy dependencies of fmt: pretty-expressive raco setup: version: 8.14 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.14 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.14/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.14/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.14/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 --- [5:29:34] raco setup: updating: /home/root/user/.local/share/racket/8.14/share/info-cache.rktd raco setup: --- pre-installing collections --- [5:29:34] raco setup: --- installing foreign libraries --- [5:29:34] raco setup: --- installing shared files --- [5:29:34] raco setup: --- compiling collections --- [5:29:34] raco setup: --- parallel build using 2 jobs --- [5:29:34] raco setup: 1 making: /csv-reading (csv-reading) raco setup: 0 making: /fmt raco setup: 1 making: /hosted-minikanren (hosted-minikanren) raco setup: 0 making: /fmt/private raco setup: 0 making: /fmt/scribblings raco setup: 0 making: /fmt/tests raco setup: 0 making: /fmt/tests/config-tests raco setup: 0 making: /mcfly (McFly Runtime) raco setup: 0 making: /overeasy (Overeasy) raco setup: 0 making: /pretty-expressive raco setup: 0 making: /pretty-expressive/benchmarks raco setup: 0 making: /sql (sql) raco setup: 0 making: /sql/private raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: 0 making: /syntax-spec-v2 (syntax-spec-v2) raco setup: 1 making: /hosted-minikanren/bench raco setup: 1 making: /hosted-minikanren/bench/langs raco setup: 0 making: /syntax-spec-v2/private/ee-lib raco setup: 0 making: /syntax-spec-v2/private/ee-lib/test raco setup: 1 making: /hosted-minikanren/demos/icfp2024 raco setup: 0 making: /syntax-spec-v2/private/runtime raco setup: 0 making: /syntax-spec-v2/private/syntax raco setup: 0 making: /syntax-spec-v2/private/syntax/compile raco setup: 0 making: /syntax-spec-v2/private/test raco setup: 0 making: /syntax-spec-v2/tests raco setup: 1 making: /hosted-minikanren/mk raco setup: 1 making: /hosted-minikanren/private raco setup: 1 making: /hosted-minikanren/private/compile raco setup: 1 making: /hosted-minikanren/private/compile/test raco setup: 1 making: /hosted-minikanren/tests raco setup: 0 making: /syntax-spec-v2/tests/basic-langs raco setup: 0 making: /syntax-spec-v2/tests/dsls raco setup: 1 making: /hosted-minikanren/tests/oopsla-artifact raco setup: 1 making: /text-table raco setup: 1 making: /text-table/tests raco setup: 1 making: /threading-doc/scribblings raco setup: 1 making: /threading-lib/threading raco setup: 1 making: /version-case (version-case) raco setup: 1 making: /version-case/private raco setup: 0 making: /syntax-spec-v2/tests/dsls/cmdline raco setup: 0 making: /syntax-spec-v2/tests/dsls/js raco setup: 0 making: /syntax-spec-v2/tests/dsls/miniclass raco setup: 0 making: /syntax-spec-v2/tests/dsls/peg raco setup: 0 making: /syntax-spec-v2/tests/dsls/peg/private raco setup: 0 making: /syntax-spec-v2/tests/dsls/peg/private/test raco setup: 0 making: /syntax-spec-v2/tests/dsls/peg/test raco setup: 0 making: /syntax-spec-v2/tests/dsls/state-machine-oo raco setup: 0 making: /syntax-spec-v2/tests/dsls/statecharts raco setup: 0 making: /syntax-spec-v2/tests/dsls/typed-peg raco setup: --- creating launchers --- [5:29:45] raco setup: --- installing man pages --- [5:29:45] raco setup: --- building documentation --- [5:29:45] raco setup: syncing: /csv-reading/doc/csv-reading raco setup: syncing: /fmt/doc/fmt raco setup: syncing: /hosted-minikanren/doc/hosted-minikanren raco setup: syncing: /mcfly/doc/mcfly raco setup: syncing: /overeasy/doc/overeasy raco setup: syncing: /pretty-expressive/doc/pretty-expressive raco setup: syncing: /sql/doc/sql raco setup: syncing: /syntax-spec-v2/doc/syntax-spec-v2 raco setup: syncing: /text-table/doc/text-table raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /version-case/doc/version-case 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 --- [5:29:51] raco setup: --- post-installing collections --- [5:29:51] GC: 0:atexit peak 357,639K(+179,736K); alloc 22,469,490K; major 6; minor 1095; 5774ms raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/bench.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/langs/ee-all.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/langs/ee-dead-code.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/langs/ee-no-opt.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/langs/ee-occurs-check.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/langs/ee-prop-only.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/langs/faster-mk.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/loader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/process-bench.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/bench/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/core.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/demos/icfp2024/demo-compiler-tests.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/demos/icfp2024/demo-compiler.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/demos/icfp2024/facts.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/hosted-minikanren/demos/icfp2024/paper-code.rkt") paper-code.rkt: racket test: #<