The time is now Sunday, June 15th, 2025 1:02:58pm (/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: PLT_PKG_BUILD_SERVICE=1 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto turnstile-test && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package turnstile-test) Resolved "turnstile-test" via file:///home/root//catalogs/built/catalog 00: Resolved "turnstile-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "turnstile-example" via file:///home/root//catalogs/built/catalog Resolved "rackunit-macrotypes-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "macrotypes-lib" via file:///home/root//catalogs/built/catalog Resolved "lens-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "lens-common" via file:///home/root//catalogs/built/catalog 00: Resolved "lens-data" via file:///home/root//catalogs/built/catalog 01: Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog Resolved "fancy-app" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "struct-update-lib" via file:///home/root//catalogs/built/catalog Resolved "kw-make-struct-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of turnstile-test: turnstile-lib turnstile-example rackunit-macrotypes-lib dependencies of turnstile-lib: macrotypes-lib lens-lib dependencies of lens-lib: lens-common lens-data reprovide-lang-lib sweet-exp-lib dependencies of lens-common: fancy-app dependencies of lens-data: syntax-classes-lib struct-update-lib kw-make-struct-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang raco setup: version: 8.17.0.4 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17.0.4 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.0.4/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.0.4/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.4/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [18:03:17] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [18:03:17] raco setup: --- installing foreign libraries --- [18:03:17] raco setup: --- installing shared files --- [18:03:17] raco setup: --- compiling collections --- [18:03:17] raco setup: making: /syntax/parse raco setup: making: /syntax/parse/experimental raco setup: making: /syntax/parse/lib raco setup: making: /syntax/parse/private raco setup: making: /fancy-app raco setup: in /fancy-app raco setup: making: /kw-make-struct-lib/kw-make-struct raco setup: in /kw-make-struct-lib/kw-make-struct raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: making: /lang-file-lib/lang-file raco setup: in /lang-file-lib/lang-file raco setup: making: /lang-file-lib/lang-file/test raco setup: in /lang-file-lib/lang-file/test raco setup: making: /lens-common/lens raco setup: in /lens-common/lens raco setup: in /lens-common/lens/private/base raco setup: in /reprovide-lang-lib/reprovide raco setup: in /lens-common/lens/private/util raco setup: in /reprovide-lang-lib/reprovide/require-transformer raco setup: in /reprovide-lang-lib/reprovide/require-transformer/private raco setup: in /syntax-macro-lang/syntax raco setup: in /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/isomorphism raco setup: in /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp/modern raco setup: in /lens-common/lens/private/test-util raco setup: making: /lens-common/lens/private raco setup: making: /lens-common/lens/private/base raco setup: making: /lens-common/lens/private/common raco setup: in /lens-common/lens/private/common raco setup: making: /lens-common/lens/private/compound raco setup: in /lens-common/lens/private/compound raco setup: in /lens-data/lens/private/list raco setup: in /lens-data/lens/private/util raco setup: in /lens-common/lens/private/util raco setup: in /lens-data/lens/private/string raco setup: in /lens-data/lens/private/vector raco setup: in /lens-data/lens/private/isomorphism raco setup: making: /lens-common/lens/private/isomorphism raco setup: in /lens-common/lens/private/isomorphism raco setup: making: /lens-common/lens/private/test-util raco setup: in /lens-common/lens/private/test-util raco setup: making: /lens-common/lens/private/util raco setup: making: /lens-data/lens raco setup: in /lens-data/lens raco setup: in /lens-data/lens/data raco setup: in /lens-data/lens/private/dict raco setup: in /lens-data/lens/private/util raco setup: in /lens-data/lens/private/hash raco setup: in /lens-data/lens/private/stream raco setup: in /lens-data/lens/private/struct raco setup: in /struct-update-lib/struct-update raco setup: making: /lens-data/lens/data raco setup: making: /lens-data/lens/private raco setup: in /lens-data/lens/private raco setup: making: /lens-data/lens/private/dict raco setup: in /lens-data/lens/private/dict raco setup: making: /lens-data/lens/private/hash raco setup: in /lens-data/lens/private/hash raco setup: making: /lens-data/lens/private/isomorphism raco setup: in /lens-data/lens/private/isomorphism raco setup: making: /lens-data/lens/private/list raco setup: in /lens-data/lens/private/list raco setup: making: /lens-data/lens/private/set raco setup: in /lens-data/lens/private/set raco setup: in /lens-data/lens/private/util raco setup: making: /lens-data/lens/private/stream raco setup: making: /lens-data/lens/private/string raco setup: in /lens-data/lens/private/string raco setup: making: /lens-data/lens/private/struct raco setup: in /lens-data/lens/private/struct raco setup: making: /lens-data/lens/private/syntax raco setup: in /lens-data/lens/private/syntax raco setup: making: /lens-data/lens/private/tests raco setup: in /lens-data/lens/private/tests raco setup: making: /lens-data/lens/private/util raco setup: making: /lens-data/lens/private/vector raco setup: making: /lens-data/lens/private/view-set raco setup: in /lens-data/lens/private/view-set raco setup: making: /lens-lib/lens (lens) raco setup: in /lens-lib/lens raco setup: making: /macrotypes-lib/macrotypes raco setup: in /macrotypes-lib/macrotypes raco setup: making: /rackunit-macrotypes-lib/rackunit raco setup: in /rackunit-macrotypes-lib/rackunit raco setup: making: /reprovide-lang-lib/reprovide raco setup: making: /reprovide-lang-lib/reprovide/require-transformer raco setup: in /reprovide-lang-lib/reprovide/require-transformer raco setup: making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: making: /struct-update-lib/struct-update raco setup: making: /sweet-exp-lib/sweet-exp raco setup: in /sweet-exp-lib/sweet-exp raco setup: making: /sweet-exp-lib/sweet-exp/modern raco setup: making: /sweet-exp-lib/sweet-exp/racket raco setup: in /sweet-exp-lib/sweet-exp/racket raco setup: making: /syntax-classes-lib/syntax raco setup: making: /syntax-classes-lib/syntax/parse raco setup: making: /syntax-classes-lib/syntax/parse/class raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: making: /syntax-macro-lang/syntax raco setup: making: /syntax-macro-lang/tests raco setup: making: /syntax-macro-lang/tests/syntax raco setup: making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: in /syntax-macro-lang/tests/syntax/macro-lang raco setup: making: /turnstile-example/turnstile raco setup: making: /turnstile-example/turnstile/examples raco setup: in /turnstile-example/turnstile/examples raco setup: in /turnstile-lib/turnstile/base/lang raco setup: in /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile/lang raco setup: in /turnstile-example/turnstile/examples/util raco setup: making: /turnstile-example/turnstile/examples/cmu15-814 raco setup: in /turnstile-example/turnstile/examples/cmu15-814 raco setup: in /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile/quicklang/lang raco setup: making: /turnstile-example/turnstile/examples/dep raco setup: in /turnstile-example/turnstile/examples/dep raco setup: in /turnstile-lib/turnstile+ raco setup: in /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile+/base/lang raco setup: in /turnstile-lib/turnstile+/quicklang/lang raco setup: making: /turnstile-example/turnstile/examples/linear raco setup: in /turnstile-example/turnstile/examples/linear raco setup: making: /turnstile-example/turnstile/examples/optimize raco setup: in /turnstile-example/turnstile/examples/optimize raco setup: making: /turnstile-example/turnstile/examples/simple raco setup: in /turnstile-example/turnstile/examples/simple raco setup: making: /turnstile-example/turnstile/examples/util raco setup: making: /turnstile-lib/turnstile raco setup: in /turnstile-lib/turnstile raco setup: making: /turnstile-lib/turnstile+ raco setup: in /turnstile-lib/turnstile+ raco setup: making: /turnstile-lib/turnstile+/base raco setup: making: /turnstile-lib/turnstile+/base/lang raco setup: making: /turnstile-lib/turnstile+/lang raco setup: in /turnstile-lib/turnstile+/lang raco setup: making: /turnstile-lib/turnstile+/quicklang raco setup: making: /turnstile-lib/turnstile+/quicklang/lang raco setup: making: /turnstile-lib/turnstile/base raco setup: making: /turnstile-lib/turnstile/base/lang raco setup: making: /turnstile-lib/turnstile/lang raco setup: making: /turnstile-lib/turnstile/lang/lang raco setup: in /turnstile-lib/turnstile/lang/lang raco setup: making: /turnstile-lib/turnstile/quicklang raco setup: making: /turnstile-lib/turnstile/quicklang/lang raco setup: making: /turnstile-test/tests raco setup: in /turnstile-test/tests raco setup: --- creating launchers --- [18:04:37] raco setup: --- installing man pages --- [18:04:37] raco setup: --- building documentation --- [18:04:37] raco setup: syncing: /fancy-app/doc/fancy-app raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [18:05:00] raco setup: --- post-installing collections --- [18:05:00] raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+exist-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+fix-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+forall-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+rec-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-bool-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-data2-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-eq-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-eq-tests2.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-list-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-list-tests2.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-nat+datum-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-nat-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-subtype-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/exist-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/ext-stlc-no-unicode-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/ext-stlc-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/filter-maximal.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega-no-reuse-tests-old.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega-no-reuse-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega2-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fsub-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/generic.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/issues/issue035.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/issues/issue072.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/issues/issue084-deftypedvariable.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/fabul-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+chan-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+cons-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+tup-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+var-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin2-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin3-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin4-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin5-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/rackunit-lin.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/racket-base-prog.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/racket-prog.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-base-lang-prog.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-base-lang.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-lang-prog.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-lang.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/mode.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/exist-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/ext-stlc-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/fomega-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/fomega2-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/fsub-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/rackunit-kindchecking.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+box-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+cons-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+lit-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+rec-iso-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+reco+sub-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+reco+var-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+sub-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+tup-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/sysf-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/pat-expander-tests-def.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/pat-expander-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/rackunit-kindchecking.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/rackunit-typechecking.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/samc-define-lang-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/samc-define-lang-tests2.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/simple/ext-stlc-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/simple/stlc+lit-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/simple/stlc-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+box-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+cons-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+effect-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+lit-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+rec-iso-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+reco+sub-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+reco+var-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+reco2-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+sub-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+tup-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+union+case.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+union.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc-jesse-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/sysf-tests.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/telescopes.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/tlb-infer-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/trivial-test.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/turnstile-tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/typed-rackunit-typechecking.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/typed-var-stx/typed-var-example.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/typed-var-stx/typed-var-test.rkt") 107 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/exist-tests.rkt 107 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/exist-tests.rkt 104 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+effect-tests.rkt 101 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+exist-tests.rkt 100 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega-tests.rkt 100 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/fomega-tests.rkt 100 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+box-tests.rkt 100 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+box-tests.rkt 98 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega-no-reuse-tests-old.rkt 98 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega-no-reuse-tests.rkt 94 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+rec-iso-tests.rkt 94 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+rec-iso-tests.rkt 90 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+forall-tests.rkt 87 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+cons-tests.rkt 87 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+cons-tests.rkt 85 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+rec-tests.rkt 84 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fomega2-tests.rkt 84 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/fomega2-tests.rkt 82 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+reco+var-tests.rkt 82 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+reco+var-tests.rkt 69 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-tests.rkt 68 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+reco+sub-tests.rkt 68 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+reco+sub-tests.rkt 67 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum+fix-tests.rkt 67 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-nat-tests.rkt 63 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc+sum-tests.rkt 61 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/simple/ext-stlc-tests.rkt 60 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+reco2-tests.rkt 59 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/ext-stlc-tests.rkt 59 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/ext-stlc-tests.rkt 55 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-list-tests.rkt 55 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-list-tests2.rkt 55 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/tlb-infer-tests.rkt 53 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+union+case.rkt 52 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+tup-tests.rkt 52 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+tup-tests.rkt 50 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+sub-tests.rkt 50 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+sub-tests.rkt 49 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+union.rkt 47 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-nat+datum-tests.rkt 46 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/sysf-tests.rkt 46 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/sysf-tests.rkt 43 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/fsub-tests.rkt 43 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/fsub-tests.rkt 37 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/trivial-test.rkt 30 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/cmu15-814/stlc-tests.rkt 30 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/ext-stlc-no-unicode-tests.rkt 28 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/stlc+lit-tests.rkt 28 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/simple/stlc+lit-tests.rkt 28 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc+lit-tests.rkt 26 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin2-tests.rkt 25 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin3-tests.rkt 23 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-eq-tests.rkt 23 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin-tests.rkt 23 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin4-tests.rkt 23 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin5-tests.rkt 22 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-eq-tests2.rkt 20 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/filter-maximal.rkt 19 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-bool-tests.rkt 17 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/pat-expander-tests.rkt 16 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep-tests.rkt 16 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+var-tests.rkt 13 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+tup-tests.rkt 12 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/fabul-tests.rkt 7 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/turnstile-tests.rkt 6 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/typed-var-stx/typed-var-test.rkt 5 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/mode.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/samc-define-lang-tests.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/samc-define-lang-tests2.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/simple/stlc-tests.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc-tests.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-data2-tests.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/telescopes.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/dep/dep-ind-cur2-subtype-tests.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/issues/issue072.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+chan-tests.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/lin+cons-tests.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/issues/issue035.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/stlc-jesse-tests.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/generic.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/issues/issue084-deftypedvariable.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/linear/rackunit-lin.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/racket-base-prog.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/racket-prog.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-base-lang-prog.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-base-lang.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-lang-prog.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/load-time-tests/turnstile-lang.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/optimize/rackunit-kindchecking.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/pat-expander-tests-def.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/rackunit-kindchecking.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/rackunit-typechecking.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/typed-rackunit-typechecking.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/turnstile-test/tests/turnstile/typed-var-stx/typed-var-example.rkt 3730 tests passed The time is now Sunday, June 15th, 2025 1:20:02pm