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

It works for me too. There may be something different somehow with our setups, but I'm not sure what. Robby On Thu, Jan 14, 2016 at 7:17 PM, Jack Firth wrote: > Samth's example doesn't work for me, even after raco setup -xl. I'm on > version 6.3 > > -- > You received this

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

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?

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?

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

[racket-users] Thanks for 6.4 changes

Just a thanks to everyone that was involved in 6.4, but right off the bat, I see the following things that affect me positively 1) The Cheat Sheet at the top of the doc. Thanks to that, I've just discovered cfg-parser. 2) I had asked for better release notes and here they are. 3) Noticeably

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

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

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

Samth's example doesn't work for me, even after raco setup -xl. I'm on version 6.3 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to