The time is now Wednesday, February 7th, 2024 9:12:43pm (/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 typed-rosette) Resolved "typed-rosette" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "729a68c92b0c441a85c36267643363324f181f7b") (dependencies . (("racket" #:version "6.8.0.3") ("base") ("rosette") ("turnstile") ("rackunit-lib") ("lens-common") ("lens-unstable") ("syntax-classes-lib") ("rackunit-lib"))) (description . "A typed variant of the Rosette language.") (modules . ((lib "typed/rosette/set.rkt") (lib "typed/rosette/vector.rkt") (lib "test/rosette-guide-sec8-tests.rkt") (lib "test/rosette-guide-sec7-tests.rkt") (lib "test/rosette-guide-sec6-tests.rkt") (lib "test/rosette-guide-sec5-tests.rkt") (lib "test/rosette-guide-sec4-tests.rkt") (lib "test/rosette-guide-sec3-tests.rkt") (lib "test/rosette-guide-sec2-tests.rkt") (lib "test/ifc-tests.rkt") (lib "test/bv-tests.rkt") (lib "typed/query/debug.rkt") (lib "sdsl/typed-synthcl/synthcl.rkt") (lib "sdsl/typed-synthcl/synthcl-model.rkt") (lib "typed/rosette/bool.rkt") (lib "test/synthcl-walsh-verify-tests.rkt") (lib "typed/rosette/match-core.rkt") (lib "typed/bv/lang/reader.rkt") (lib "test/walsh-verify-kernel.rkt") (lib "test/matrix-synth-kernel.rkt") (lib "typed/rosette/struct.rkt") (lib "typed/lib/roseunit.rkt") (lib "typed/rosette/base-forms.rkt") (lib "sdsl/typed-ifc/ifc.rkt") (lib "test/synthcl-walsh-synth-tests.rkt") (lib "typed/rosette.rkt") (lib "typed/lib/synthax.rkt") (lib "typed/lib/angelic.rkt") (lib "typed/fsm/lang/reader.rkt") (lib "typed/rosette/list.rkt") (lib "typed/ifc/lang/reader.rkt") (lib "test/quote-tests.rkt") (lib "typed/rosette/hash.rkt") (lib "typed/rosette/concrete-predicate.rkt") (lib "test/synthcl-matrix-synth-tests.rkt") (lib "typed/synthcl/lang/reader.rkt") (lib "typed/rosette/generic-interfaces.rkt") (lib "test/sobel-kernel.rkt") (lib "test/fsm-tests.rkt") (lib "test/typed-rosette/test-type-decl.rkt") (lib "typed/lib/render.rkt") (lib "typed/rosette/match-pat-forms.rkt") (lib "typed/rosette/types.rkt") (lib "test/typed-rosette/case-arrow.rkt") (lib "sdsl/typed-fsm/fsm.rkt") (lib "typed/rosette/format.rkt") (lib "test/typed-rosette/occurrence.rkt") (lib "test/walsh-synth-kernel.rkt") (lib "typed/rosette/function.rkt") (lib "test/synthcl-matrix-verify-buggy-tests.rkt") (lib "test/typed-rosette/for-all-union.rkt") (lib "typed/main.rkt") (lib "test/rosette-tests.rkt") (lib "typed/rosette/struct-type-properties.rkt") (lib "typed/lib/check-asserts.rkt") (lib "typed/lib/lift.rkt") (lib "test/rosette-guide-sec44-tests.rkt") (lib "test/rosette-guide-sec49-tests.rkt") (lib "typed/rosette/for-forms.rkt") (lib "test/typed-rosette/occurrence2.rkt") (lib "typed/rosette-util.rkt") (lib "test/typed-rosette/rest-arg.rkt") (lib "typed/rosette/forms-pre-match.rkt") (lib "test/matrix-verify-kernel.rkt") (lib "typed/rosette/lang/reader.rkt") (lib "test/bv-test-utils.rkt") (lib "test/rosette-guide-sec43-tests.rkt") (lib "test/synthcl-tests.rkt") (lib "test/rosette-guide-sec45-tests.rkt") (lib "sdsl/typed-bv/bv.rkt") (lib "test/rosette-guide-sec46-tests.rkt") (lib "test/bv-ref-tests.rkt") (lib "test/synthcl-matrix-verify-tests.rkt") (lib "test/typed-rosette/for-tests.rkt") (lib "test/synthcl-sobel-tests.rkt") (lib "typed/rosette/unsafe.rkt"))) (name . "typed-rosette") (ring . 2) (source . "file:///home/root/catalogs/archive/pkgs/typed-rosette.zip") (tags . ("rosette" "symbolic-execution" "typed"))) 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog 01: Resolved "turnstile" via file:///home/root//catalogs/built/catalog 00: Resolved "lens-common" via file:///home/root//catalogs/built/catalog 00: Resolved "lens-unstable" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "971e4455fd63a8a684735511a7adfc8970122794") (dependencies . (("custom-load") ("sandbox-lib") ("scribble-lib") ("racket" #:version "8.1") ("r6rs-lib") ("rfc6455") ("net-lib") ("web-server-lib") ("rackunit-lib") ("slideshow-lib") ("gui-lib") ("base") ("rackunit-doc") ("draw-lib") ("errortrace-lib") ("pict-lib") ("pict-doc") ("scribble-lib") ("racket-doc") ("gui-doc") ("errortrace-doc"))) (description . "The Rosette Language") (modules . ((lib "test/profile/benchmarks/exn.rkt") (lib "sdsl/bv/lang/log.rkt") (lib "test/profile/benchmarks/update-at.rkt") (lib "rosette/lib/trace/compile.rkt") (lib "rosette/base/core/function.rkt") (lib "rosette/base/core/distinct.rkt") (lib "test/trace/code/lib.rkt") (lib "test/trace/stress/tail.rkt") (lib "rosette/guide/scribble/util/lifted.rkt") (lib "test/base/solver.rkt") (lib "rosette/guide/scribble/welcome/welcome.scrbl") (lib "sdsl/synthcl/lang/queries.rkt") (lib "test/query/synthax.rkt") (lib "rosette/lib/util/streaming-server.rkt") (lib "rosette/private/install.rkt") (lib "rosette/lib/profile/tool.rkt") (lib "test/trace/code/ex-1-2.rkt") (lib "sdsl/synthcl/examples/toy/verify/kernel.rkt") (lib "rosette/solver/smt/boolector.rkt") (lib "test/trace/test.rkt") (lib "rosette/main.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt") (lib "sdsl/fsm/demo.rkt") (lib "sdsl/ifc/basic.rkt") (lib "sdsl/synthcl/model/program.rkt") (lib "rosette/lib/destruct.rkt") (lib "rosette/guide/scribble/unsafe/unsafe.scrbl") (lib "sdsl/synthcl/model/buffer.rkt") (lib "rosette/base/core/reporter.rkt") (lib "rosette/solver/smt/cvc4.rkt") (lib "sdsl/bv/lang/program.rkt") (lib "test/config.rkt") (lib "sdsl/bv/test/easy.rkt") (lib "rosette/guide/scribble/libs/racket-libs.scrbl") (lib "rosette/lib/profile/reporter.rkt") (lib "test/base/bvseq.rkt") (lib "test/base/merge.rkt") (lib "rosette/base/core/type.rkt") (lib "rosette/base/core/numerics.rkt") (lib "test/base/term.rkt") (lib "test/base/equality.rkt") (lib "rosette/lib/match.rkt") (lib "sdsl/bv/lang/bvops.rkt") (lib "sdsl/synthcl/test/typecheck.rkt") (lib "test/profile/test.rkt") (lib "test/base/exprs.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_2.rkt") (lib "sdsl/bv/test/all-tests.rkt") (lib "sdsl/synthcl/lang/builtins.rkt") (lib "rosette/lib/profile/renderer/heap.rkt") (lib "test/base/optimize-order.rkt") (lib "test/query/optimize.rkt") (lib "sdsl/websynth/test/imdb250_16.rkt") (lib "rosette/base/core/bvlib.rkt") (lib "rosette/guide/scribble/performance/performance.scrbl") (lib "test/query/solve.rkt") (lib "sdsl/synthcl/examples/sobelFilter/host.rkt") (lib "sdsl/websynth/test/all-tests.rkt") (lib "sdsl/websynth/test/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/model/queue.rkt") (lib "rosette/base/form/define.rkt") (lib "rosette/base/core/procedure.rkt") (lib "rosette/lib/trace/report/fix-path.rkt") (lib "sdsl/synthcl/model/flags.rkt") (lib "sdsl/fsm/viz.rkt") (lib "test/base/vector.rkt") (lib "rosette/guide/scribble/rosette-guide.scrbl") (lib "rosette/lib/profile/renderer/report/solver.rkt") (lib "test/base/uninterpreted.rkt") (lib "rosette/guide/scribble/datatypes/procedures.scrbl") (lib "rosette/guide/scribble/reflection/state-reflection.scrbl") (lib "rosette/base/struct/generics.rkt") (lib "rosette/base/core/bitvector.rkt") (lib "rosette/lib/util/syntax-properties.rkt") (lib "sdsl/websynth/benchmarks/itunes100_4.rkt") (lib "test/query/solve+.rkt") (lib "test/base/bvlib.rkt") (lib "sdsl/synthcl/test/snippets.rkt") (lib "sdsl/synthcl/model/pointers.rkt") (lib "test/base/real.rkt") (lib "test/trace/code/non-tail.rkt") (lib "test/base/forall.rkt") (lib "sdsl/synthcl/model/memory.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt") (lib "sdsl/websynth/test/itunes100_2.rkt") (lib "rosette/guide/scribble/datatypes/defined-datatypes.scrbl") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host.rkt") (lib "rosette/guide/scribble/datatypes/bools+ints+reals.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/mock-server.rkt") (lib "rosette/solver/smt/env.rkt") (lib "sdsl/fsm/automaton.rkt") (lib "rosette/solver/smt/server.rkt") (lib "rosette/lib/angelic.rkt") (lib "rosette/query/finitize.rkt") (lib "rosette/base/core/result.rkt") (lib "rosette/guide/scribble/datatypes/pairs.scrbl") (lib "rosette/solver/smt/bitwuzla.rkt") (lib "test/base/quantified.rkt") (lib "sdsl/websynth/benchmarks/itunes100_2.rkt") (lib "rosette/base/core/real.rkt") (lib "rosette/guide/scribble/error-tracing/test.rkt") (lib "sdsl/websynth/test/itunes100_16.rkt") (lib "sdsl/synthcl/lang/typecheck.rkt") (lib "rosette/lib/roseunit.rkt") (lib "sdsl/ifc/call.rkt") (lib "sdsl/bv/test/util.rkt") (lib "sdsl/bv/lang/core.rkt") (lib "rosette/solver/smt/dec.rkt") (lib "sdsl/synthcl/examples/toy/synth/kernel.rkt") (lib "sdsl/websynth/benchmarks/imdb250_4.rkt") (lib "rosette/lib/util/ws-server.rkt") (lib "rosette/base/core/bool.rkt") (lib "test/base/generics.rkt") (lib "sdsl/synthcl/test/work.rkt") (lib "sdsl/bv/examples/reference.rkt") (lib "rosette/guide/scribble/libs/bvmul2.rkt") (lib "test/base/bool.rkt") (lib "rosette/guide/scribble/performance/xform.rkt") (lib "test/query/synthesize.rkt") (lib "sdsl/ifc/value.rkt") (lib "rosette/base/core/store.rkt") (lib "rosette/solver/smt/stp.rkt") (lib "rosette/base/core/reflect.rkt") (lib "rosette/base/adt/bvseq.rkt") (lib "test/all-rosette-tests.rkt") (lib "test/base/store.rkt") (lib "rosette/base/core/equality.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt") (lib "sdsl/websynth/websynth.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt") (lib "rosette/lib/profile/renderer/noop.rkt") (lib "test/trace/code/tail.rkt") (lib "sdsl/synthcl/test/grammar.rkt") (lib "test/base/list.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/test.rkt") (lib "sdsl/ifc/verify-EENI-demo.rkt") (lib "sdsl/bv/examples/medium.rkt") (lib "sdsl/ifc/verify.rkt") (lib "test/base/reflect.rkt") (lib "rosette/base/form/app.rkt") (lib "rosette/solver/solution.rkt") (lib "rosette/base/adt/generic.rkt") (lib "rosette/lib/value-browser.rkt") (lib "rosette/lang/reader.rkt") (lib "test/trace/code/solver-limitation.rkt") (lib "sdsl/synthcl/test/all-tests.rkt") (lib "rosette/guide/scribble/libs/calc-lang.rkt") (lib "rosette/guide/scribble/forms/forms.scrbl") (lib "test/base/type.rkt") (lib "rosette/lib/profile/feature.rkt") (lib "rosette/solver/smt/cvc5.rkt") (lib "test/trace/code/error.rkt") (lib "test/trace/code/forall.rkt") (lib "sdsl/synthcl/model/kernel.rkt") (lib "rosette/guide/scribble/forms/racket-forms.scrbl") (lib "rosette/safe.rkt") (lib "rosette/lib/profile/renderer/trace.rkt") (lib "rosette/lib/profile.rkt") (lib "test/trace/code/no-error.rkt") (lib "sdsl/websynth/test/imdb250_4.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_4.rkt") (lib "rosette/guide/scribble/refs.scrbl") (lib "sdsl/synthcl/lang/sugar.rkt") (lib "sdsl/synthcl/lang/errors.rkt") (lib "sdsl/websynth/benchmarks/imdb250_8.rkt") (lib "rosette/base/core/lift.rkt") (lib "sdsl/bv/lang/form.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/host.rkt") (lib "sdsl/websynth/benchmarks/itunes100_8.rkt") (lib "test/trace/code/assertion.rkt") (lib "rosette/query/eval.rkt") (lib "rosette/guide/scribble/util/demo.rkt") (lib "rosette/base/adt/vector.rkt") (lib "rosette/guide/scribble/datatypes/uninterpreted.scrbl") (lib "rosette/lib/profile/renderer/syntax.rkt") (lib "rosette/guide/scribble/reflection/symbolic-reflection.scrbl") (lib "sdsl/synthcl/model/objects.rkt") (lib "rosette/base/form/module.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt") (lib "test/trace/code/macro.rkt") (lib "rosette/guide/scribble/error-tracing/error-tracing.scrbl") (lib "test/base/distinct.rkt") (lib "sdsl/synthcl/model/runtime.rkt") (lib "rosette/guide/scribble/util/clean.rkt") (lib "sdsl/synthcl/model/type.rkt") (lib "sdsl/ifc/instruction.rkt") (lib "sdsl/websynth/websynthlib.rkt") (lib "sdsl/bv/examples/hard.rkt") (lib "rosette/query/query.rkt") (lib "test/query/grammar.rkt") (lib "rosette/lib/util/module.rkt") (lib "sdsl/synthcl/model/context.rkt") (lib "test/base/bitvector.rkt") (lib "sdsl/websynth/benchmarks/imdb250_2.rkt") (lib "sdsl/synthcl/test/operators.rkt") (lib "rosette/base/struct/struct.rkt") (lib "rosette/guide/scribble/libs/utility-libs.scrbl") (lib "rosette/solver/smt/enc.rkt") (lib "sdsl/synthcl/model/operators.rkt") (lib "test/base/eval-guarded.rkt") (lib "test/trace/code/ex-3.rkt") (lib "test/profile/renderer.rkt") (lib "sdsl/websynth/test/imdb250_2.rkt") (lib "rosette/lib/profile/graph.rkt") (lib "sdsl/synthcl/lang/main.rkt") (lib "test/trace/code/list.rkt") (lib "test/trace/code/ex-2.rkt") (lib "rosette/lib/util/syntax.rkt") (lib "rosette/guide/scribble/datatypes/equality.scrbl") (lib "sdsl/websynth/test/itunes100_4.rkt") (lib "rosette/solver/solver.rkt") (lib "rosette/guide/scribble/datatypes/bitvectors.scrbl") (lib "rosette/guide/scribble/datatypes/vectors.scrbl") (lib "sdsl/ifc/machine.rkt") (lib "rosette/solver/smt/base-solver.rkt") (lib "rosette/guide/scribble/error-tracing/sum.rkt") (lib "test/trace/code/ex-1-3.rkt") (lib "rosette/solver/smt/z3.rkt") (lib "sdsl/websynth/dom.rkt") (lib "test/all-sdsl-tests.rkt") (lib "sdsl/synthcl/test/memory.rkt") (lib "rosette/base/core/union.rkt") (lib "sdsl/synthcl/test/reals.rkt") (lib "rosette/base/form/control.rkt") (lib "test/base/vc.rkt") (lib "sdsl/synthcl/model/errors.rkt") (lib "sdsl/fsm/fsm.rkt") (lib "test/base/common.rkt") (lib "rosette/lib/profile/compile.rkt") (lib "sdsl/bv/test/medium.rkt") (lib "rosette/lib/profile/renderer/report/generic.rkt") (lib "sdsl/ifc/test.rkt") (lib "rosette/query/form.rkt") (lib "sdsl/synthcl/lang/operators.rkt") (lib "rosette/base/core/polymorphic.rkt") (lib "test/base/finitize.rkt") (lib "sdsl/synthcl/lang/types.rkt") (lib "sdsl/websynth/test/imdb250_8.rkt") (lib "test/query/verify.rkt") (lib "rosette/lib/trace/raco.rkt") (lib "test/trace/stress/non-tail.rkt") (lib "rosette/base/core/safe.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_16.rkt") (lib "sdsl/websynth/test/itunes100_8.rkt") (lib "test/query/synthax-external.rkt") (lib "rosette/guide/scribble/error-tracing/select.rkt") (lib "test/trace/code/core-form.rkt") (lib "test/trace/code/infeasible-solver.rkt") (lib "rosette/lib/trace/client-launcher.rkt") (lib "rosette/lib/profile/renderer/report.rkt") (lib "sdsl/websynth/benchmarks/imdb250_16.rkt") (lib "rosette/guide/scribble/essentials/essentials.scrbl") (lib "rosette/lib/trace/sample-data.rkt") (lib "sdsl/synthcl/test/more-snippets.rkt") (lib "rosette/solver/smt/yices.rkt") (lib "test/trace/code/if.rkt") (lib "sdsl/ifc/indistinguishable.rkt") (lib "rosette/lib/profile/renderer/report/callgraph.rkt") (lib "sdsl/bv/bv.rkt") (lib "test/trace/perf-runner.rkt") (lib "rosette/guide/scribble/libs/libraries.scrbl") (lib "rosette/lib/profile/data.rkt") (lib "sdsl/synthcl/examples/sobelFilter/test.rkt") (lib "test/profile/benchmarks/list.rkt") (lib "sdsl/fsm/query.rkt") (lib "test/trace/code/test-track-form.rkt") (lib "sdsl/synthcl/examples/toy/synth/host.rkt") (lib "test/lib/destruct.rkt") (lib "test/trace/code/toplevel.rkt") (lib "test/base/decode.rkt") (lib "rosette/solver/smt/smtlib2.rkt") (lib "rosette/base/core/exn.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt") (lib "rosette/guide/scribble/datatypes/boxes.scrbl") (lib "test/trace/code/test-stack.rkt") (lib "rosette/lib/trace/tool.rkt") (lib "sdsl/synthcl/lang/env.rkt") (lib "sdsl/websynth/test/alanon_arkansas_4.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt") (lib "rosette/base/adt/box.rkt") (lib "rosette/base/adt/list.rkt") (lib "rosette/guide/scribble/forms/rosette-forms.scrbl") (lib "test/base/push-pop.rkt") (lib "rosette/base/core/merge.rkt") (lib "sdsl/synthcl/examples/toy/verify/host.rkt") (lib "test/trace/code/macro-define.rkt") (lib "test/trace/code/infeasible.rkt") (lib "rosette/base/core/eval.rkt") (lib "sdsl/synthcl/model/work.rkt") (lib "rosette/base/struct/struct-type.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/examples/sobelFilter/kernel.rkt") (lib "rosette/guide/scribble/datatypes/solvers+solutions.scrbl") (lib "sdsl/bv/lang/fragment.rkt") (lib "rosette/base/adt/seq.rkt") (lib "rosette/query/core.rkt") (lib "rosette/guide/scribble/essentials/bvmid.rkt") (lib "rosette/guide/scribble/datatypes/builtin-datatypes.scrbl") (lib "sdsl/synthcl/examples/matrixMultiply/synth/test.rkt") (lib "sdsl/ifc/jump.rkt") (lib "sdsl/bv/examples/easy.rkt") (lib "test/trace/code/ex-1-1.rkt") (lib "rosette/lib/profile/raco.rkt") (lib "rosette/guide/scribble/reflection/value-reflection.scrbl") (lib "rosette/lib/profile/renderer/report/terms.rkt") (lib "rosette/guide/scribble/datatypes/test.rkt") (lib "sdsl/synthcl/examples/sobelFilter/reference.rkt") (lib "sdsl/synthcl/lang/forms.rkt") (lib "rosette/lib/synthax.rkt") (lib "rosette/lib/profile/renderer/renderer.rkt") (lib "sdsl/synthcl/model/reals.rkt") (lib "sdsl/synthcl/lang/util.rkt") (lib "rosette/guide/scribble/libs/rosette-libs.scrbl") (lib "sdsl/fsm/lib.rkt") (lib "rosette/base/core/term.rkt") (lib "sdsl/websynth/benchmarks/itunes100_16.rkt") (lib "rosette/safe/lang/reader.rkt") (lib "rosette/base/base.rkt") (lib "rosette/lib/profile/record.rkt") (lib "rosette/base/core/forall.rkt") (lib "sdsl/websynth/test/alanon_arkansas_2.rkt") (lib "rosette/solver/smt/cmd.rkt") (lib "test/trace/code/list-2.rkt"))) (name . "rosette") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rosette.zip") (tags . ())) pkg: catalog response: #hash((author . "alexander@knauth.org stchang@racket-lang.org") (checksum . "0d92b5681008dc9774fe2e0b93f5fd389a8130b2") (dependencies . (("turnstile-lib" #:version "0.3.1") ("turnstile-example" #:version "0.3.1") ("turnstile-doc" #:version "0.3.1") ("turnstile-test" #:version "0.3.1"))) (description . "#lang for implementing typed languages with Racket") (modules . ()) (name . "turnstile") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/turnstile.zip") (tags . ("lang" "language"))) pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "815971128f94120858211767e3f8c1b656ea65dd") (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 . "f59f907513a0e66a7e2bbeff1d9163a0de6cc4b0") (dependencies . (("base") ("lens-lib") ("reprovide-lang-lib") ("sweet-exp-lib"))) (description . "Unstable and experimental features for lenses") (modules . ((lib "unstable/lens/syntax.rkt") (lib "unstable/lens/struct-list.rkt") (lib "unstable/lens.rkt") (lib "unstable/lens/set-filterer.rkt") (lib "unstable/lens/flatten.rkt") (lib "unstable/lens/struct-provide.rkt") (lib "unstable/lens/sublist.rkt") (lib "unstable/lens/set-member.rkt") (lib "unstable/lens/reverse.rkt") (lib "unstable/lens/set-all.rkt") (lib "unstable/lens/syntax/stx.rkt") (lib "unstable/lens/zoom.rkt") (lib "unstable/lens/lazy.rkt") (lib "unstable/lens/define-nested.rkt") (lib "unstable/lens/struct-nested.rkt") (lib "unstable/lens/match.rkt") (lib "unstable/lens/isomorphism.rkt") (lib "unstable/lens/join-assoc.rkt") (lib "unstable/lens/if.rkt") (lib "unstable/lens/hash-filterer.rkt") (lib "unstable/lens/main.rkt") (lib "unstable/lens/struct-join.rkt") (lib "unstable/lens/dict-nested.rkt") (lib "unstable/lens/arrow.rkt") (lib "unstable/lens/map.rkt") (lib "unstable/lens/substring.rkt") (lib "unstable/lens/string-split.rkt") (lib "unstable/lens/syntax/srcloc.rkt"))) (name . "lens-unstable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lens-unstable.zip") (tags . ("data" "functional" "lens" "unstable"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "bee112e3c0598b858b69369fbc77eeffd87c0ce2") (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"))) 00: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/top.rkt") (lib "custom-load/test/a.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/main.rkt") (lib "custom-load/test/b.rkt") (lib "custom-load/private/loader.rkt") (lib "custom-load/custom-load.scrbl"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ())) pkg: catalog response: #hash((author . "tonygarnockjones@gmail.com") (checksum . "7d8e5851b4b4e021d6310f867a0b1f1b639a5bb2") (dependencies . (("base") ("net-lib") ("rackunit-lib") ("web-server-lib") ("scribble-lib") ("net-doc") ("racket-doc") ("web-server-doc"))) (description . "RFC 6455 WebSockets support for Racket.") (modules . ((lib "net/rfc6455/hybi00/dispatcher.rkt") (lib "net/rfc6455/client.rkt") (lib "net/rfc6455/examples/test-server.rkt") (lib "net/rfc6455/rfc6455/frame.rkt") (lib "net/rfc6455/rfc6455/handshake.rkt") (lib "net/rfc6455/rfc6455/conn.rkt") (lib "net/rfc6455/examples/time-server.rkt") (lib "net/rfc6455/hybi00/conn.rkt") (lib "net/rfc6455/conn-api.rkt") (lib "net/rfc6455/hybi00/handshake.rkt") (lib "net/rfc6455/examples/time-client-with-sync.rkt") (lib "net/rfc6455/scribblings/rfc6455.scrbl") (lib "net/rfc6455/hybi00/client.rkt") (lib "net/rfc6455/examples/time-client-with-threads.rkt") (lib "net/rfc6455/http.rkt") (lib "net/rfc6455/service-mapper.rkt") (lib "net/rfc6455/rfc6455/dispatcher.rkt") (lib "net/rfc6455/examples/test-service-mapper.rkt") (lib "net/rfc6455/timeout.rkt") (lib "net/rfc6455/examples/client.rkt") (lib "net/rfc6455/server.rkt") (lib "net/rfc6455/examples/echo-server.rkt") (lib "net/rfc6455/url.rkt") (lib "net/rfc6455/examples/cat.rkt") (lib "net/rfc6455/dispatcher.rkt") (lib "net/rfc6455.rkt") (lib "net/rfc6455/rfc6455/client.rkt") (lib "net/rfc6455/private/connection-manager.rkt"))) (name . "rfc6455") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rfc6455.zip") (tags . ("http" "net" "web"))) 00: Resolved "turnstile-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "turnstile-example" via file:///home/root//catalogs/built/catalog 01: Resolved "turnstile-doc" via file:///home/root//catalogs/built/catalog Resolved "turnstile-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "741f401fdaf57606a3a859bec7874976d5ede74a") (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 . "b7eff1a9c6ba54d095ad324cd8caca8b40fa80bc") (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 . ())) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "19bc6a21b2488a4eb8579897ae933793a6f28bfb") (dependencies . (("base" #:version "7.0") ("racket-doc") ("sandbox-lib") ("scribble-lib") ("rackunit-lib") ("rackunit-doc") ("rackunit-macrotypes-lib" #:version "0.3.1") ("turnstile-lib" #:version "0.3.6") ("turnstile-example" #:version "0.3.1"))) (description . "") (modules . ((lib "turnstile/scribblings/guide.scrbl") (lib "turnstile/scribblings/common.rkt") (lib "turnstile/scribblings/reference.scrbl") (lib "turnstile/scribblings/doc-utils.rkt") (lib "turnstile/scribblings/turnstile.scrbl") (lib "turnstile/scribblings/rackunit-turnstile.scrbl"))) (name . "turnstile-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/turnstile-doc.zip") (tags . ())) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "4413a5650fe197a099f1c043f7b2bf13ed3248b0") (dependencies . (("base" #:version "7.0") ("turnstile-lib" #:version "0.5.3") ("turnstile-example" #:version "0.7") ("rackunit-macrotypes-lib" #:version "0.3.1"))) (description . "") (modules . ((lib "tests/turnstile/optimize/ext-stlc-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-subtype-tests.rkt") (lib "tests/turnstile/linear/lin-tests.rkt") (lib "tests/turnstile/typed-var-stx/typed-var-test.rkt") (lib "tests/turnstile/simple/stlc-tests.rkt") (lib "tests/turnstile/linear/lin+var-tests.rkt") (lib "tests/turnstile/cmu15-814/stlc+sum+forall-tests.rkt") (lib "tests/turnstile/typed-var-stx/typed-var-example.rkt") (lib "tests/turnstile/linear/lin+cons-tests.rkt") (lib "tests/turnstile/optimize/stlc+cons-tests.rkt") (lib "tests/turnstile/stlc+reco2-tests.rkt") (lib "tests/turnstile/optimize/stlc+reco+sub-tests.rkt") (lib "tests/turnstile/fsub-tests.rkt") (lib "tests/turnstile/cmu15-814/stlc+sum+rec-tests.rkt") (lib "tests/turnstile/optimize/rackunit-kindchecking.rkt") (lib "tests/turnstile/optimize/stlc+reco+var-tests.rkt") (lib "tests/turnstile/dep-tests.rkt") (lib "tests/turnstile/optimize/fomega-tests.rkt") (lib "tests/turnstile/stlc+cons-tests.rkt") (lib "tests/turnstile/optimize/stlc+lit-tests.rkt") (lib "tests/turnstile/simple/ext-stlc-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-data2-tests.rkt") (lib "tests/turnstile/generic.rkt") (lib "tests/turnstile/pat-expander-tests-def.rkt") (lib "tests/turnstile/stlc+effect-tests.rkt") (lib "tests/turnstile/stlc+reco+sub-tests.rkt") (lib "tests/turnstile/trivial-test.rkt") (lib "tests/turnstile/cmu15-814/stlc+sum+exist-tests.rkt") (lib "tests/turnstile/pat-expander-tests.rkt") (lib "tests/turnstile/ext-stlc-no-unicode-tests.rkt") (lib "tests/turnstile/linear/rackunit-lin.rkt") (lib "tests/turnstile/samc-define-lang-tests2.rkt") (lib "tests/turnstile/optimize/stlc+tup-tests.rkt") (lib "tests/turnstile/optimize/stlc+sub-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-list-tests.rkt") (lib "tests/turnstile/stlc-jesse-tests.rkt") (lib "tests/turnstile/optimize/exist-tests.rkt") (lib "tests/turnstile/stlc+lit-tests.rkt") (lib "tests/turnstile/optimize/stlc+box-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-nat+datum-tests.rkt") (lib "tests/turnstile/linear/lin5-tests.rkt") (lib "tests/turnstile/linear/lin4-tests.rkt") (lib "tests/turnstile/linear/lin3-tests.rkt") (lib "tests/turnstile/linear/lin2-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-bool-tests.rkt") (lib "tests/turnstile/sysf-tests.rkt") (lib "tests/turnstile/issues/issue072.rkt") (lib "tests/turnstile/issues/issue084-deftypedvariable.rkt") (lib "tests/turnstile/stlc-tests.rkt") (lib "tests/turnstile/optimize/sysf-tests.rkt") (lib "tests/turnstile/samc-define-lang-tests.rkt") (lib "tests/turnstile/load-time-tests/racket-prog.rkt") (lib "tests/turnstile/fomega-no-reuse-tests-old.rkt") (lib "tests/turnstile/fomega-no-reuse-tests.rkt") (lib "tests/turnstile/fomega2-tests.rkt") (lib "tests/turnstile/linear/lin+tup-tests.rkt") (lib "tests/turnstile/cmu15-814/stlc+sum+fix-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-eq-tests2.rkt") (lib "tests/turnstile/issues/issue035.rkt") (lib "tests/turnstile/ext-stlc-tests.rkt") (lib "tests/turnstile/optimize/fsub-tests.rkt") (lib "tests/turnstile/linear/fabul-tests.rkt") (lib "tests/turnstile/rackunit-typechecking.rkt") (lib "tests/turnstile/typed-rackunit-typechecking.rkt") (lib "tests/turnstile/turnstile-tests.rkt") (lib "tests/turnstile/stlc+sub-tests.rkt") (lib "tests/turnstile/linear/lin+chan-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-tests.rkt") (lib "tests/turnstile/stlc+union.rkt") (lib "tests/turnstile/tlb-infer-tests.rkt") (lib "tests/turnstile/mode.rkt") (lib "tests/turnstile/optimize/stlc+rec-iso-tests.rkt") (lib "tests/turnstile/stlc+reco+var-tests.rkt") (lib "tests/turnstile/cmu15-814/stlc+sum-tests.rkt") (lib "tests/turnstile/rackunit-kindchecking.rkt") (lib "tests/turnstile/stlc+tup-tests.rkt") (lib "tests/turnstile/stlc+union+case.rkt") (lib "tests/turnstile/load-time-tests/turnstile-base-lang-prog.rkt") (lib "tests/turnstile/load-time-tests/racket-base-prog.rkt") (lib "tests/turnstile/telescopes.rkt") (lib "tests/turnstile/stlc+box-tests.rkt") (lib "tests/turnstile/optimize/fomega2-tests.rkt") (lib "tests/turnstile/load-time-tests/turnstile-lang-prog.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-nat-tests.rkt") (lib "tests/turnstile/cmu15-814/stlc-tests.rkt") (lib "tests/turnstile/exist-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-eq-tests.rkt") (lib "tests/turnstile/dep/dep-ind-cur2-list-tests2.rkt") (lib "tests/turnstile/load-time-tests/turnstile-base-lang.rkt") (lib "tests/turnstile/stlc+rec-iso-tests.rkt") (lib "tests/turnstile/load-time-tests/turnstile-lang.rkt") (lib "tests/turnstile/filter-maximal.rkt") (lib "tests/turnstile/fomega-tests.rkt") (lib "tests/turnstile/simple/stlc+lit-tests.rkt"))) (name . "turnstile-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/turnstile-test.zip") (tags . ())) 01: Resolved "macrotypes-lib" via file:///home/root//catalogs/built/catalog Resolved "lens-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "adf73e2d2348cdf43cdbb85ed72a4ef8387f607c") (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 . ())) pkg: catalog response: #hash((author . "jackhfirth@gmail.com alexander@knauth.org") (checksum . "76aca8be4ff091a11242aec599de623d873e89dd") (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"))) 01: 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 . "a4bd4b7908442d16338bf4c915b9109f896b32fb") (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 . "5829be7f5450768c10e35f2e6d18b6941971ae43") (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 . "e5fb80002670249038b5288e31870ac609fc8ea8") (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"))) 01: Resolved "fancy-app" 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 . "samth@ccs.neu.edu") (checksum . "7f453f5611adaf10454be000263b5fb7af8f76ed") (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"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "b9c1197c72c57bc96b44eae138d4c3e7ce3c7000") (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 . "08b6bc15593b7098ec2db7c92d0fc2d1ad5138b2") (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 . "6ba5b293253fc177cf92afbd479f16b933fab5b6") (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 . "9d45687ec94c2a115cd6c671281b4176bd72f5d0") (dependencies . (("base"))) (description . "experimental racket module language for creating languages, inspired by syntax-lang") (modules . ((lib "syntax/macro-lang.rkt") (lib "tests/syntax/macro-lang/test.rkt") (lib "tests/syntax/macro-lang/the-lang.rkt"))) (name . "syntax-macro-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-macro-lang.zip") (tags . ("lang" "syntax"))) Resolved "rackunit-macrotypes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "ec6f8526a96106f715763f68dfe7a763d33d9a3a") (dependencies . (("base" #:version "7.0") ("rackunit-lib") ("macrotypes-lib" #:version "0.3.1"))) (description . "rackunit extension for use with Turnstile lang") (modules . ((lib "rackunit/turnstile.rkt") (lib "rackunit/rackunit-typechecking.rkt") (lib "rackunit/turnstile+.rkt") (lib "rackunit/macrotypes.rkt"))) (name . "rackunit-macrotypes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackunit-macrotypes-lib.zip") (tags . ())) pkg: creating link to # pkg: updating db with "rackunit-macrotypes-lib" to '#s(pkg-info (catalog "rackunit-macrotypes-lib") "ec6f8526a96106f715763f68dfe7a763d33d9a3a" #t) pkg: creating link to # pkg: updating db with "turnstile-test" to '#s(pkg-info (catalog "turnstile-test") "4413a5650fe197a099f1c043f7b2bf13ed3248b0" #t) pkg: creating link to # pkg: updating db with "lens-common" to '#s(pkg-info (catalog "lens-common") "815971128f94120858211767e3f8c1b656ea65dd" #t) pkg: creating link to # pkg: updating db with "lens-unstable" to '#s(pkg-info (catalog "lens-unstable") "f59f907513a0e66a7e2bbeff1d9163a0de6cc4b0" #t) pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "bee112e3c0598b858b69369fbc77eeffd87c0ce2" #t) pkg: creating link to # pkg: updating db with "typed-rosette" to '#s(pkg-info (catalog "typed-rosette") "729a68c92b0c441a85c36267643363324f181f7b" #f) pkg: creating link to # pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "971e4455fd63a8a684735511a7adfc8970122794" #t) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5" #t "custom-load") pkg: creating link to # pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "7d8e5851b4b4e021d6310f867a0b1f1b639a5bb2" #t) pkg: creating link to # pkg: updating db with "turnstile" to '#s(pkg-info (catalog "turnstile") "0d92b5681008dc9774fe2e0b93f5fd389a8130b2" #t) pkg: creating link to # pkg: updating db with "turnstile-lib" to '#s(pkg-info (catalog "turnstile-lib") "741f401fdaf57606a3a859bec7874976d5ede74a" #t) pkg: creating link to # pkg: updating db with "macrotypes-lib" to '#s(pkg-info (catalog "macrotypes-lib") "adf73e2d2348cdf43cdbb85ed72a4ef8387f607c" #t) pkg: creating link to # pkg: updating db with "lens-lib" to '#s(pkg-info (catalog "lens-lib") "76aca8be4ff091a11242aec599de623d873e89dd" #t) pkg: creating link to # pkg: updating db with "lens-data" to '#s(pkg-info (catalog "lens-data") "a4bd4b7908442d16338bf4c915b9109f896b32fb" #t) pkg: creating single-collection link to # pkg: updating db with "fancy-app" to '#s((sc-pkg-info pkg-info 3) (catalog "fancy-app") "7f453f5611adaf10454be000263b5fb7af8f76ed" #t "fancy-app") pkg: creating link to # pkg: updating db with "struct-update-lib" to '#s(pkg-info (catalog "struct-update-lib") "b9c1197c72c57bc96b44eae138d4c3e7ce3c7000" #t) pkg: creating link to # pkg: updating db with "kw-make-struct-lib" to '#s(pkg-info (catalog "kw-make-struct-lib") "08b6bc15593b7098ec2db7c92d0fc2d1ad5138b2" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "5829be7f5450768c10e35f2e6d18b6941971ae43" #t) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "6ba5b293253fc177cf92afbd479f16b933fab5b6" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "9d45687ec94c2a115cd6c671281b4176bd72f5d0" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "e5fb80002670249038b5288e31870ac609fc8ea8" #t) pkg: creating link to # pkg: updating db with "turnstile-example" to '#s(pkg-info (catalog "turnstile-example") "b7eff1a9c6ba54d095ad324cd8caca8b40fa80bc" #t) pkg: creating link to # pkg: updating db with "turnstile-doc" to '#s(pkg-info (catalog "turnstile-doc") "19bc6a21b2488a4eb8579897ae933793a6f28bfb" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of typed-rosette: rosette turnstile lens-common lens-unstable syntax-classes-lib dependencies of rosette: custom-load rfc6455 dependencies of turnstile: turnstile-lib turnstile-example turnstile-doc turnstile-test dependencies of turnstile-lib: macrotypes-lib lens-lib dependencies of lens-lib: lens-data reprovide-lang-lib sweet-exp-lib dependencies of lens-data: fancy-app struct-update-lib kw-make-struct-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of turnstile-doc: rackunit-macrotypes-lib 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 --- [2:12:50] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [2:12:50] raco setup: pre-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.12/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco setup: --- installing foreign libraries --- [2:12:50] raco setup: --- installing shared files --- [2:12:50] raco setup: --- compiling collections --- [2:12:50] raco setup: --- parallel build using 4 jobs --- [2:12:50] raco setup: 3 making: /custom-load (custom-load) raco setup: 2 making: /fancy-app raco setup: 1 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: 3 making: /custom-load/private raco setup: 0 making: /lens-common/lens raco setup: 0 making: /lens-common/lens/private raco setup: 1 making: /lens-data/lens raco setup: 1 making: /lens-data/lens/data raco setup: 3 making: /lens-lib/lens (lens) raco setup: 2 making: /lens-unstable/unstable (unstable lens) raco setup: 2 making: /lens-unstable/unstable/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/private raco setup: 1 making: /lens-data/lens/private/dict raco setup: 1 making: /lens-data/lens/private/hash raco setup: 1 making: /lens-data/lens/private/isomorphism raco setup: 3 making: /macrotypes-lib/macrotypes raco setup: 1 making: /lens-data/lens/private/list 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/set raco setup: 0 making: /lens-common/lens/private/util raco setup: 0 making: /rackunit-macrotypes-lib/rackunit raco setup: 1 making: /lens-data/lens/private/stream raco setup: 1 making: /lens-data/lens/private/string raco setup: 1 making: /lens-data/lens/private/struct raco setup: 1 making: /lens-data/lens/private/syntax raco setup: 0 making: /reprovide-lang-lib/reprovide raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer raco setup: 3 making: /rfc6455/net raco setup: 3 making: /rfc6455/net/rfc6455 raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: 0 making: /rosette/rosette 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: /rosette/sdsl raco setup: 1 making: /rosette/test raco setup: 1 making: /struct-update-lib/struct-update raco setup: 1 making: /sweet-exp-lib/sweet-exp raco setup: 1 making: /sweet-exp-lib/sweet-exp/modern raco setup: 1 making: /sweet-exp-lib/sweet-exp/racket raco setup: 2 making: /lens-unstable/unstable/lens/syntax raco setup: 2 making: /syntax-classes-lib/syntax raco setup: 2 making: /syntax-classes-lib/syntax/parse raco setup: 2 making: /syntax-classes-lib/syntax/parse/class raco setup: 2 making: /syntax-macro-lang/syntax raco setup: 2 making: /syntax-macro-lang/tests raco setup: 2 making: /syntax-macro-lang/tests/syntax raco setup: 2 making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: 1 making: /turnstile-doc/turnstile raco setup: 1 making: /turnstile-doc/turnstile/scribblings raco setup: 2 making: /turnstile-example/turnstile raco setup: 2 making: /turnstile-example/turnstile/examples raco setup: 3 making: /rfc6455/net/rfc6455/examples raco setup: 3 making: /rfc6455/net/rfc6455/hybi00 raco setup: 3 making: /rfc6455/net/rfc6455/private raco setup: 3 making: /rfc6455/net/rfc6455/rfc6455 raco setup: 3 making: /rfc6455/net/rfc6455/scribblings raco setup: 3 making: /turnstile-lib/turnstile raco setup: 3 making: /turnstile-lib/turnstile/base raco setup: 3 making: /turnstile-lib/turnstile/base/lang raco setup: 3 making: /turnstile-lib/turnstile/lang raco setup: 3 making: /turnstile-lib/turnstile/lang/lang raco setup: 3 making: /turnstile-lib/turnstile/quicklang raco setup: 3 making: /turnstile-lib/turnstile/quicklang/lang raco setup: 3 making: /turnstile-lib/turnstile+ raco setup: 3 making: /turnstile-lib/turnstile+/base raco setup: 3 making: /turnstile-lib/turnstile+/base/lang raco setup: 3 making: /turnstile-lib/turnstile+/lang raco setup: 3 making: /turnstile-lib/turnstile+/quicklang raco setup: 3 making: /turnstile-lib/turnstile+/quicklang/lang raco setup: 3 making: /turnstile-test/tests raco setup: 3 making: /typed-rosette/sdsl raco setup: 3 making: /typed-rosette/sdsl/typed-bv raco setup: 3 making: /typed-rosette/sdsl/typed-fsm raco setup: 1 making: /typed-rosette/test raco setup: 2 making: /turnstile-example/turnstile/examples/cmu15-814 raco setup: 0 making: /rosette/rosette/base /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette-util.rkt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/types.rkt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette.rkt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/main.rkt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/sdsl/typed-bv/bv.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /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 ... raco setup: 3 making: /typed-rosette/sdsl/typed-ifc raco setup: 2 making: /turnstile-example/turnstile/examples/dep /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/sdsl/typed-fsm/fsm.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: 3 making: /typed-rosette/sdsl/typed-synthcl /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/bv-ref-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: 2 making: /turnstile-example/turnstile/examples/linear /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/sdsl/typed-ifc/ifc.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/bv-test-utils.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/bv-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: 2 making: /turnstile-example/turnstile/examples/optimize /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/fsm-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/ifc-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: /rosette/rosette/base/adt raco setup: 0 making: /rosette/rosette/base/core raco setup: 0 making: /rosette/rosette/base/form raco setup: 0 making: /rosette/rosette/base/struct raco setup: 0 making: /rosette/rosette/guide raco setup: 0 making: /rosette/rosette/guide/scribble raco setup: 0 making: /rosette/rosette/guide/scribble/datatypes raco setup: 0 making: /rosette/rosette/guide/scribble/error-tracing /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/sdsl/typed-synthcl/synthcl.rkt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/matrix-synth-kernel.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: /rosette/rosette/guide/scribble/essentials raco setup: 0 making: /rosette/rosette/guide/scribble/forms raco setup: 0 making: /rosette/rosette/guide/scribble/libs raco setup: 2 making: /turnstile-example/turnstile/examples/simple raco setup: 0 making: /rosette/rosette/guide/scribble/performance /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/matrix-verify-kernel.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: /rosette/rosette/guide/scribble/reflection raco setup: 0 making: /rosette/rosette/guide/scribble/unsafe raco setup: 0 making: /rosette/rosette/guide/scribble/util raco setup: 2 making: /turnstile-example/turnstile/examples/util raco setup: 0 making: /rosette/rosette/guide/scribble/welcome raco setup: 0 making: /rosette/rosette/lang raco setup: 0 making: /rosette/rosette/lib raco setup: 2 making: /typed-rosette/typed raco setup: 2 making: /typed-rosette/typed/bv raco setup: 2 making: /typed-rosette/typed/bv/lang raco setup: 2 making: /typed-rosette/typed/fsm raco setup: 2 making: /typed-rosette/typed/fsm/lang raco setup: 2 making: /typed-rosette/typed/ifc raco setup: 2 making: /typed-rosette/typed/ifc/lang raco setup: 2 making: /typed-rosette/typed/lib raco setup: 0 making: /rosette/rosette/lib/profile /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/quote-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/angelic.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:746:5 ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec2-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... raco setup: 0 making: /rosette/rosette/lib/profile/renderer raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report/html raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report/html/css raco setup: 0 making: /rosette/rosette/lib/profile/renderer/report/html/js raco setup: 0 making: /rosette/rosette/lib/trace raco setup: 0 making: /rosette/rosette/lib/trace/report raco setup: 0 making: /rosette/rosette/lib/trace/report/dist raco setup: 0 making: /rosette/rosette/lib/util raco setup: 0 making: /rosette/rosette/private raco setup: 0 making: /rosette/rosette/query raco setup: 0 making: /rosette/rosette/safe raco setup: 0 making: /rosette/rosette/safe/lang raco setup: 0 making: /rosette/rosette/solver raco setup: 0 making: /rosette/rosette/solver/smt /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec3-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/lift.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:746:5 ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec43-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec44-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec4-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/render.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:746:5 ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/roseunit.rkt:2:18: cannot open module file module path: turnstile/rackunit-typechecking path: /home/root/user/.local/share/racket/8.12/pkgs/turnstile-lib/turnstile/rackunit-typechecking.rkt system error: no such file or directory; rkt_err=3 compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/roseunit.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/roseunit.rkt:2:18 context...: /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: 2 making: /typed-rosette/typed/query /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec45-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec46-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec49-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/synthax.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:746:5 ... raco setup: 2 making: /typed-rosette/typed/rosette /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec5-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec6-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec7-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-guide-sec8-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/query/debug.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:746:5 ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/rosette-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/sobel-kernel.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-matrix-synth-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/base-forms.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-matrix-verify-buggy-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-matrix-verify-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/bool.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-sobel-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/for-forms.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-walsh-synth-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: 1 making: /typed-rosette/test/typed-rosette /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/synthcl-walsh-verify-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/walsh-synth-kernel.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/format.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/walsh-verify-kernel.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/case-arrow.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/for-all-union.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/forms-pre-match.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/for-tests.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/occurrence.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/occurrence2.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/function.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/rest-arg.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/test/typed-rosette/test-type-decl.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /home/root/racket/collects/syntax/private/modcode-noctc.rkt:192:5: compile-one /home/root/racket/collects/compiler/private/cm-minimal.rkt:696:0: compile-zo* ... /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/generic-interfaces.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/hash.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:565:5 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/list.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/match-core.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/match-pat-forms.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/set.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: 2 making: /typed-rosette/typed/rosette/lang /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/struct-type-properties.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: 2 making: /typed-rosette/typed/synthcl raco setup: 2 making: /typed-rosette/typed/synthcl/lang /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/unsafe.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/struct.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18: only-in: identifier `with-asserts' not included in nested require spec at: rosette in: (only-in rosette with-asserts) compilation context...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/rosette/vector.rkt location...: /home/root/user/.local/share/racket/8.12/pkgs/typed-rosette/typed/lib/check-asserts.rkt:10:18 context...: /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /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/user/.local/share/racket/8.12/pkgs/rosette/rosette/base/form/module.rkt:16:0 /home/root/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:662:5 /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 /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: --- creating launchers --- [2:13:26] raco setup: --- installing man pages --- [2:13:26] raco setup: --- building documentation --- [2:13:26] raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /fancy-app/doc/fancy-app raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: syncing: /turnstile-doc/turnstile/doc/turnstile Killed The time is now Wednesday, February 7th, 2024 9:13:30pm