The time is now Sunday, November 3rd, 2024 9:19:21pm (/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 turnstile-example && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package turnstile-example) Resolved "turnstile-example" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "0ec569282800f48cf7e4e5cfb33356b328120920") (dependencies . (("base" #:version "7.0") ("typed-racket-lib") ("turnstile-lib" #:version "0.5.6") ("macrotypes-lib" #:version "0.3.5"))) (description . "") (modules . ((lib "turnstile/examples/cmu15-814/stlc+sum+forall.rkt") (lib "turnstile/examples/cmu15-814/stlc.rkt") (lib "turnstile/examples/ext-stlc.rkt") (lib "turnstile/examples/util/filter-maximal.rkt") (lib "turnstile/examples/stlc.rkt") (lib "turnstile/examples/optimize/stlc+lit.rkt") (lib "turnstile/examples/exist.rkt") (lib "turnstile/examples/optimize/stlc+reco+var.rkt") (lib "turnstile/examples/linear/lin+cons.rkt") (lib "turnstile/examples/optimize/stlc+cons.rkt") (lib "turnstile/examples/linear/lin2.rkt") (lib "turnstile/examples/fomega-no-reuse.rkt") (lib "turnstile/examples/stlc+effect.rkt") (lib "turnstile/examples/cmu15-814/stlc+sum+rec.rkt") (lib "turnstile/examples/optimize/stlc.rkt") (lib "turnstile/examples/linear/id-set-utils.rkt") (lib "turnstile/examples/optimize/stlc+sub.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+eq.rkt") (lib "turnstile/examples/stlc-jesse.rkt") (lib "turnstile/examples/simple/stlc.rkt") (lib "turnstile/examples/linear/lin.rkt") (lib "turnstile/examples/optimize/fsub.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+sugar.rkt") (lib "turnstile/examples/linear/fabul-utils.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+bool.rkt") (lib "turnstile/examples/sysf.rkt") (lib "turnstile/examples/trivial.rkt") (lib "turnstile/examples/linear/lin+var.rkt") (lib "turnstile/examples/linear/fabul.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+data.rkt") (lib "turnstile/examples/stlc+cons.rkt") (lib "turnstile/examples/stlc+union.rkt") (lib "turnstile/examples/fsub.rkt") (lib "turnstile/examples/optimize/fomega2.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+nat.rkt") (lib "turnstile/examples/optimize/stlc+reco+sub.rkt") (lib "turnstile/examples/stlc+sub.rkt") (lib "turnstile/examples/samc-define-lang2.rkt") (lib "turnstile/examples/fomega2.rkt") (lib "turnstile/examples/simple/stlc+lit.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+eq2.rkt") (lib "turnstile/examples/stlc+union+case.rkt") (lib "turnstile/examples/optimize/sysf.rkt") (lib "turnstile/examples/stlc+reco+sub.rkt") (lib "turnstile/examples/cmu15-814/stlc+sum+exist.rkt") (lib "turnstile/examples/stlc+reco2.rkt") (lib "turnstile/examples/optimize/stlc+box.rkt") (lib "turnstile/examples/linear/lin+tup.rkt") (lib "turnstile/examples/stlc+tup.rkt") (lib "turnstile/examples/linear/lin5.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+nat+datum.rkt") (lib "turnstile/examples/dep/dep-ind-cur2.rkt") (lib "turnstile/examples/optimize/exist.rkt") (lib "turnstile/examples/dep.rkt") (lib "turnstile/examples/ext-stlc-no-unicode.rkt") (lib "turnstile/examples/cmu15-814/stlc+sum+fix.rkt") (lib "turnstile/examples/samc-define-lang.rkt") (lib "turnstile/examples/stlc+box.rkt") (lib "turnstile/examples/linear/lin+chan.rkt") (lib "turnstile/examples/optimize/stlc+tup.rkt") (lib "turnstile/examples/optimize/stlc+rec-iso.rkt") (lib "turnstile/examples/fomega.rkt") (lib "turnstile/examples/stlc+reco+var.rkt") (lib "turnstile/examples/simple/ext-stlc.rkt") (lib "turnstile/examples/optimize/fomega.rkt") (lib "turnstile/examples/fomega-no-reuse-old.rkt") (lib "turnstile/examples/dep/dep-ind-cur2+data2.rkt") (lib "turnstile/examples/stlc+lit.rkt") (lib "turnstile/examples/infer.rkt") (lib "turnstile/examples/cmu15-814/stlc+sum.rkt") (lib "turnstile/examples/linear/lin3.rkt") (lib "turnstile/examples/stlc+rec-iso.rkt") (lib "turnstile/examples/linear/lin4.rkt") (lib "turnstile/examples/optimize/ext-stlc.rkt"))) (name . "turnstile-example") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/turnstile-example.zip") (tags . ())) 00: Resolved "turnstile-lib" via file:///home/root//catalogs/built/catalog Resolved "macrotypes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "86ca900127ff30291a0f1e04a4ca942deb5d28ce") (dependencies . (("base" #:version "7.0") ("macrotypes-lib" #:version "0.3.5") ("lens-lib"))) (description . "") (modules . ((lib "turnstile/base.rkt") (lib "turnstile/eval.rkt") (lib "turnstile+/more-utils.rkt") (lib "turnstile+/base.rkt") (lib "turnstile/type-constraints.rkt") (lib "turnstile/more-utils.rkt") (lib "turnstile/main.rkt") (lib "turnstile/no-unicode.rkt") (lib "turnstile/typedefs.rkt") (lib "turnstile/mode.rkt") (lib "turnstile/lang/lang/reader.rkt") (lib "turnstile+/lang/reader.rkt") (lib "turnstile+/typedefs.rkt") (lib "turnstile/base/lang/reader.rkt") (lib "turnstile+/main.rkt") (lib "turnstile+/eval.rkt") (lib "turnstile/lang.rkt") (lib "turnstile/turnstile.rkt") (lib "turnstile+/type-constraints.rkt") (lib "turnstile/lang/reader.rkt") (lib "turnstile+/quicklang/lang/reader.rkt") (lib "turnstile+/base/lang/reader.rkt") (lib "turnstile/quicklang/lang/reader.rkt"))) (name . "turnstile-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/turnstile-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "ac22ce7f5e20d5e40dc169d0fa0bdc6f91aa3936") (dependencies . (("base" #:version "7.0"))) (description . "\"Types as macros\" core api, used to create Turnstile lang") (modules . ((lib "macrotypes/stx-utils.rkt") (lib "macrotypes/postfix-in.rkt") (lib "macrotypes/variance-constraints.rkt") (lib "macrotypes/typecheck-core.rkt") (lib "macrotypes/type-constraints.rkt") (lib "macrotypes/typecheck.rkt"))) (name . "macrotypes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/macrotypes-lib.zip") (tags . ())) Resolved "lens-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "2d1959a514fa772197577b77d1883bf0e380f5a0") (dependencies . (("base") ("lens-common") ("lens-data") ("reprovide-lang-lib") ("rackunit-lib") ("sweet-exp-lib"))) (description . "Implementation (no docs) of the lens library, includes lens-data and lens-common") (modules . ((lib "lens/applicable.rkt") (lib "lens/main.rkt"))) (name . "lens-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-lib.zip") (tags . ("data" "functional" "lens"))) 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 pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "ddc27506416c8915b5d418452ae6c3e6d863b1cb") (dependencies . (("racket" #:version "6.3") ("base") ("fancy-app") ("rackunit-lib") ("reprovide-lang-lib") ("lens-data") ("sweet-exp-lib"))) (description . "Base lens constructors and additional combinators") (modules . ((lib "lens/private/compound/identity.rkt") (lib "lens/private/base/base.rkt") (lib "lens/private/compound/define-nested.rkt") (lib "lens/private/compound/arrow.rkt") (lib "lens/private/base/transform.rkt") (lib "lens/private/compound/lazy.rkt") (lib "lens/private/base/main.rkt") (lib "lens/common.rkt") (lib "lens/private/isomorphism/compound.rkt") (lib "lens/private/compound/thrush.rkt") (lib "lens/private/common/applicable.rkt") (lib "lens/private/compound/compose.rkt") (lib "lens/private/compound/zoom.rkt") (lib "lens/private/base/gen-lens.rkt") (lib "lens/private/base/view-set.rkt") (lib "lens/private/util/rest-contract.rkt") (lib "lens/private/base/contract.rkt") (lib "lens/private/test-util/test-lens.rkt") (lib "lens/private/compound/main.rkt") (lib "lens/private/compound/if.rkt") (lib "lens/private/util/id-append.rkt") (lib "lens/private/base/make-lens.rkt") (lib "lens/private/test-util/test-multi.rkt") (lib "lens/private/isomorphism/base.rkt") (lib "lens/private/util/list-pair-contract.rkt"))) (name . "lens-common") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-common.zip") (tags . ("data" "functional" "lens"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "2b2c6a240a9dbfff25c52181b5520adb6c1b7188") (dependencies . (("racket" #:version "6.3") ("base") ("lens-common") ("rackunit-lib") ("fancy-app") ("syntax-classes-lib") ("struct-update-lib") ("kw-make-struct-lib") ("reprovide-lang-lib") ("sweet-exp-lib"))) (description . "Lens constructors for various Racket data structures") (modules . ((lib "lens/private/struct/main.rkt") (lib "lens/private/vector/main.rkt") (lib "lens/private/hash/ref.rkt") (lib "lens/private/vector/ref.rkt") (lib "lens/private/list/flatten.rkt") (lib "lens/private/hash/pick.rkt") (lib "lens/private/list/append.rkt") (lib "lens/private/list/sublist.rkt") (lib "lens/private/isomorphism/data.rkt") (lib "lens/data.rkt") (lib "lens/private/vector/pick.rkt") (lib "lens/private/syntax/main.rkt") (lib "lens/data/list.rkt") (lib "lens/private/vector/nested.rkt") (lib "lens/private/list/list-ref-take-drop.rkt") (lib "lens/private/hash/main.rkt") (lib "lens/data/string.rkt") (lib "lens/private/util/alternating-list.rkt") (lib "lens/private/list/join-list.rkt") (lib "lens/private/list/main.rkt") (lib "lens/private/vector/join-vector.rkt") (lib "lens/private/struct/field.rkt") (lib "lens/data/vector.rkt") (lib "lens/private/hash/hash-filterer.rkt") (lib "lens/private/tests/gen-lens-fallback-loop.rkt") (lib "lens/private/stream/stream.rkt") (lib "lens/private/hash/nested.rkt") (lib "lens/private/list/cadr-etc.rkt") (lib "lens/private/dict/dict.rkt") (lib "lens/private/syntax/srcloc.rkt") (lib "lens/private/string/join-string.rkt") (lib "lens/data/struct.rkt") (lib "lens/private/isomorphism/main.rkt") (lib "lens/private/util/functional-dict.rkt") (lib "lens/private/set/set-filterer.rkt") (lib "lens/data/stream.rkt") (lib "lens/private/syntax/syntax.rkt") (lib "lens/private/hash/join-hash.rkt") (lib "lens/private/util/immutable.rkt") (lib "lens/private/view-set/set-all.rkt") (lib "lens/private/struct/struct-nested.rkt") (lib "lens/private/syntax/stx.rkt") (lib "lens/private/string/string-split.rkt") (lib "lens/private/string/main.rkt") (lib "lens/private/string/string.rkt") (lib "lens/private/list/join-assoc.rkt") (lib "lens/private/list/multi.rkt") (lib "lens/data/dict.rkt") (lib "lens/private/struct/struct.rkt") (lib "lens/private/set/set-member.rkt") (lib "lens/private/struct/struct-list.rkt") (lib "lens/private/list/map.rkt") (lib "lens/private/dict/dict-nested.rkt") (lib "lens/private/util/improper-list-length.rkt") (lib "lens/private/list/car-cdr.rkt") (lib "lens/private/match.rkt") (lib "lens/private/util/functional-set.rkt") (lib "lens/private/list/reverse.rkt") (lib "lens/data/hash.rkt") (lib "lens/private/syntax/syntax-keyword.rkt") (lib "lens/private/struct/struct-join.rkt") (lib "lens/private/list/assoc.rkt") (lib "lens/private/string/substring.rkt"))) (name . "lens-data") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-data.zip") (tags . ("data" "functional" "lens"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "b43f12c4093977a55c6741db95daddaa171e8bca") (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"))) pkg: catalog response: #hash((author . "alexander@knauth.org asumu@ccs.neu.edu") (checksum . "e9b11e8f6902938309ad38181c834fe66ca5bbff") (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"))) Resolved "fancy-app" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "samth@ccs.neu.edu") (checksum . "34dff4df1e322f2b369ce517d8321d37ec779625") (dependencies . (("base") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "Scala-style anonymous functions") (modules . ((lib "fancy-app/main.scrbl") (lib "fancy-app/main.rkt"))) (name . "fancy-app") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fancy-app.zip") (tags . ("syntax"))) 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 pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "4e109e6ca19b4418cc71bfb6111a4486554e8c25") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "bb9370344f8f8ac84ed0fe72bf31fb9cd60da574") (dependencies . (("base") ("syntax-classes-lib"))) (description . "implementation (no documentation) for “struct-update”") (modules . ((lib "struct-update/main.rkt"))) (name . "struct-update-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/struct-update-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "8777ebeb710119711b12373396cd91e5904022a6") (dependencies . (("base") ("syntax-classes-lib") ("rackunit-lib"))) (description . "Naming struct fields with keywords for constructing and matching") (modules . ((lib "kw-make-struct/main.rkt"))) (name . "kw-make-struct-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/kw-make-struct-lib.zip") (tags . ("keywords" "structs"))) 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 . "84000b0f6b8252a6a636346e6e827b64b27261be") (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 . "adc2d2e60a03d0653269d5a455f0495a5c6e4012") (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"))) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "84000b0f6b8252a6a636346e6e827b64b27261be" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "adc2d2e60a03d0653269d5a455f0495a5c6e4012" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "e9b11e8f6902938309ad38181c834fe66ca5bbff" #t) pkg: creating link to # pkg: updating db with "macrotypes-lib" to '#s(pkg-info (catalog "macrotypes-lib") "ac22ce7f5e20d5e40dc169d0fa0bdc6f91aa3936" #t) pkg: creating link to # pkg: updating db with "turnstile-example" to '#s(pkg-info (catalog "turnstile-example") "0ec569282800f48cf7e4e5cfb33356b328120920" #f) pkg: creating link to # pkg: updating db with "turnstile-lib" to '#s(pkg-info (catalog "turnstile-lib") "86ca900127ff30291a0f1e04a4ca942deb5d28ce" #t) pkg: creating link to # pkg: updating db with "lens-lib" to '#s(pkg-info (catalog "lens-lib") "2d1959a514fa772197577b77d1883bf0e380f5a0" #t) pkg: creating link to # pkg: updating db with "lens-common" to '#s(pkg-info (catalog "lens-common") "ddc27506416c8915b5d418452ae6c3e6d863b1cb" #t) pkg: creating single-collection link to # pkg: updating db with "fancy-app" to '#s((sc-pkg-info pkg-info 3) (catalog "fancy-app") "34dff4df1e322f2b369ce517d8321d37ec779625" #t "fancy-app") pkg: creating link to # pkg: updating db with "lens-data" to '#s(pkg-info (catalog "lens-data") "2b2c6a240a9dbfff25c52181b5520adb6c1b7188" #t) pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "4e109e6ca19b4418cc71bfb6111a4486554e8c25" #t) pkg: creating link to # pkg: updating db with "struct-update-lib" to '#s(pkg-info (catalog "struct-update-lib") "bb9370344f8f8ac84ed0fe72bf31fb9cd60da574" #t) pkg: creating link to # pkg: updating db with "kw-make-struct-lib" to '#s(pkg-info (catalog "kw-make-struct-lib") "8777ebeb710119711b12373396cd91e5904022a6" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "b43f12c4093977a55c6741db95daddaa171e8bca" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of turnstile-example: turnstile-lib macrotypes-lib dependencies of turnstile-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.15 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.15 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.15/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.15/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.15/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 --- [21:19:26] raco setup: updating: /home/root/user/.local/share/racket/8.15/share/info-cache.rktd raco setup: --- pre-installing collections --- [21:19:26] raco setup: --- installing foreign libraries --- [21:19:26] raco setup: --- installing shared files --- [21:19:26] raco setup: --- compiling collections --- [21:19:26] raco setup: --- parallel build using 2 jobs --- [21:19:26] raco setup: 1 making: /fancy-app raco setup: 0 making: /kw-make-struct-lib/kw-make-struct raco setup: 0 making: /lang-file-lib/lang-file raco setup: 0 making: /lang-file-lib/lang-file/test raco setup: 0 making: /lens-common/lens raco setup: 1 making: /lens-data/lens raco setup: 0 making: /lens-common/lens/private/base raco setup: 0 making: /lens-common/lens/private/common raco setup: 0 making: /lens-common/lens/private/compound raco setup: 1 making: /lens-data/lens/data raco setup: 1 making: /lens-data/lens/private raco setup: 1 making: /lens-data/lens/private/dict raco setup: 1 making: /lens-data/lens/private/hash raco setup: 0 making: /lens-common/lens/private/isomorphism raco setup: 0 making: /lens-common/lens/private/test-util raco setup: 1 making: /lens-data/lens/private/isomorphism raco setup: 0 making: /lens-common/lens/private/util raco setup: 0 making: /lens-lib/lens (lens) raco setup: 1 making: /lens-data/lens/private/list raco setup: 0 making: /macrotypes-lib/macrotypes raco setup: 1 making: /lens-data/lens/private/set raco setup: 1 making: /lens-data/lens/private/stream raco setup: 1 making: /lens-data/lens/private/string raco setup: 0 making: /reprovide-lang-lib/reprovide raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer raco setup: 1 making: /lens-data/lens/private/struct raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: 0 making: /struct-update-lib/struct-update raco setup: 0 making: /sweet-exp-lib/sweet-exp raco setup: 0 making: /sweet-exp-lib/sweet-exp/modern raco setup: 0 making: /sweet-exp-lib/sweet-exp/racket raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: 0 making: /syntax-macro-lang/syntax raco setup: 1 making: /lens-data/lens/private/syntax raco setup: 0 making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: 0 making: /turnstile-example/turnstile/examples raco setup: 1 making: /lens-data/lens/private/tests raco setup: 1 making: /lens-data/lens/private/util raco setup: 1 making: /lens-data/lens/private/vector raco setup: 1 making: /lens-data/lens/private/view-set raco setup: 1 making: /turnstile-lib/turnstile raco setup: 1 making: /turnstile-lib/turnstile/base/lang raco setup: 1 making: /turnstile-lib/turnstile/lang raco setup: 1 making: /turnstile-lib/turnstile/lang/lang raco setup: 1 making: /turnstile-lib/turnstile/quicklang/lang raco setup: 1 making: /turnstile-lib/turnstile+ raco setup: 1 making: /turnstile-lib/turnstile+/base/lang raco setup: 1 making: /turnstile-lib/turnstile+/lang raco setup: 1 making: /turnstile-lib/turnstile+/quicklang/lang raco setup: 0 making: /turnstile-example/turnstile/examples/cmu15-814 raco setup: 0 making: /turnstile-example/turnstile/examples/dep raco setup: 0 making: /turnstile-example/turnstile/examples/linear raco setup: 0 making: /turnstile-example/turnstile/examples/optimize raco setup: 0 making: /turnstile-example/turnstile/examples/simple raco setup: --- creating launchers --- [21:19:37] raco setup: --- installing man pages --- [21:19:37] raco setup: --- building documentation --- [21:19:37] raco setup: syncing: /fancy-app/doc/fancy-app 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: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 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 --- [21:19:43] raco setup: --- post-installing collections --- [21:19:43] GC: 0:atexit peak 301,459K(+135,740K); alloc 16,912,186K; major 7; minor 847; 5300ms raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+exist.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+fix.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+forall.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+rec.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+bool.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+data2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+eq.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+eq2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+nat+datum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+nat.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+sugar.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/exist.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/ext-stlc-no-unicode.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/ext-stlc.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega-no-reuse-old.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega-no-reuse.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega2.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fsub.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/infer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/fabul-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/fabul.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/id-set-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+chan.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+cons.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+tup.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+var.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin3.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin4.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin5.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/exist.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/ext-stlc.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/fomega.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/fomega2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/fsub.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+box.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+cons.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+lit.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+rec-iso.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+reco+sub.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+reco+var.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+sub.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+tup.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/sysf.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/samc-define-lang.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/samc-define-lang2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/simple/ext-stlc.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/simple/stlc+lit.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/simple/stlc.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+box.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+cons.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+effect.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+lit.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+rec-iso.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+reco+sub.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+reco+var.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+reco2.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+sub.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+tup.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+union+case.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+union.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc-jesse.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/sysf.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/trivial.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/util/filter-maximal.rkt") 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/info.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+exist.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+fix.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+forall.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum+rec.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc+sum.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/cmu15-814/stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+bool.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+data.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+data2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+eq.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+eq2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+nat+datum.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+nat.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2+sugar.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep/dep-ind-cur2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/dep.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/exist.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/ext-stlc-no-unicode.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/ext-stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega-no-reuse-old.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega-no-reuse.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fomega2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/fsub.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/infer.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/fabul-utils.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/fabul.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/id-set-utils.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+chan.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+cons.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+tup.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin+var.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin3.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin4.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/linear/lin5.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/exist.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/ext-stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/fomega.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/fomega2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/fsub.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+box.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+cons.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+lit.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+rec-iso.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+reco+sub.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+reco+var.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+sub.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc+tup.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/optimize/sysf.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/samc-define-lang.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/samc-define-lang2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/simple/ext-stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/simple/stlc+lit.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/simple/stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+box.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+cons.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+effect.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+lit.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+rec-iso.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+reco+sub.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+reco+var.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+reco2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+sub.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+tup.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+union+case.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc+union.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc-jesse.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/stlc.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/sysf.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/trivial.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/turnstile-example/turnstile/examples/util/filter-maximal.rkt GC: 0:atexit peak 112,508K(+51,132K); alloc 691,428K; major 1; minor 82; 282ms The time is now Sunday, November 3rd, 2024 9:19:58pm