It works! Thank you. The B.rkt (or check.rkt in my last message) can’t have the `#lang racket` line. I am still confused about the implications of the `#lang racket` line in the file and the module system of Racket.
> On 20 Mar 2020, at 11:08, Ben Greenman <benjaminlgreen...@gmail.com> wrote: > > Does check.rkt start with a #lang line? > > My B.rkt from the last message didn't have a #lang > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/16A9D698-E539-4C63-8A7D-ACCC7D4B2E24%40gmail.com.