laurent.orseau
2022-4-18 14:09:01

@samth I get lots of Typed Racket errors when makeing 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


laurent.orseau
2022-4-18 14:15:33

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


samth
2022-4-18 14:16:05

I think something you have must not be up to date


laurent.orseau
2022-4-18 14:17:45

ok, will investigate.