The code is in drracket/private/tools.rkt; I think that that value (the thing inside the outer listof) ends up in the `spec` field of an `installed-tool` field and my read of the code suggests that it should be (or/c string? (listof string?)), but I'm not completely confident in that.
Robby On Sun, Oct 22, 2017 at 10:11 PM, 'John Clements' via Racket Users <racket-users@googlegroups.com> wrote: > The documentation currently states: > > "When DrRacket starts up, it looks for tools by reading fields in the > info.rkt file of each collection and the newest version of each PLaneT > package installed on the system. (Technically, DrRacket looks in a cache of > the "info.rkt" files contents created by raco setup. Be sure to re-run raco > setup if you change the contents of the info.rkt files). DrRacket checks for > these fields: > • drracket-tools: (listof (listof string [subcollection-name])) > > • drracket-tool-names: (listof (or/c #f string)) > “ > > I think this should instead be > > • drracket-tools: (listof (list/c string [subcollection-name])) > > …where the inner ‘listof’ is replaced by ‘list/c’. Is this correct? If so, I > can make a pull request. > > John Clements > > > > -- > 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 racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
