#lang htdp/bsl doesn't show coverage info

Questions & Answers
,
1

I've been transitioning my classes this year to use #lang htdp/bsl instead of picking a language under the menu.

But I've just noticed that doing this prevents DrRacket from screaming at them about code missing coverage. ("It's orange and black, like Halloween, and it's even more scary!")

Is this an oversight, a limitation we get from using a #lang line, or something else? And is there any way to activate the lack of coverage other than switching back to the Language menu?

Thanks,
Todd

2

In the language dialog, show the details:

image
image1600×1192 260 KB

Then enable "Syntactic test suite coverage" under "Dynamic Properties".

3

It isn't on by default but you can enable it in the language dialog:

  • language | choose language ... menu item
  • show details (if not shown already)
  • click "syntactic test suite coverage" (upper right)
4

Thanks very much! I'll have to tell students to do this on their home computers.

However, is there any way I can set this as a default on all the students' accounts in my lab? Some line I could set in everybody's ~/.config/racket/racket-prefs.rktd file or something?

5

Yes, it would be saved in the preferences. I believe it is the key plt:framework-pref:drracket:language-settings, but I recommend you test it out to be sure!