The time is now Thursday, May 15th, 2025 12:47:10pm (/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 termination && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package termination) Resolved "termination" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "f596fcb0698e9a1b3257209d85ec1af5cfb2b6d5") (dependencies . (("profile-lib") ("r5rs-lib") ("rackunit-lib") ("base") ("typed-racket-lib") ("typed-racket-more") ("bnf") ("set-extras") ("unreachable") ("traces"))) (description . "Dynamic enforcement of size-change termination") (modules . ((lib "termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") (lib "termination/tests/Dyn/nfa.rkt") (lib "termination/tests/Dyn/isabelle-poly.rkt") (lib "termination/tests/Dyn/benchmarks/imp/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") (lib "termination/tests/Dyn/benchmarks/common.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-gcd.rkt") (lib "termination/flow-analysis/utils.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-3.rkt") (lib "termination/tests/Dyn/isabelle-bar.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-merge.rkt") (lib "termination/flow-analysis/analyze.rkt") (lib "termination/tests/Dyn/benchmarks/cm/sum.rkt") (lib "termination/flow-analysis/main.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/nfa.rkt") (lib "termination/runtime-utils.rkt") (lib "termination/tests/Dyn/sct-5.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-2.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-tfact.rkt") (lib "termination/tests/Dyn/deriv.rkt") (lib "termination/tests/Dyn/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") (lib "termination/tests/Dyn/benchmarks/imp/fact.rkt") (lib "termination/tests/Dyn/destruct.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-6.rkt") (lib "termination/flow-analysis/lang.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") (lib "termination/flow-analysis/parse.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") (lib "termination/tests/Dyn/buggy-versions/destruct.rkt") (lib "termination/tests/Dyn/sct-6.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-f.rkt") (lib "termination/tests/Dyn/acl2-fig-2.rkt") (lib "termination/tests/Dyn/sct-2.rkt") (lib "termination/syntax-utils.rkt") (lib "termination/tests/Dyn/lh-merge.rkt") (lib "termination/tests/Dyn/dderiv.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") (lib "termination/tests/Dyn/isabelle-foo.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-range.rkt") (lib "termination/unsafe-apply-with-termination.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") (lib "termination/tests/Dyn/lh-range.rkt") (lib "termination/tests/Dyn/sct-1.rkt") (lib "termination/tests/Dyn/acl2-fig-6.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") (lib "termination/tests/Dyn/sct-4.rkt") (lib "termination/tests/Dyn/buggy-versions/deriv.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-1.rkt") (lib "termination/tests/Dyn/div.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") (lib "termination/tests/Dyn/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-bar.rkt") (lib "termination/tests/Dyn/ho-sct-ack.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-4.rkt") (lib "termination/tests/Dyn/ho-sct-fold.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") (lib "termination/tests/Dyn/sct-3.rkt") (lib "termination/unsafe.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/fact.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") (lib "termination/tests/Dyn/buggy-versions/dderiv.rkt") (lib "termination/tests/Dyn/lh-gcd.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") (lib "termination/tests/Dyn/buggy-versions/div.rkt") (lib "termination/micro-benchmarks.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") (lib "termination/tests/Dyn/benchmarks/imp/mergesort.rkt") (lib "termination/tests/Dyn/acl2-fig-7.rkt") (lib "termination/test.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") (lib "termination/tests/Dyn/lh-tfact.rkt") (lib "termination/main.rkt") (lib "termination/size-change-graph.rkt") (lib "termination/tests/Dyn/buggy-versions/scheme.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") (lib "termination/flattened-parameter.rkt") (lib "termination/tests/Dyn/scheme.rkt") (lib "termination/tests/Dyn/benchmarks/cm/fact.rkt") (lib "termination/apply-with-termination.rkt") (lib "termination/tests/Dyn/benchmarks/cm/mergesort.rkt") (lib "termination/tests/Dyn/isabelle-perm.rkt") (lib "termination/tests/Dyn/ho-sct-fg.rkt"))) (name . "termination") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/termination.zip") (tags . ("contracts" "termination"))) 00: Resolved "bnf" via file:///home/root//catalogs/built/catalog 00: Resolved "set-extras" via file:///home/root//catalogs/built/catalog 01: Resolved "unreachable" via file:///home/root//catalogs/built/catalog Resolved "traces" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "d2b4467b9d0f7b33e8aa55720aee39872b2c6a65") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("typed-struct-props"))) (description . "Concise Typed Racket syntax for declaring recursive data in BNF") (modules . ((lib "bnf/main.rkt") (lib "bnf/tests.rkt"))) (name . "bnf") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/bnf.zip") (tags . ("bnf" "data" "grammar" "typed-racket"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "980c78d0326b1c33fad98ae2439c4933030c0cb4") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more"))) (description . "Some conveniences for set, including fancy unicode aliases and more comprehension forms") (modules . ((lib "set-extras/tests.rkt") (lib "set-extras/main.rkt"))) (name . "set-extras") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/set-extras.zip") (tags . ("set" "typed-racket" "unicode"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "933c463af468c6b6f6a18c2b57d5f0870be6f457") (dependencies . (("base"))) (description . "Utilities for expressing supposedly unreachable code") (modules . ((lib "unreachable/main.rkt") (lib "unreachable/test.rkt"))) (name . "unreachable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/unreachable.zip") (tags . ("absurd" "case" "cond" "dead-code" "unreachable"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "73ea146778d18f4900c472ef479edcb03bad0ac1") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("redex-gui-lib"))) (description . "Tracing utilities for functions and hash-tables, similar to `traces` from `redex`") (modules . ((lib "traces/typed.rkt") (lib "traces/test.rkt") (lib "traces/main.rkt"))) (name . "traces") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/traces.zip") (tags . ("debugging" "graph" "traces"))) Resolved "typed-struct-props" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "765d39d28f466f93902b76544eb47ab2cf23fd4d") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("type-expander") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Some struct type properties in Typed/Racket, in a more type-safe way.\r\n\r\nThe API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.") (modules . ((lib "typed-struct-props/test/test-after.rkt") (lib "typed-struct-props/test/test-write-poly.rkt") (lib "typed-struct-props/main.rkt") (lib "typed-struct-props/scribblings/typed-struct-props.scrbl") (lib "typed-struct-props/test/test-equal+hash.rkt") (lib "typed-struct-props/test/test-equal+hash-poly.rkt") (lib "typed-struct-props/test/test-none.rkt") (lib "typed-struct-props/test/test-write.rkt") (lib "typed-struct-props/test/test-parent.rkt") (lib "typed-struct-props/test/test-write+equal+hash-poly.rkt") (lib "typed-struct-props/test/test-none-poly.rkt") (lib "typed-struct-props/test/test-write+equal+hash.rkt") (lib "typed-struct-props/test/test-child.rkt") (lib "typed-struct-props/test/test-poly.rkt"))) (name . "typed-struct-props") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-struct-props.zip") (tags . ("structs" "typed-racket"))) Resolved "type-expander" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "4980856f64a4462d50ec530a026824ab8b5b0625") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("hyper-literate") ("auto-syntax-e") ("debug-scopes") ("version-case") ("scribble-lib") ("racket-doc") ("typed-racket-more") ("typed-racket-doc") ("scribble-enhanced") ("mutable-match-lambda"))) (description . "Type expanders for typed/racket, which work like match expanders for match") (modules . ((lib "type-expander/test/lang-test-1.rkt") (lib "type-expander/scribblings/deprecated-colon.scrbl") (lib "type-expander/dbg.rkt") (lib "type-expander/test/base-lang-test-3.rkt") (lib "type-expander/contracts-to-types.rkt") (lib "type-expander/scribblings/type-expander-implementation.scrbl") (lib "type-expander/identifiers.rkt") (lib "type-expander/type-expander.hl.rkt") (lib "type-expander/utils.rkt") (lib "type-expander/expander.rkt") (lib "type-expander/lang.rkt") (lib "type-expander/base.rkt") (lib "type-expander/lang/reader.rkt") (lib "type-expander/lang/lang/reader.rkt") (lib "type-expander/lang/main.rkt") (lib "type-expander/scribblings/contracts-to-types.scrbl") (lib "type-expander/test/base-lang-test-1.rkt") (lib "type-expander/test/lang-test-3.rkt") (lib "type-expander/parameterize-lexical-context.rkt") (lib "type-expander/test/lang-test-2.rkt") (lib "type-expander/test/type-expander-test.rkt") (lib "type-expander/test/test-contracts-to-types.rkt") (lib "type-expander/test/base-lang-test-2.rkt") (lib "type-expander/base/lang/reader.rkt") (lib "type-expander/scribblings/type-expander.scrbl") (lib "type-expander/main.rkt") (lib "type-expander/test/readme.rkt") (lib "type-expander/more-expanders.hl.rkt"))) (name . "type-expander") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/type-expander.zip") (tags . ("typed-racket"))) 01: Resolved "hyper-literate" via file:///home/root//catalogs/built/catalog 01: Resolved "auto-syntax-e" via file:///home/root//catalogs/built/catalog 00: Resolved "debug-scopes" via file:///home/root//catalogs/built/catalog 00: Resolved "version-case" via file:///home/root//catalogs/built/catalog 01: Resolved "scribble-enhanced" via file:///home/root//catalogs/built/catalog Resolved "mutable-match-lambda" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "f7cf43049f5171d1e949438939a8eeed24338633") (dependencies . (("base") ("rackunit-lib") ("at-exp-lib") ("scheme-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("typed-racket-doc") ("scribble-enhanced") ("sexp-diff") ("tr-immutable") ("typed-map-lib") ("debug-scopes") ("syntax-color-lib") ("scribble-lib") ("racket-doc") ("rackunit-doc") ("scribble-doc") ("rackunit-doc"))) (description . "Some tools which help build hyper-literate programs. For now, this only contains a few changes from scribble/lp2, including support for typed/racket literate programs.") (modules . ((lib "hyper-literate/comments/restore-comments.rkt") (lib "hyper-literate/test/comments/test-comments-round-trip.rkt") (lib "hyper-literate/test/comments/annotate-syntax-typed.rkt") (lib "hyper-literate/test/test.hl.rkt") (lib "hyper-literate/private/lp.rkt") (lib "hyper-literate/private/common.rkt") (lib "hyper-literate/test/comments/annotate-syntax.rkt") (lib "hyper-literate/test/test-chunks-order.rkt") (lib "hyper-literate/comments/syntax-properties.rkt") (lib "hyper-literate/lang.rkt") (lib "hyper-literate/comments/syntax-properties-typed.rkt") (lib "hyper-literate/main.rkt") (lib "hyper-literate/private/no-auto-require.rkt") (lib "hyper-literate/restore-comments.rkt") (lib "hyper-literate/comments/hide-comments.rkt") (lib "hyper-literate/comments/hide-comments-typed.rkt") (lib "hyper-literate/lang/reader.rkt") (lib "hyper-literate/test/comments/same-syntax.rkt") (lib "hyper-literate/private/chunks-toc-prefix.rkt") (lib "hyper-literate/scribblings/diff1-example.hl.rkt") (lib "hyper-literate/diff1.rkt") (lib "hyper-literate/lang/meta-first-line.rkt") (lib "hyper-literate/comments/restore-comments-typed.rkt") (lib "hyper-literate/test/test-doc.rkt") (lib "hyper-literate/test/comments/same-syntax-typed.rkt") (lib "hyper-literate/spoiler1.rkt") (lib "hyper-literate/scribblings/hyper-literate.scrbl") (lib "hyper-literate/lang/first-line-utils.rkt") (lib "hyper-literate/test/test2.hl.rkt") (lib "hyper-literate/comment-reader.rkt"))) (name . "hyper-literate") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/hyper-literate.zip") (tags . ("documentation" "lang" "language" "literate-programming"))) pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "a85fc126cf2c3c6f2ab2c53c09cb96931d3e03eb") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x).") (modules . ((lib "auto-syntax-e/test/test-auto-syntax-e.rkt") (lib "auto-syntax-e/utils.rkt") (lib "auto-syntax-e/test/test-meta.rkt") (lib "auto-syntax-e/main.rkt") (lib "auto-syntax-e/scribblings/auto-syntax-e.scrbl"))) (name . "auto-syntax-e") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/auto-syntax-e.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "e213cc72a265db635ce6560bf447d04aa2a5fdeb") (dependencies . (("base") ("pretty-format") ("rackunit-lib") ("reprovide-lang") ("scribble-lib") ("racket-doc") ("scribble-enhanced"))) (description . "Some utilities which help debugging scope-related issues for unhygienic macros") (modules . ((lib "debug-scopes/named-scopes.rkt") (lib "debug-scopes/superscripts.rkt") (lib "debug-scopes/named-scopes/override.rkt") (lib "debug-scopes/scribblings/debug-scopes.scrbl") (lib "debug-scopes/main.rkt") (lib "debug-scopes/named-scopes/exptime.rkt") (lib "debug-scopes/test/named-scopes-test-def.rkt") (lib "debug-scopes/named-scopes-sli-parameter.rkt") (lib "debug-scopes/test/named-scopes-test-use.rkt") (lib "debug-scopes/named-scopes/dummy-lang.rkt"))) (name . "debug-scopes") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/debug-scopes.zip") (tags . ("debug" "debugging" "scopes" "syntax"))) pkg: catalog response: #hash((author . "samth@racket-lang.org dyoo@hashcollision.org") (checksum . "ffc8e3188cf7705fb56f77668412a8e5c3ebfa72") (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 . "racket.suzanne.soy@suzanne.soy") (checksum . "c87acdc4195397b7923ed382ee05f6bc64b30a39") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("scheme-lib") ("compatibility-lib") ("slideshow-lib") ("typed-racket-lib") ("reprovide-lang") ("mutable-match-lambda") ("scribble-lib") ("racket-doc") ("at-exp-lib") ("typed-racket-more") ("typed-racket-doc") ("scribble-doc"))) (description . "Temporary package, will eventually be merged into the scribble-math and hyper-literate packages. Do not use.") (modules . ((lib "scribble-enhanced/scribblings/scribble-enhanced-template.lp2.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced.scrbl") (lib "scribble-enhanced/doc.rkt") (lib "scribble-enhanced/manual-form.rkt") (lib "scribble-enhanced/racket.rkt") (lib "scribble-enhanced/forkmeongithub.rkt") (lib "scribble-enhanced/main.rkt") (lib "scribble-enhanced/math.rkt") (lib "scribble-enhanced/unicode-chars.sty.rkt") (lib "scribble-enhanced/with-manual.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced-example.lp2.rkt") (lib "scribble-enhanced/manual-scheme.rkt"))) (name . "scribble-enhanced") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/scribble-enhanced.zip") (tags . ("deprecated"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "8eaab1a2e63c5929acaaf2850c58600c2ac9c85f") (dependencies . (("base") ("kw-utils") ("rackunit-lib") ("at-exp-lib") ("scribble-lib") ("sandbox-lib") ("racket-doc"))) (description . "") (modules . ((lib "mutable-match-lambda/docs/mutable-match-lambda.scrbl") (lib "mutable-match-lambda/syntax-to-string.rkt") (lib "mutable-match-lambda/prop-object-name.rkt") (lib "mutable-match-lambda/make-clause-proc.rkt") (lib "mutable-match-lambda/mutable-match-lambda-procedure.rkt") (lib "mutable-match-lambda/communication.rkt") (lib "mutable-match-lambda/let-inferred-name.rkt") (lib "mutable-match-lambda/main.rkt"))) (name . "mutable-match-lambda") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mutable-match-lambda.zip") (tags . ("deprecated"))) 01: Resolved "sexp-diff" via file:///home/root//catalogs/built/catalog 01: Resolved "tr-immutable" via file:///home/root//catalogs/built/catalog Resolved "typed-map-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "e3ca2ac85ec78d060a576b4e4f7ab58371284111") (dependencies . (("sexp-diff-lib") ("sexp-diff-doc") ("sexp-diff-test"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance.") (modules . ()) (name . "sexp-diff") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff.zip") (tags . ())) pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "c57ee457d16a384c0841e55b656253621fe8298c") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("typed-map-lib") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not documented yet. I'm currently dogfooding this to work out the best strategy.") (modules . ((lib "tr-immutable/main.rkt") (lib "tr-immutable/typed-syntax/typed-pairof-predicate.rkt") (lib "tr-immutable/private/unsafe.rkt") (lib "tr-immutable/typed-syntax.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-convert2.rkt") (lib "tr-immutable/scribblings/tr-immutable.scrbl") (lib "tr-immutable/typed-syntax/typed-syntax-convert.rkt") (lib "tr-immutable/test/test-vector.rkt") (lib "tr-immutable/typed-syntax/typed-prefab-declarations.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-predicate.rkt"))) (name . "tr-immutable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/tr-immutable.zip") (tags . ("experimental" "syntax" "typed-racket" "unstable"))) pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "c7c80190be3a970bd730214b042101f2b095f625") (dependencies . (("base") ("typed-racket-lib"))) (description . "Implementation of typed-map") (modules . ((lib "typed-map/main.rkt"))) (name . "typed-map-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-map-lib.zip") (tags . ("typed-map"))) 01: Resolved "sexp-diff-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "sexp-diff-doc" via file:///home/root//catalogs/built/catalog Resolved "sexp-diff-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "b882902a46740b9b81e0251da045669eb57a8d02") (dependencies . (("base"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance, library only.") (modules . ((lib "sexp-diff/stx-diff.rkt") (lib "sexp-diff/utils.rkt") (lib "sexp-diff/sexp-diff.rkt") (lib "sexp-diff/main.rkt"))) (name . "sexp-diff-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "f93c89c29caf100d6f80658ce9976004eabeefce") (dependencies . (("base") ("scribble-lib") ("rackunit-lib") ("racket-doc") ("sexp-diff-lib"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance, documentation.") (modules . ((lib "sexp-diff-doc/sexp-diff/sexp-diff.scrbl"))) (name . "sexp-diff-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff-doc.zip") (tags . ())) pkg: catalog response: #hash((author . "stamourv@racket-lang.org wjb@williamjbowman.com") (checksum . "81a169517ee7818651b815093ef8e0e48f066a61") (dependencies . (("base") ("rackunit-lib") ("sexp-diff-lib"))) (description . "Tests for sexp-diff-lib") (modules . ((lib "sexp-diff/tests/stx-diff.rkt") (lib "sexp-diff/tests/sexp-diff.rkt"))) (name . "sexp-diff-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff-test.zip") (tags . ())) 01: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "43e2f9932f9d2b1a91b9a29f97ea04ce0de10427") (dependencies . (("base" #:version "6.0.0.4") ("typed-racket-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Pretty versions of printf, format, etc. that print according to format strings") (modules . ((lib "pretty-format/main.rkt") (lib "pretty-format/scribblings/pretty-format.scrbl") (lib "typed/pretty-format.rkt"))) (name . "pretty-format") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pretty-format.zip") (tags . ("io" "printing"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "ce70a67d3090ab9467ad895def819270bb097b42") (dependencies . (("base") ("reprovide-lang-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/test/use-glob-in.rkt") (lib "reprovide/test/use.rkt") (lib "reprovide/test/example-directory/a.rkt") (lib "reprovide/test/other-subdir/indirect-glob-in.rkt") (lib "reprovide/test/use-combine-in-except.rkt") (lib "reprovide/test/test-combine-in-fallback.rkt") (lib "reprovide/scribblings/reprovide.scrbl") (lib "reprovide/test/test-combine-in-except.rkt") (lib "reprovide/test/example-directory/b.rkt") (lib "reprovide/test/test.rkt") (lib "reprovide/test/use-combine-in-fallback.rkt") (lib "reprovide/test/example-directory/c.rkt"))) (name . "reprovide-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang.zip") (tags . ("provide" "require"))) Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "ff438e8208fba8fb632ad725c43e29ce9ec13f55") (dependencies . (("base") ("lang-file-lib") ("srfi-lite-lib") ("syntax-macro-lang"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/require-transformer/combine-in-except.rkt") (lib "reprovide/require-transformer/glob-in.rkt") (lib "reprovide/main.rkt") (lib "reprovide/require-transformer/private/this-expression-source-file.rkt") (lib "reprovide/require-transformer/combine-in-fallback.rkt") (lib "reprovide/reprovide.rkt") (lib "reprovide/require-transformer/directory-in.rkt"))) (name . "reprovide-lang-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang-lib.zip") (tags . ("provide" "require"))) 01: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "7bdafc9d96c5f8fb52ebce03954d562192d02d24") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/test/literal.rkt") (lib "lang-file/test/tuvalu.rkt") (lib "lang-file/read-lang-file.rkt") (lib "lang-file/test/interp.rkt"))) (name . "lang-file-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lang-file-lib.zip") (tags . ("file" "lang"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "ef92156daa8b9f9c1bfc77700366d585eff726da") (dependencies . (("base"))) (description . "experimental racket module language for creating languages, inspired by syntax-lang") (modules . ((lib "syntax/macro-lang.rkt") (lib "tests/syntax/macro-lang/test.rkt") (lib "tests/syntax/macro-lang/the-lang.rkt"))) (name . "syntax-macro-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-macro-lang.zip") (tags . ("lang" "syntax"))) Resolved "kw-utils" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "45b6b4ba4a1d7b8d89f506d6e560fa2e63ae30e8") (dependencies . (("base") ("sweet-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("rackjure"))) (description . "misc kw utils") (modules . ((lib "kw-utils/kw-map.rkt") (lib "kw-utils/docs/keyword-hash.scrbl") (lib "kw-utils/docs/kw-utils.scrbl") (lib "kw-utils/kw-hash-lambda.rkt") (lib "kw-utils/docs/lambda-kwrest.scrbl") (lib "kw-utils/mapper.rkt") (lib "kw-utils/docs/keyword-lists.scrbl") (lib "kw-utils/docs/keyword-apply-sort.scrbl") (lib "kw-utils/docs/higher-order-functions.scrbl") (lib "kw-utils/keyword-app.rkt") (lib "kw-utils/arity+keywords.rkt") (lib "kw-utils/docs/arity+keywords.scrbl") (lib "kw-utils/keyword-lambda.rkt") (lib "kw-utils/docs/partial.scrbl") (lib "kw-utils/keyword-apply-sort.rkt") (lib "kw-utils/partial.rkt") (lib "kw-utils/kw-apply.rkt") (lib "kw-utils/docs/mapper.scrbl") (lib "kw-utils/arity+keywords/syntax.rkt") (lib "kw-utils/kw-lists-lambda.rkt") (lib "kw-utils/kw-hash.rkt") (lib "kw-utils/kw-hash/contract.rkt") (lib "kw-utils/lambda-kwrest.rkt") (lib "kw-utils/docs/kw-hash.scrbl") (lib "kw-utils/docs/kw-lists-lambda.scrbl") (lib "kw-utils/docs/kw-map.scrbl") (lib "kw-utils/docs/keyword-lambda.scrbl"))) (name . "kw-utils") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/kw-utils.zip") (tags . ("keywords"))) 01: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog Resolved "rackjure" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org asumu@ccs.neu.edu") (checksum . "2f89cdaa9900177a3ff9b850a924a2cfae98057d") (dependencies . (("base"))) (description . "Implementation part of sweet-exp") (modules . ((lib "sweet-exp/main.rkt") (lib "sweet-exp/reader.rkt") (lib "sweet-exp/read-sig.rkt") (lib "sweet-exp/modern/process-curly.rkt") (lib "sweet-exp/racket/init.rkt") (lib "sweet-exp/modern.rkt") (lib "sweet-exp/sugar.rkt") (lib "sweet-exp/indent.rkt") (lib "sweet-exp/util.rkt") (lib "sweet-exp/sweet.rkt"))) (name . "sweet-exp-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sweet-exp-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "racket@greghendershott.com") (checksum . "3fe87206d22df81fa44dd3b14bc9eade0fae9e1f") (dependencies . (("base" #:version "6.3") ("rackunit-lib") ("threading-lib" #:version "1.1") ("rackunit-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib") ("threading-doc"))) (description . "Some Clojure-inspired idioms.") (modules . ((lib "rackjure/alist.rkt") (lib "rackjure/bench.rkt") (lib "rackjure/test.rkt") (lib "rackjure/lambda-reader.rkt") (lib "rackjure/rackjure.rkt") (lib "rackjure/main.rkt") (lib "rackjure/conditionals.rkt") (lib "rackjure/egal.rkt") (lib "rackjure/lang/language-info.rkt") (lib "rackjure/lang/runtime-config.rkt") (lib "rackjure/lang/reader.rkt") (lib "rackjure/base/lang/reader.rkt") (lib "rackjure/dict.rkt") (lib "rackjure/threading.rkt") (lib "rackjure/base.rkt") (lib "rackjure/app.rkt") (lib "rackjure/str.rkt") (lib "rackjure/rackjure.scrbl") (lib "rackjure/check-expansion.rkt") (lib "rackjure/utils.rkt"))) (name . "rackjure") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackjure.zip") (tags . ("language"))) 01: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "98cf683b9a3e199221fcb925b183ff8bbfd26d85") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt") (lib "threading/private/extra.rkt") (lib "threading/private/base.rkt") (lib "threading/private/cond.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "e7f8b02f05366e99054f1a9b0e5b5fafca0f97c1") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib" #:version "2.0"))) (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: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "98cf683b9a3e199221fcb925b183ff8bbfd26d85" #t) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "e7f8b02f05366e99054f1a9b0e5b5fafca0f97c1" #t) pkg: creating single-collection link to # pkg: updating db with "set-extras" to '#s((sc-pkg-info pkg-info 3) (catalog "set-extras") "980c78d0326b1c33fad98ae2439c4933030c0cb4" #t "set-extras") pkg: creating single-collection link to # pkg: updating db with "unreachable" to '#s((sc-pkg-info pkg-info 3) (catalog "unreachable") "933c463af468c6b6f6a18c2b57d5f0870be6f457" #t "unreachable") pkg: creating single-collection link to # pkg: updating db with "traces" to '#s((sc-pkg-info pkg-info 3) (catalog "traces") "73ea146778d18f4900c472ef479edcb03bad0ac1" #t "traces") pkg: creating single-collection link to # pkg: updating db with "termination" to '#s((sc-pkg-info pkg-info 3) (catalog "termination") "f596fcb0698e9a1b3257209d85ec1af5cfb2b6d5" #f "termination") pkg: creating single-collection link to # pkg: updating db with "bnf" to '#s((sc-pkg-info pkg-info 3) (catalog "bnf") "d2b4467b9d0f7b33e8aa55720aee39872b2c6a65" #t "bnf") pkg: creating single-collection link to # pkg: updating db with "typed-struct-props" to '#s((sc-pkg-info pkg-info 3) (catalog "typed-struct-props") "765d39d28f466f93902b76544eb47ab2cf23fd4d" #t "typed-struct-props") pkg: creating single-collection link to # pkg: updating db with "type-expander" to '#s((sc-pkg-info pkg-info 3) (catalog "type-expander") "4980856f64a4462d50ec530a026824ab8b5b0625" #t "type-expander") pkg: creating single-collection link to # pkg: updating db with "hyper-literate" to '#s((sc-pkg-info pkg-info 3) (catalog "hyper-literate") "f7cf43049f5171d1e949438939a8eeed24338633" #t "hyper-literate") pkg: creating link to # pkg: updating db with "sexp-diff" to '#s(pkg-info (catalog "sexp-diff") "e3ca2ac85ec78d060a576b4e4f7ab58371284111" #t) pkg: creating link to # pkg: updating db with "sexp-diff-lib" to '#s(pkg-info (catalog "sexp-diff-lib") "b882902a46740b9b81e0251da045669eb57a8d02" #t) pkg: creating single-collection link to # pkg: updating db with "sexp-diff-doc" to '#s((sc-pkg-info pkg-info 3) (catalog "sexp-diff-doc") "f93c89c29caf100d6f80658ce9976004eabeefce" #t "sexp-diff-doc") pkg: creating link to # pkg: updating db with "sexp-diff-test" to '#s(pkg-info (catalog "sexp-diff-test") "81a169517ee7818651b815093ef8e0e48f066a61" #t) pkg: creating single-collection link to # pkg: updating db with "tr-immutable" to '#s((sc-pkg-info pkg-info 3) (catalog "tr-immutable") "c57ee457d16a384c0841e55b656253621fe8298c" #t "tr-immutable") pkg: creating link to # pkg: updating db with "typed-map-lib" to '#s(pkg-info (catalog "typed-map-lib") "c7c80190be3a970bd730214b042101f2b095f625" #t) pkg: creating single-collection link to # pkg: updating db with "auto-syntax-e" to '#s((sc-pkg-info pkg-info 3) (catalog "auto-syntax-e") "a85fc126cf2c3c6f2ab2c53c09cb96931d3e03eb" #t "auto-syntax-e") pkg: creating single-collection link to # pkg: updating db with "debug-scopes" to '#s((sc-pkg-info pkg-info 3) (catalog "debug-scopes") "e213cc72a265db635ce6560bf447d04aa2a5fdeb" #t "debug-scopes") pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "43e2f9932f9d2b1a91b9a29f97ea04ce0de10427" #t) pkg: creating link to # pkg: updating db with "reprovide-lang" to '#s(pkg-info (catalog "reprovide-lang") "ce70a67d3090ab9467ad895def819270bb097b42" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "ff438e8208fba8fb632ad725c43e29ce9ec13f55" #t) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "7bdafc9d96c5f8fb52ebce03954d562192d02d24" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "ef92156daa8b9f9c1bfc77700366d585eff726da" #t) pkg: creating single-collection link to # pkg: updating db with "version-case" to '#s((sc-pkg-info pkg-info 3) (catalog "version-case") "ffc8e3188cf7705fb56f77668412a8e5c3ebfa72" #t "version-case") pkg: creating single-collection link to # pkg: updating db with "scribble-enhanced" to '#s((sc-pkg-info pkg-info 3) (catalog "scribble-enhanced") "c87acdc4195397b7923ed382ee05f6bc64b30a39" #t "scribble-enhanced") pkg: creating link to # pkg: updating db with "mutable-match-lambda" to '#s(pkg-info (catalog "mutable-match-lambda") "8eaab1a2e63c5929acaaf2850c58600c2ac9c85f" #t) pkg: creating link to # pkg: updating db with "kw-utils" to '#s(pkg-info (catalog "kw-utils") "45b6b4ba4a1d7b8d89f506d6e560fa2e63ae30e8" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "2f89cdaa9900177a3ff9b850a924a2cfae98057d" #t) pkg: creating link to # pkg: updating db with "rackjure" to '#s(pkg-info (catalog "rackjure") "3fe87206d22df81fa44dd3b14bc9eade0fae9e1f" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of termination: bnf set-extras unreachable traces dependencies of bnf: typed-struct-props dependencies of typed-struct-props: type-expander dependencies of type-expander: hyper-literate auto-syntax-e debug-scopes version-case scribble-enhanced mutable-match-lambda dependencies of hyper-literate: sexp-diff tr-immutable typed-map-lib dependencies of sexp-diff: sexp-diff-lib sexp-diff-doc sexp-diff-test dependencies of debug-scopes: pretty-format reprovide-lang dependencies of reprovide-lang: reprovide-lang-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of mutable-match-lambda: kw-utils dependencies of kw-utils: sweet-exp-lib rackjure dependencies of rackjure: threading-lib threading-doc raco setup: version: 8.17 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17 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.17/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.17/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17/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 --- [12:47:14] raco setup: updating: /home/root/user/.local/share/racket/8.17/share/info-cache.rktd raco setup: --- pre-installing collections --- [12:47:14] raco setup: --- installing foreign libraries --- [12:47:14] raco setup: --- installing shared files --- [12:47:14] raco setup: --- compiling collections --- [12:47:14] raco setup: --- parallel build using 2 jobs --- [12:47:14] raco setup: 1 making: /auto-syntax-e raco setup: 0 making: /bnf raco setup: 1 making: /auto-syntax-e/test raco setup: 1 making: /debug-scopes raco setup: 1 making: /debug-scopes/named-scopes raco setup: 1 making: /debug-scopes/test raco setup: 1 making: /hyper-literate raco setup: 1 making: /hyper-literate/comments raco setup: 0 making: /kw-utils/kw-utils raco setup: 1 making: /hyper-literate/lang raco setup: 1 making: /hyper-literate/private raco setup: 1 making: /hyper-literate/scribblings raco setup: 1 making: /hyper-literate/test raco setup: 1 making: /hyper-literate/test/comments raco setup: 1 making: /lang-file-lib/lang-file raco setup: 1 making: /lang-file-lib/lang-file/test raco setup: 1 making: /mutable-match-lambda/mutable-match-lambda raco setup: 1 making: /pretty-format/pretty-format raco setup: 1 making: /pretty-format/typed raco setup: 1 making: /rackjure/rackjure (rackjure) raco setup: 0 making: /kw-utils/kw-utils/arity+keywords raco setup: 0 making: /kw-utils/kw-utils/kw-hash raco setup: 0 making: /reprovide-lang-lib/reprovide raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: 0 making: /reprovide-lang/reprovide raco setup: 0 making: /reprovide-lang/reprovide/test raco setup: 0 making: /reprovide-lang/reprovide/test/example-directory raco setup: 0 making: /reprovide-lang/reprovide/test/other-subdir raco setup: 0 making: /scribble-enhanced raco setup: 0 making: /scribble-enhanced/scribblings raco setup: 0 making: /set-extras raco setup: 1 making: /rackjure/rackjure/base/lang raco setup: 1 making: /rackjure/rackjure/lang raco setup: 0 making: /sexp-diff-doc raco setup: 0 making: /sexp-diff-doc/sexp-diff raco setup: 1 making: /sexp-diff-lib/sexp-diff raco setup: 1 making: /sexp-diff-test/sexp-diff/tests raco setup: 1 making: /sweet-exp-lib/sweet-exp raco setup: 1 making: /sweet-exp-lib/sweet-exp/modern raco setup: 1 making: /sweet-exp-lib/sweet-exp/racket raco setup: 0 making: /syntax-macro-lang/syntax raco setup: 0 making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: 0 making: /termination raco setup: 1 making: /threading-doc/scribblings raco setup: 1 making: /threading-lib/threading raco setup: 1 making: /threading-lib/threading/private raco setup: 1 making: /tr-immutable raco setup: 1 making: /tr-immutable/private raco setup: 1 making: /tr-immutable/test raco setup: 1 making: /tr-immutable/typed-syntax raco setup: 1 making: /traces raco setup: 1 making: /type-expander raco setup: 0 making: /termination/flow-analysis raco setup: 0 making: /termination/tests/Dyn raco setup: 0 making: /termination/tests/Dyn/benchmarks raco setup: 0 making: /termination/tests/Dyn/benchmarks/cm raco setup: 1 making: /type-expander/base/lang raco setup: 1 making: /type-expander/lang raco setup: 1 making: /type-expander/lang/lang raco setup: 1 making: /type-expander/test raco setup: 0 making: /termination/tests/Dyn/benchmarks/imp raco setup: 0 making: /termination/tests/Dyn/benchmarks/unchecked raco setup: 1 making: /typed-map-lib/typed-map raco setup: 1 making: /typed-struct-props raco setup: 1 making: /typed-struct-props/test raco setup: 0 making: /termination/tests/Dyn/buggy-versions raco setup: 1 making: /unreachable raco setup: 1 making: /version-case (version-case) raco setup: 1 making: /version-case/private raco setup: --- creating launchers --- [12:47:27] raco setup: --- installing man pages --- [12:47:27] raco setup: --- building documentation --- [12:47:27] raco setup: syncing: /auto-syntax-e/doc/auto-syntax-e raco setup: syncing: /debug-scopes/doc/debug-scopes raco setup: syncing: /hyper-literate/doc/hyper-literate raco setup: syncing: /kw-utils/kw-utils/doc/kw-utils raco setup: syncing: /mutable-match-lambda/mutable-match-lambda/doc/mutable-match-lambda raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /rackjure/rackjure/doc/rackjure raco setup: syncing: /reprovide-lang/reprovide/doc/reprovide raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-example.lp2 raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-template.lp2 raco setup: syncing: /sexp-diff-doc/sexp-diff/doc/sexp-diff raco setup: syncing: /hyper-literate/doc/test.hl raco setup: syncing: /hyper-literate/doc/test2.hl raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /tr-immutable/doc/tr-immutable raco setup: syncing: /type-expander/doc/type-expander raco setup: syncing: /type-expander/doc/type-expander-implementation raco setup: syncing: /typed-struct-props/doc/typed-struct-props raco setup: syncing: /version-case/doc/version-case 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: 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 --- [12:47:34] raco setup: --- post-installing collections --- [12:47:34] GC: 0:atexit peak 304,468K(+130,867K); alloc 23,590,591K; major 6; minor 1172; 5915ms raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/apply-with-termination.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/flattened-parameter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/analyze.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/lang.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/parse.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/micro-benchmarks.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/runtime-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/size-change-graph.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/syntax-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/acl2-fig-2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/acl2-fig-6.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/acl2-fig-7.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/common.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt") interp-sum.rkt: racket test: timeout after 90 seconds raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/div.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/dderiv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/deriv.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/destruct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/div.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/ho-sct-ack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/ho-sct-fg.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/ho-sct-fold.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-bar.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-f.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-foo.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-perm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-poly.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-gcd.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-map.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-merge.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-range.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-tfact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/nfa.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/scheme.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-1.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-2.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-3.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-4.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-5.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-6.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/unsafe-apply-with-termination.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/termination/unsafe.rkt") 8 /home/root//user/.local/share/racket/8.17/pkgs/termination/test.rkt 4 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt 3 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt 2 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/div.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/apply-with-termination.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/flattened-parameter.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/analyze.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/lang.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/main.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/parse.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/flow-analysis/utils.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/info.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/main.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/micro-benchmarks.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/runtime-utils.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/size-change-graph.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/syntax-utils.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/acl2-fig-2.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/acl2-fig-6.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/acl2-fig-7.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/common.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/dderiv.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/deriv.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/destruct.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/div.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/ho-sct-ack.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/ho-sct-fg.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/ho-sct-fold.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-bar.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-f.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-foo.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-perm.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/isabelle-poly.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-gcd.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-map.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-merge.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-range.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/lh-tfact.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/nfa.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/scheme.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-1.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-2.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-3.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-4.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-5.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/sct-6.rkt 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/unsafe-apply-with-termination.rkt1/46 test failures 0 /home/root//user/.local/share/racket/8.17/pkgs/termination/unsafe.rkt 1 1 /home/root//user/.local/share/racket/8.17/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt GC: 0:atexit peak 98,562K(+36,085K); alloc 1,128,710K; major 1; minor 136; 343ms The time is now Thursday, May 15th, 2025 12:49:43pm