[racket-users] How do I use fetch-blueboxes-strs?

2016-01-14 Thread Jack Firth
fetch-blueboxes-strs claims in its documentation it can get the text of a Scribble bluebox, but I have no idea how to actually use it. Attempting to get the bluebox content of "list-ref", the following all either fail or return #f: (fetch-blueboxes-strs 'list-ref) (fetch-blueboxes-strs

Re: [racket-users] How do I use fetch-blueboxes-strs?

2016-01-14 Thread Robby Findler
This code: https://github.com/racket/drracket/blob/master/drracket/drracket/private/syncheck/blueboxes-gui.rkt#L526-L545 builds a tag from a string (and some hints about the module that exports it). Maybe looking at it and putting a few printfs into will help? It's called when you move the

Re: [racket-users] How do I use fetch-blueboxes-strs?

2016-01-14 Thread Jack Firth
Ah hah! Thanks for that link Robby. The appropriate definition tag for list-ref is '(def ('#%kernel list-ref)). Extracted this function for figuring out the definition tag of an identifier in an installed module: (define (find-definition-tag identifier) (xref-binding->definition-tag

Re: [racket-users] How do I use fetch-blueboxes-strs?

2016-01-14 Thread Robby Findler
It may be that the docs have not been built? Did you try running "raco setup" (with no arguments, or perhaps with "-xi" if you have drracket open). Robby On Thu, Jan 14, 2016 at 5:28 PM, Jack Firth wrote: > Ah hah! Thanks for that link Robby. The appropriate definition tag