[racket] provide and require in submodules

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Nov 23 10:31:34 EST 2012

That's a bug. I've pushed a repair to the git repo.

Thanks for the report!

At Tue, 20 Nov 2012 23:19:30 -0500, Harry Spier wrote:
> Dear list members,
> 
> This works in DrRacket:
> definitions window
> -------------------------
> #lang racket
> (module+ server
> (provide a-from-server)
> (define a-from-server 'a-from-server))
> 
> (module+ client
> (module server2 racket
> (provide b-from-server2)
> (define b-from-server2 'b-from-server2))
> 
> (require (submod ".." server))
> (provide (all-from-out (submod ".." server)))
> 
> (require 'server2)
> (provide (all-from-out (submod "." server2))))
> 
> (module+ main
> (require (submod ".." client))
> a-from-server
> b-from-server2)
> 
> Results in interactions window
> ---------------
> >
> 'a-from-server
> 'b-from-server2
> 
> BUT the following gives me the error: "all-from-out: no corresponding
> require in: (quote server2)"
> Could someone explain why I'm getting this error.
> 
> Definitions window
> ------------------
> #lang racket
> (module+ server
> (provide a-from-server)
> (define a-from-server 'a-from-server))
> 
> (module+ client
> (module server2 racket
> (provide b-from-server2)
> (define b-from-server2 'b-from-server2))
> 
> (require (submod ".." server))
> (provide (all-from-out (submod ".." server)))
> 
> (require 'server2)
> (provide (all-from-out 'server2)))  ;;;CHANGED (submod "." server2) TO
> 'server2
> 
> (module+ main
> (require (submod ".." client))
> a-from-server
> b-from-server2)
> 
> Thanks,
> Harry Spier
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users


Posted on the users mailing list.