Typed/racket/lang/no-check no longer in Minimal Racket 9.1?

General
1

Today I got a "cron CI" error about building Racket Mode with Minimal Racket -- now that the latest stable version is 9.1.

The file starts with #lang typed/racket/no-check and the error is

raco test: (submod (file "./racket/keywords.rkt") test)
standard-module-name-resolver: collection not found
  for module path: typed/racket/no-check/lang/reader
  collection: "typed/racket/no-check/lang"
  in collection directories:
   /home/runner/.local/share/racket/9.1/collects
   /usr/share/racket/collects/
   ... [29 additional linked and package directories]

Am I understanding correctly this means that Typed Racket used to be included in Minimal Racket, but no longer is as of 9.1?

p.s. This isn't a complaint or an urgent problem for me. The file in question isn't even part of Racket Mode per se -- instead it's more like a script used to generate some Emacs Lisp definitions. There are a couple easy ways to resolve this. I'm just double-checking whether I understand what changed.

2

Nothing about Typed Racket (including #lang typed/racket/no-check) should have been in Minimal Racket at any point. I just checked this on 9.0 and it didn't find that, as it should be.

Perhaps your CI was installing something else as well, that brought in TR?

3

OK, yes, it wouldn't have made sense for Minimal Racket to include Typed Racket (which is awesome but way beyond "minimal").

That sounds like it. One of these extra deps probably changed in 9.1, and no longer depends on typed-racket-lib (which is a good change, minimizing deps).

# This target is for a CI configuration using the Minimal Racket
# distribution. In that case we need some additional Racket packages
# from the main distribution -- as described in our end user docs at
# <https://www.racket-mode.com/#Minimal-Racket>.
minimal-racket-deps:
	$(RACKET) -l raco pkg install --auto \
      data-lib errortrace-lib macro-debugger-text-lib rackunit-lib \
      racket-index scribble-lib drracket-tool-text-lib

Either I'll manually add the dep, or, even better, no longer include that "scripty" file in testing.

4

Yes, drracket-tool-text-lib changed, I believe.

1 Like