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 <> 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 view this discussion on the web visit

Reply via email to