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.
