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 <hend...@topoi.pooq.com>: > > > > 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 racket-users+unsubscr...@googlegroups.com. > > 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20191111162958.ybiunmwlvj2hqj23%40topoi.pooq.com.
