Re: [racket-users] reading code

2019-11-12 Thread Shu-Hung You
On Mon, Nov 11, 2019 at 10:30 AM Hendrik Boom  wrote:
>
> 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
>

After opening the defining file and after a little green dot shows up
at the bottom-right corner in DrRacket, the "Open Defining File" menu
item will become "Jump to Definition (in Other File)". That will let
you directly jump to the definition site.

(Sadly contract-out identifiers will still defeat Check Syntax.)

Shu-Hung

> >
> > Regards,
> > Niklas
> >
> > > 24 okt. 2019 kl. 17:46 skrev Hendrik Boom :
> > >
> > > 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/2019162958.ybiunmwlvj2hqj23%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/CAMTzy%2BbtV6simooivDAdJCiX-wmR-4bDveEeTuoLnZwuiFLbuA%40mail.gmail.com.


Re: [racket-users] reading code

2019-11-11 Thread Robby Findler
On Mon, Nov 11, 2019 at 10:30 AM Hendrik Boom  wrote:
>
> 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.

That menu item will become "jump to definition" if the file is already
open in another tab (and check syntax has had time to analyze that
tab's content).

Robby

-- 
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/CAL3TdOPYu3cxJ8jm%3DCgMKso37wSS54A0a6KjdpuX9XJ%3DN-pseg%40mail.gmail.com.


Re: [racket-users] reading code

2019-11-11 Thread Hendrik Boom
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 :
> > 
> > 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/2019162958.ybiunmwlvj2hqj23%40topoi.pooq.com.


Re: [racket-users] reading code

2019-10-25 Thread Niklas Larsson
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?

Regards,
Niklas

> 24 okt. 2019 kl. 17:46 skrev Hendrik Boom :
> 
> 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.


[racket-users] reading code

2019-10-24 Thread Hendrik Boom
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.