[racket] tool: show module exports

If I can't have the integration with check syntax, can I get a variation on this: 

  the tool should act like F1 in DrRacket. 
  Click on a require path and press F1. 
  Instead of opening HelpDesk, however, 
  the tool opens a window and lists all exports from the module 
  (and ideally it should list them as hyperlinks that point to their documentation
   in a sense, that's why we have scribble, right?)

-- Matthias





On Jul 23, 2010, at 5:30 PM, Jon Rafkind wrote:

> On 07/22/2010 11:03 AM, Stephen De Gabrielle wrote:
>> This is cool,
>> 
>> I'm calling it from drracket, but it seems to be choking on mred-kernel.
>> 
> 
> I threw the tool up on planet for now: (require (planet "check.rkt" ("kazzmir" "check.plt" 1 0)))
> 
> It adds a command to raco so you can do
> $ raco extract foo.rkt
> 
> It will list all the imports from racket/base, which is a lot of stuff, so for now its probably best to use --exports to just get the export list.
> 
> $ raco extract --exports foo.rkt
> 
> Stephen, how were you running the tool from drracket? Maybe I'll make a simple button that runs the tool on the currently opened file in drracket.
> _________________________________________________
> For list-related administrative tasks:
> http://lists.racket-lang.org/listinfo/users