[racket] show-requires isn't submodule-aware?

From: Ryan Culpepper (ryanc at ccs.neu.edu)
Date: Thu Jan 8 11:59:27 EST 2015

I'd call that a bug in check-requires. I'm not sure yet how hard it will 
be to fix.

Ryan


On 01/08/2015 11:41 AM, Greg Hendershott wrote:
> Re https://github.com/greghendershott/racket-mode/issues/76
>
> The underlying reason seems to be that `show-requires` from
> `macro-debugger/analysis/check-requires` doesn't consider submodules.
>
> Below is a tiny example with 2 source files and 1 checker file.
>
> Is this as-intended, or something I should file a PR about?
>
>
> ;;; mod.rkt
> #lang racket
> (first '(1)) ;`first' provided by racket/list but not racket/base
>
>
> ;;; submod.rkt
> #lang racket
> (module+ test
>    (first '(1))) ;`first' provided by racket/list but not racket/base
>
>
> ;;; chk.rkt
> #lang racket
> (require (only-in macro-debugger/analysis/check-requires show-requires))
> (show-requires "mod.rkt")
> ;; => '((bypass racket 0 ((racket/base 0 #f) (racket/list 0 #f))))
> (show-requires "submod.rkt")
> ;; => '((bypass racket 0 ((racket/base 0 #f))))
> ;; But expected same result as for mod.rkt:
> ;;    '((bypass racket 0 ((racket/base 0 #f) (racket/list 0 #f))))
> ____________________
>    Racket Users list:
>    http://lists.racket-lang.org/users
>


Posted on the users mailing list.