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
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
