For information about the package build service, see https://pkg-build.racket-lang.org/about.html
The time is now Mon, 23 Feb 2026 04:35:19 +0000
(/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: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto cur-test && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package cur-test)
Resolved "cur-test" via file:///home/root//catalogs/built/catalog
00: Resolved "cur-lib" via file:///home/root//catalogs/built/catalog
00: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog
01: Resolved "chk-lib" via file:///home/root//catalogs/built/catalog
Resolved "rackunit-macrotypes-lib" via file:///home/root//catalogs/built/catalog
01: Resolved "turnstile-lib" via file:///home/root//catalogs/built/catalog
01: Resolved "macrotypes-lib" via file:///home/root//catalogs/built/catalog
Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog
Resolved "lens-lib" via file:///home/root//catalogs/built/catalog
01: Resolved "lens-common" via file:///home/root//catalogs/built/catalog
Resolved "lens-data" 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 cur-test:
   cur-lib
   sweet-exp-lib
   chk-lib
   rackunit-macrotypes-lib
 dependencies of cur-lib:
   turnstile-lib
   macrotypes-lib
   reprovide-lang-lib
 dependencies of turnstile-lib:
   lens-lib
 dependencies of lens-lib:
   lens-common
   lens-data
 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: 9.1
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 9.1
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/9.1/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/9.1/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/9.1/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [4:35:23]
raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [4:35:23]
raco setup: --- installing foreign libraries ---                   [4:35:23]
raco setup: --- installing shared files ---                        [4:35:23]
raco setup: --- compiling collections ---                          [4:35:23]
raco setup: --- parallel build using 2 jobs ---                    [4:35:23]
raco setup: 1 making: <pkgs>/chk-lib/chk
raco setup: 0 making: <pkgs>/cur-lib/cur
raco setup: 1 making: <pkgs>/fancy-app
raco setup: 1 making: <pkgs>/kw-make-struct-lib/kw-make-struct
raco setup: 1 making: <pkgs>/lang-file-lib/lang-file
raco setup: 1 making: <pkgs>/lang-file-lib/lang-file/test
raco setup: 1 making: <pkgs>/lens-common/lens
raco setup: 1 making: <pkgs>/lens-common/lens/private/base
raco setup: 1 making: <pkgs>/lens-common/lens/private/common
raco setup: 1 making: <pkgs>/lens-common/lens/private/compound
raco setup: 1 making: <pkgs>/lens-common/lens/private/isomorphism
raco setup: 1 making: <pkgs>/lens-common/lens/private/test-util
raco setup: 1 making: <pkgs>/lens-common/lens/private/util
raco setup: 1 making: <pkgs>/lens-data/lens
raco setup: 1 making: <pkgs>/lens-data/lens/data
raco setup: 1 making: <pkgs>/lens-data/lens/private
raco setup: 1 making: <pkgs>/lens-data/lens/private/dict
raco setup: 1 making: <pkgs>/lens-data/lens/private/hash
raco setup: 1 making: <pkgs>/lens-data/lens/private/isomorphism
raco setup: 1 making: <pkgs>/lens-data/lens/private/list
raco setup: 1 making: <pkgs>/lens-data/lens/private/set
raco setup: 1 making: <pkgs>/lens-data/lens/private/stream
raco setup: 1 making: <pkgs>/lens-data/lens/private/string
raco setup: 1 making: <pkgs>/lens-data/lens/private/struct
raco setup: 1 making: <pkgs>/lens-data/lens/private/syntax
raco setup: 1 making: <pkgs>/lens-data/lens/private/tests
raco setup: 0 making: <pkgs>/cur-lib/cur/curnel
raco setup: 1 making: <pkgs>/lens-data/lens/private/util
raco setup: 1 making: <pkgs>/lens-data/lens/private/vector
raco setup: 1 making: <pkgs>/lens-data/lens/private/view-set
raco setup: 0 making: <pkgs>/cur-lib/cur/debug
raco setup: 0 making: <pkgs>/cur-lib/cur/lang
raco setup: 1 making: <pkgs>/lens-lib/lens (lens)
raco setup: 0 making: <pkgs>/cur-lib/cur/metantac
raco setup: 1 making: <pkgs>/macrotypes-lib/macrotypes
raco setup: 1 making: <pkgs>/rackunit-macrotypes-lib/rackunit
raco setup: 1 making: <pkgs>/reprovide-lang-lib/reprovide
raco setup: 1 making: <pkgs>/reprovide-lang-lib/reprovide/require-transformer
raco setup: 1 making: <pkgs>/reprovide-lang-lib/reprovide/require-transformer/private
raco setup: 1 making: <pkgs>/struct-update-lib/struct-update
raco setup: 1 making: <pkgs>/sweet-exp-lib/sweet-exp
raco setup: 1 making: <pkgs>/sweet-exp-lib/sweet-exp/modern
raco setup: 1 making: <pkgs>/sweet-exp-lib/sweet-exp/racket
raco setup: 1 making: <pkgs>/syntax-classes-lib/syntax/parse/class
raco setup: 1 making: <pkgs>/syntax-macro-lang/syntax
raco setup: 1 making: <pkgs>/syntax-macro-lang/tests/syntax/macro-lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile/base/lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile/lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile/lang/lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile/quicklang/lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile+
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile+/base/lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile+/lang
raco setup: 1 making: <pkgs>/turnstile-lib/turnstile+/quicklang/lang
raco setup: 0 making: <pkgs>/cur-lib/cur/metantac/lang
raco setup: --- creating launchers ---                             [4:35:35]
raco setup: --- installing man pages ---                           [4:35:35]
raco setup: --- building documentation ---                         [4:35:35]
raco setup: syncing: <pkgs>/fancy-app/doc/fancy-app
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [4:35:45]
raco setup: --- post-installing collections ---                    [4:35:45]
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/info.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/fact.rkt")
>(run '(run (plus 1 0)))
<'(s z)
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/issue-134.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/issue-60.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/issue-71.rkt")
n : Nat
m : Nat
Hn : (even n)
Hm : (even m)
--------------------------------
(even (plus n m))

raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/issue67.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/ML-reflexivity.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/ML-rewrite-2.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/ML-rewrite.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/admit.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/ctx.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/destruct-exist.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/destruct.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/generalize.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/implicit.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/issue104.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/leb.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/rackunit-ntac.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/reflexivity-poly.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/rewrite-forall.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/simpl.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/software-foundations/Basics-ML.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/software-foundations/Basics.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/software-foundations/Induction-ML.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/software-foundations/Induction.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/software-foundations/Maps.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac/software-foundations/Poly-church.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/ntac.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/plus.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/ascii.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/axiom.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/bool.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/curunit.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/datum.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/deppat.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/equality.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/list.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/maybe.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/nat.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/pat.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/pattern-tree-matcher.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/pattern-tree.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/prop.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/racket-ascii.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/rackunit-size.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/sigma.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/sized.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/sugar.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/termination.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/totality.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stdlib/typeclass.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/stlc.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/sweet-exp.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/vector-append.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/wilbowma.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/cur-test/info.rkt")
m: unbound identifier in module
  location...:
   /home/root/user/.local/share/racket/9.1/pkgs/cur-test/cur/tests/issue-95.rkt:21:31
  context...:
   /home/root/user/.local/share/racket/9.1/pkgs/macrotypes-lib/macrotypes/typecheck-core.rkt:67:0
   .../private/parse-interp.rkt:506:8
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:458:0
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:113:0
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:219:2: s-and-loop
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:52:4: sk/bind
   .../private/parse-interp.rkt:506:8
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:458:0
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:113:0
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:219:2: s-and-loop
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:52:4: sk/bind
   .../private/parse-interp.rkt:506:8
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:458:0
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:113:0
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:219:2: s-and-loop
   /home/root/racket/collects/syntax/parse/private/residual-interp.rkt:52:4: sk/bind
   ...
The time is now Mon, 23 Feb 2026 04:40:29 +0000