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