The time is now Wednesday, February 7th, 2024 4:13:26pm (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 4 -u --auto refined-acl2) Resolved "refined-acl2" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "ced0d3c39f62f9582804399b02506c092fd89962") (dependencies . (("mischief"))) (description . "Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros.") (modules . ((lib "refined-acl2/legacy/type/field.rkt") (lib "refined-acl2/examples/id-non-dracula/fresh.rkt") (lib "refined-acl2/model/quote.rkt") (lib "refined-acl2/tests/diff.rkt") (lib "refined-acl2/tests/suite/component.rkt") (lib "refined-acl2/examples/id-non-dracula/original.rkt") (lib "refined-acl2/examples/vm.rkt") (lib "refined-acl2/prelude/base/mutual.rkt") (lib "refined-acl2/prelude.rkt") (lib "refined-acl2/legacy/ref.rkt") (lib "refined-acl2/prelude/sexp.rkt") (lib "refined-acl2/prelude/base/datatype.rkt") (lib "refined-acl2/prelude/set-of.rkt") (lib "refined-acl2/tests/suite/modular.rkt") (lib "refined-acl2/expansion/alpha.rkt") (lib "refined-acl2/tests/suite/atomic.rkt") (lib "refined-acl2/legacy/type/description.rkt") (lib "refined-acl2/legacy/check.rkt") (lib "refined-acl2/model/names.rkt") (lib "refined-acl2/certify.rkt") (lib "refined-acl2/examples/id-non-dracula/check.rkt") (lib "refined-acl2/model/api.rkt") (lib "refined-acl2/primitive.rkt") (lib "refined-acl2/proof/dynamic.rkt") (lib "refined-acl2/legacy/type/function.rkt") (lib "refined-acl2/prelude/core/keywords.rkt") (lib "refined-acl2/model/data.rkt") (lib "refined-acl2/proof/static.rkt") (lib "refined-acl2/expansion/grammar.rkt") (lib "refined-acl2/legacy/api.rkt") (lib "refined-acl2/model/verify.rkt") (lib "refined-acl2/prelude/base/match.rkt") (lib "refined-acl2/examples/sexp.rkt") (lib "refined-acl2/legacy/rename.rkt") (lib "refined-acl2/prelude/core/support.rkt") (lib "refined-acl2/examples/virtual-machine/soundness.rkt") (lib "refined-acl2/prelude/core/description.rkt") (lib "refined-acl2/tests/suite/surface.rkt") (lib "refined-acl2/model.rkt") (lib "refined-acl2/legacy/type.rkt") (lib "refined-acl2/main.rkt") (lib "refined-acl2/prelude/core.rkt") (lib "refined-acl2/examples/bug.rkt") (lib "refined-acl2/legacy/registry.rkt") (lib "refined-acl2/legacy/type/generic.rkt") (lib "refined-acl2/model/acl2.rkt") (lib "refined-acl2/expansion/dependency.rkt") (lib "refined-acl2/expansion/paths.rkt") (lib "refined-acl2/model/syntax.rkt") (lib "refined-acl2/prelude/base.rkt") (lib "refined-acl2/legacy/type/value.rkt") (lib "refined-acl2/legacy/proof.rkt") (lib "refined-acl2/model/unparse.rkt") (lib "refined-acl2/base.rkt") (lib "refined-acl2/prelude/core/imported.rkt") (lib "refined-acl2/legacy/type/theorem.rkt") (lib "refined-acl2/model/parse.rkt") (lib "refined-acl2/prelude/core/atomic.rkt") (lib "refined-acl2/expansion/names.rkt") (lib "refined-acl2/model/subst.rkt") (lib "refined-acl2/legacy/unique.rkt") (lib "refined-acl2/examples/ast.rkt") (lib "refined-acl2/prelude/core/expansion.rkt") (lib "refined-acl2/examples/generic.rkt") (lib "refined-acl2/legacy/type/component.rkt") (lib "refined-acl2/prelude/base/primitive.rkt") (lib "refined-acl2/prelude/base/shorthand.rkt") (lib "refined-acl2/proof/term.rkt") (lib "refined-acl2/model/proof-term.rkt") (lib "refined-acl2/prelude/core/expressions.rkt") (lib "refined-acl2/tests/harness.rkt") (lib "refined-acl2/expansion/runtime.rkt") (lib "refined-acl2/prelude/core/input-streams.rkt") (lib "refined-acl2/tests/run.rkt") (lib "refined-acl2/kernel.rkt") (lib "refined-acl2/examples/virtual-machine/descriptions.rkt") (lib "refined-acl2/core.rkt") (lib "refined-acl2/prelude/core/component.rkt") (lib "refined-acl2/examples/id-non-dracula/different.rkt") (lib "refined-acl2/examples/diss.rkt") (lib "refined-acl2/expansion/simplify.rkt") (lib "refined-acl2/prelude/list-of.rkt") (lib "refined-acl2/tests/suite/macro.rkt") (lib "refined-acl2/prelude/type.rkt") (lib "refined-acl2/examples/id-non-dracula/identical.rkt") (lib "refined-acl2/prelude/base/struct.rkt") (lib "refined-acl2/legacy/type/base.rkt"))) (name . "refined-acl2") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/refined-acl2.zip") (tags . ())) Resolved "mischief" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "faeba6d27cce191dbd813213abae389118a10d05") (dependencies . (("base") ("compatibility-lib") ("macro-debugger") ("macro-debugger-text-lib") ("pconvert-lib") ("sandbox-lib") ("scribble-lib") ("srfi-lib") ("srfi-lite-lib") ("compatibility-doc") ("data-doc") ("racket-doc") ("scribble-doc") ("racket-index") ("rackunit-gui") ("rackunit-lib"))) (description . "Mischief: A Racketeer's Toolkit") (modules . ((lib "mischief/lang/config.rkt") (lib "mischief/shorthand.rkt") (lib "mischief/scribblings/fold.scrbl") (lib "no-debug/low-level.rkt") (lib "mischief/maybe.rkt") (lib "no-debug/racket/lang/reader.rkt") (lib "mischief/values.rkt") (lib "mischief/scribblings/typesetting.scrbl") (lib "mischief/props/lang/reader.rkt") (lib "mischief/scribblings/id-table.scrbl") (lib "mischief/scribblings/higher-order.scrbl") (lib "mischief/quotation.rkt") (lib "mischief/error.rkt") (lib "mischief/scribblings/datatypes.scrbl") (lib "mischief/struct.rkt") (lib "mischief/memoize.rkt") (lib "mischief/phrase.rkt") (lib "mischief/scribblings/scope.scrbl") (lib "mischief/discrim.rkt") (lib "mischief/scribblings/transform.scrbl") (lib "mischief/function.rkt") (lib "mischief/scribblings/examples.scrbl") (lib "debug/racket/base.rkt") (lib "mischief/dye-pack.rkt") (lib "mischief/parse.rkt") (lib "mischief/scribblings/modular.scrbl") (lib "mischief/list.rkt") (lib "mischief/main.rkt") (lib "mischief/json.rkt") (lib "no-debug/syntax.rkt") (lib "mischief/stylish/expression.rkt") (lib "debug/low-level.rkt") (lib "mischief/stylish/stylish.rkt") (lib "no-debug/main.rkt") (lib "mischief/lang/runtime.rkt") (lib "mischief/web.rkt") (lib "mischief/scribblings/debugging.scrbl") (lib "mischief/keyword.rkt") (lib "mischief/stylish/print.rkt") (lib "mischief/sort.rkt") (lib "mischief/for.rkt") (lib "mischief/stream.rkt") (lib "mischief/contract.rkt") (lib "mischief/define.rkt") (lib "mischief/scribblings/web.scrbl") (lib "mischief/scribblings/for.scrbl") (lib "mischief/scribblings/contract.scrbl") (lib "debug/provide.rkt") (lib "mischief/explode.rkt") (lib "mischief/stylish/format.rkt") (lib "mischief/scribblings/metaprogramming-moderate.scrbl") (lib "mischief/scope.rkt") (lib "mischief/examples.rkt") (lib "mischief/scribblings/mischief.scrbl") (lib "mischief/dict.rkt") (lib "mischief/kernel-syntax.rkt") (lib "no-debug/mischief.rkt") (lib "mischief/symbol.rkt") (lib "debug/syntax.rkt") (lib "mischief/require.rkt") (lib "no-debug/racket/base/lang/reader.rkt") (lib "mischief/scribblings/metaprogramming-complex.scrbl") (lib "mischief/stylish.rkt") (lib "mischief/scribblings/bindings.scrbl") (lib "mischief/scribblings/parse.scrbl") (lib "debug/racket/lang/reader.rkt") (lib "mischief/visitor.rkt") (lib "mischief/match.rkt") (lib "mischief/scribblings/visitor.scrbl") (lib "mischief/stylish/print-style.rkt") (lib "mischief/scribblings/no-debug.scrbl") (lib "mischief/id-table.rkt") (lib "mischief/lang/reader.rkt") (lib "mischief/scribblings/printing.scrbl") (lib "mischief/transform.rkt") (lib "mischief/preserve-expensive-metadata.rkt") (lib "mischief/scribblings/metaprogramming.scrbl") (lib "mischief/scribblings/stylish.scrbl") (lib "debug/racket.rkt") (lib "mischief/stepper.rkt") (lib "mischief/private/reify-value.rkt") (lib "mischief/scribblings/kernel-syntax.scrbl") (lib "debug/main.rkt") (lib "no-debug/racket.rkt") (lib "mischief/boolean.rkt") (lib "debug/mischief.rkt") (lib "mischief/fold.rkt") (lib "debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/debug.scrbl") (lib "mischief/scribblings/memoize.scrbl") (lib "no-debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/function.scrbl") (lib "mischief/scribblings/dye-pack.scrbl") (lib "debug/racket/base/lang/reader.rkt") (lib "mischief/private/render-expression.rkt") (lib "mischief/module.rkt") (lib "mischief/scribblings/metaprogramming-simple.scrbl") (lib "mischief/string.rkt") (lib "mischief/stylish/expr-style.rkt") (lib "mischief/place.rkt") (lib "mischief/stylish/signatures.rkt") (lib "mischief/tests/stylish.rkt") (lib "no-debug/racket/base.rkt"))) (name . "mischief") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mischief.zip") (tags . ("data" "debug" "dev" "documentation" "language" "syntax"))) pkg: creating link to # pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "faeba6d27cce191dbd813213abae389118a10d05" #t) pkg: creating single-collection link to # pkg: updating db with "refined-acl2" to '#s((sc-pkg-info pkg-info 3) (catalog "refined-acl2") "ced0d3c39f62f9582804399b02506c092fd89962" #f "refined-acl2") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of refined-acl2: mischief raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 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.12/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.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/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:13:28] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [21:13:28] raco setup: --- installing foreign libraries --- [21:13:28] raco setup: --- installing shared files --- [21:13:28] raco setup: --- compiling collections --- [21:13:28] raco setup: --- parallel build using 4 jobs --- [21:13:28] raco setup: 3 making: /mischief/debug raco setup: 2 making: /mischief/mischief raco setup: 1 making: /mischief/no-debug raco setup: 0 making: /refined-acl2 (Dracula) raco setup: 1 making: /mischief/no-debug/mischief raco setup: 1 making: /mischief/no-debug/mischief/lang raco setup: 1 making: /mischief/no-debug/racket raco setup: 1 making: /mischief/no-debug/racket/base raco setup: 1 making: /mischief/no-debug/racket/base/lang raco setup: 1 making: /mischief/no-debug/racket/lang raco setup: 3 making: /mischief/debug/mischief raco setup: 3 making: /mischief/debug/mischief/lang raco setup: 3 making: /mischief/debug/racket raco setup: 3 making: /mischief/debug/racket/base raco setup: 3 making: /mischief/debug/racket/base/lang raco setup: 3 making: /mischief/debug/racket/lang raco setup: 2 making: /mischief/mischief/lang sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/data.rkt /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/api.rkt /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model.rkt /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/kernel.rkt /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/core.rkt /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/base.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:145:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build ... raco setup: 0 making: /refined-acl2/expansion sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 2 more times] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/main.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 2 more times] ... raco setup: 2 making: /mischief/mischief/private raco setup: 2 making: /mischief/mischief/props raco setup: 2 making: /mischief/mischief/props/lang raco setup: 2 making: /mischief/mischief/scribblings raco setup: 2 making: /mischief/mischief/stylish raco setup: 2 making: /mischief/mischief/tests raco setup: 0 making: /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/expansion/alpha.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/acl2.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/names.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/parse.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/subst.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop raco setup: 0 making: /refined-acl2/prelude sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/quote.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/verify.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:452:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:441:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:412:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:105:4 /home/root/racket/collects/setup/parallel-build.rkt:332:9 /home/root/racket/collects/setup/parallel-do.rkt:465:25 /home/root/racket/collects/setup/parallel-do.rkt:451:20: loop sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/model/unparse.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 1 more time] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/list-of.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 2 more times] ... raco setup: 0 making: /refined-acl2/prelude/base sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/set-of.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 2 more times] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/sexp.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 2 more times] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/type.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 2 more times] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base/match.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base/datatype.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... raco setup: 0 making: /refined-acl2/prelude/core sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base/mutual.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base/shorthand.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 1 more time] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base/primitive.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 [repeats 1 more time] ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/atomic.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/base/struct.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/component.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/description.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/expressions.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... raco setup: 0 making: /refined-acl2/proof sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/expansion.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/imported.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... raco setup: 0 making: /refined-acl2/tests sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/keywords.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... raco setup: 0 making: /refined-acl2/tests/suite sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/proof/static.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:637:0: compile-zo*/cross-compile ... sym: undefined; cannot use before initialization compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/refined-acl2/prelude/core/support.rkt context...: /home/root/user/.local/share/racket/8.12/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/private/stxparam.rkt:63:2 [repeats 2 more times] /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:610:22 /home/root/racket/collects/racket/private/reqprov.rkt:606:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import .../private/parse-interp.rkt:643:50 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:751:23 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:37:2: reader ... raco setup: --- creating launchers --- [21:13:49] raco setup: --- installing man pages --- [21:13:49] raco setup: --- building documentation --- [21:13:49] raco setup: syncing: /mischief/mischief/doc/mischief Killed The time is now Wednesday, February 7th, 2024 4:13:52pm