
@samth I get lots of Typed Racket errors when make
ing racket from source (I haven’t done that in a long while, so that may be related) raco setup: 4 making: <pkgs>/racket-benchmarks/tests/racket/benchmarks/shootout/typed
Type Checker: Summary: 2 errors encountered
compilation context...:
/home/laurent/build/racket-dev/racket/pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/ackermann-non-optimizing.rkt
location...:
pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/wrapper.rkt:18:6
pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/wrapper.rkt:18:6
context...:
/home/laurent/build/racket-dev/racket/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:455:0: type-check
/home/laurent/build/racket-dev/racket/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:682:0: tc-module
/home/laurent/build/racket-dev/racket/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:101:12
/home/laurent/build/racket-dev/racket/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4
/home/laurent/build/racket-dev/racket/racket/collects/compiler/private/cm-minimal.rkt:685:0: compile-zo*
/home/laurent/build/racket-dev/racket/racket/collects/compiler/private/cm-minimal.rkt:451:15
/home/laurent/build/racket-dev/racket/racket/collects/compiler/private/cm-minimal.rkt:440:12: build
/home/laurent/build/racket-dev/racket/racket/collects/compiler/private/cm-minimal.rkt:411:0: maybe-compile-zo
/home/laurent/build/racket-dev/racket/racket/collects/compiler/private/cm-minimal.rkt:209:0: compile-root
/home/laurent/build/racket-dev/racket/racket/collects/compiler/private/cm-minimal.rkt:105:4
/home/laurent/build/racket-dev/racket/racket/collects/setup/parallel-build.rkt:332:9
/home/laurent/build/racket-dev/racket/racket/collects/setup/parallel-do.rkt:456:25
/home/laurent/build/racket-dev/racket/racket/collects/setup/parallel-do.rkt:442:20: loop

raco setup: error: during making for <pkgs>/racket-benchmarks/tests/racket/benchmarks/shootout/typed
raco setup: Type Checker: Summary: 2 errors encountered
raco setup: compiling: <pkgs>/racket-benchmarks/tests/racket/benchmarks/shootout/typed/thread-ring-optimizing.rkt
STDERR:
pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/wrapper.rkt:18:6: Type Checker: Polymorphic function `parse-command-line' could not be applied to arguments:
Wrong number of arguments - Expected 7, but got 8
Argument 1:
Expected: Path-String
Given: False
Argument 2:
Expected: (U (Immutable-Vectorof String) (Listof String) (Mutable-Vectorof String))
Given: Path
Argument 3:
Expected: (Listof (U (Pairof (U 'final 'multi 'once-any 'once-each) (Listof Any)) (Pairof (U 'help-labels 'ps 'usage-help) (Listof String))))
Given: (Vectorof String)
Argument 4:
Expected: (-> (Listof Any) String ... a b)
Given: Null
Argument 5:
Expected: (Listof String)
Given: (-> Any Any Integer)
Argument 6:
Expected: (U #<unsafe-undefined> (-> String Any))
Given: (List String)
Argument 7:
Expected: (U #<unsafe-undefined> (-> String Any))
Given: #<unsafe-undefined>
Argument 8:
Expected: -none-
Given: #<unsafe-undefined>
in: (ts:#%module-begin (define OPTIMIZED? #t) (include/reader "thread-ring.rktl" r:read-syntax))
compilation context...:
/home/laurent/build/racket-dev/racket/pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/thread-ring-optimizing.rkt
location...:
pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/wrapper.rkt:18:6
context...:
/home/laurent/build/racket-dev/racket/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:123:0: report-all-errors
/home/laurent/build/racket-dev/racket/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:455:0: type-check

I think something you have must not be up to date

ok, will investigate.