Bugs when using Teaching Languages #123
Description
There are 3 small bugs when using the teaching languages.
The first is that since teaching languages use:
;; The first three lines of this file were inserted by DrRacket. They record metadata
;; about the language level of this file in a form that our tools can easily process.
#reader(...)
Instead of #lang ..., Magic Racket sees this as an error and shows "Missing or invalid #lang line". It only underlines 1 character so it doesn't really affect usage.
The second bug is more impactful. When using a teaching language, the reindent tool does not work at all. I'd imagine this has something to do with the #lang bug? Whenever I want to use the formatting tool, I have to insert #lang racket at the beginning, reformat, and then delete it so the code runs properly.
The third error is that teaching languages do not run tests like DrRacket does automatically, but it is easy to work around by manually adding:
(require test-engine/racket-tests)
(test)
These bugs cause minor inconveniences when using Teaching Languages.