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
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
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
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
4 matches
Mail list logo