Does check.rkt start with a #lang line? My B.rkt from the last message didn't have a #lang
On 3/19/20, Alexandre Rademaker <aradema...@gmail.com> wrote: > > Not yet. To be more concrete: > > % racket --lib racket -t ex-1.2-3.rkt -t ex-1.7.rkt -t ex-1.8.rkt -r > check.rkt > check.rkt:31:7: sum-of-squares-max3: unbound identifier > in: sum-of-squares-max3 > location...: > check.rkt:31:7 > context...: > do-raise-syntax-error > for-loop > [repeats 1 more time] > finish-bodys > lambda-clause-expander > for-loop > loop > [repeats 6 more times] > module-begin-k > expand-module16 > expand-capturing-lifts > temp118_0 > temp91_0 > compile15 > temp85_0 > loop > > The ex* files are the answers of one particular student. The check.rkt > contains the tests. I am still trying to avoid the necessity of adding the > (require …) commands in the check.rkt so I can select the student files to > test in the command line. The -r or -f option cause the same error. The > (provide …) forms are presented in the ex* files. > > Best, > Alexandre > > >> On 19 Mar 2020, at 20:26, Ben Greenman <benjaminlgreen...@gmail.com> >> wrote: >> >>> But I was really expecting that the option -t in the racket command >>> should >>> replace the explicit (require…) in B.rkt. Something like >>> >>>> racket -t A.rkt -f B.rkt >>> default-load-handler: expected a `module' declaration, but found >>> something >>> else >> >> Yes that almost works, but A.rkt needs to provide things for the >> require to get them. >> >> Also, I guess we need --lib racket (maybe my -I racket was a mistake): >> >> racket --lib racket -t A.rkt -f B.rkt > > -- 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/CAFUu9R7ajThHa0W5qHCH42KuGfMowX%2BnZ2K-V6EbUTdFC2zYHQ%40mail.gmail.com.
