On Fri, Oct 25, 2019 at 11:31:41AM +0200, Niklas Larsson wrote: > Hi! > > If you right click on an identifier in drracket you get “jump to binding > occurrence” and “jump to definition” (if it’s defined in another file). Don’t > those do what you want?
Close. Using "jump to binding occurrence" gets me to the require line that provides me the symbol. I can then ask it to open that file, but if the other file just imports a number of other modules and provides all-from-out it still leaves me a bit lost. I turn out not to have "jump to definition" but "open defining file", which creates a new tab. Then I still have to search for the name I was looking for. But at least can find it. -- hendrik > > Regards, > Niklas > > > 24 okt. 2019 kl. 17:46 skrev Hendrik Boom <[email protected]>: > > > > What tools are there to help understand large Racket programs? > > > > I'm trying to grok the innards of Pict3D, which is, I believe, typed > > Racket. > > > > But I have difficulty finding bindings of symbols across many complex > > require's and provide's through many directories of source code. > > > > I'm looking for tools that work on a Linux system. I know that in > > principle I could install something like Microsoft's big fat > > development environment (which may have a plugin for Racket) > > but it would surpise me if there wasn't something relevant within the > > Racket ecosystem. > > > > If DrRacket already does this, I haven't found it. It does lovely > > graphics do show bindings, but I don't see how to follow those lines > > even to parts of the same file that happen to be out of the window > > area, let alone to other files. > > > > Does DrRacket also show the types of symbols or expressions in typed > > Racket? > > > > -- hendrik > > > > -- > > 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 [email protected]. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-users/20191024154608.f3n3parggb2t5ckj%40topoi.pooq.com. > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/3B855EDE-EE87-4D96-A6F3-35C5BCFF2D0A%40gmail.com. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20191111162958.ybiunmwlvj2hqj23%40topoi.pooq.com.
