Re: [racket-users] refactoring help/tools?

[Daniel Feltey]

For those not tracking the DrRacket github repo, this feature is now
available in the Racket snapshot builds.

https://plt.eecs.northwestern.edu/snapshots/

Thanks,
Dan

On Wed, Mar 22, 2017 at 5:17 PM, Daniel Feltey  wrote:

> I think I've finally got something working within DrRacket so I've just
> pushed a change to check-syntax[1] which adds a `Remove Unused Requires`
> right-click menu item to DrRacket which will remove all requires which
> check-syntax marks as unused.
>
> If you're using DrRacket from github, I'd appreciate any feedback you
> might on the tool or how it could be improved.
>
> [1]: https://github.com/racket/drracket/commit/
> 10ac8e7d91c4d7ae7ba2dc6d929a7ec7ed9fe186
>
> Thanks
> Dan
>
> On Mon, Mar 13, 2017 at 9:43 PM, Daniel Feltey 
> wrote:
>
>> I've started working on adding this refactoring to DrRacket[1], it's not
>> quite as full-featured(and is definitely still a bit buggy) as what
>> racket-mode in emacs seems to allow, but it's a first step and I'd
>> appreciate suggestions or requests on how DrRacket can better support
>> developers editing and refactoring code.
>>
>> [1] https://github.com/racket/drracket/pull/97
>>
>> Dan
>>
>> On Mon, Mar 13, 2017 at 7:30 PM, Greg Hendershott <
>> greghendersh...@gmail.com> wrote:
>>
>>> The `racket-trim-requires` and `racket-base-requires` commands use
>>> `raco check-requires` behind the scenes (then format/sort as does
>>> `racket-tidy-requires`).
>>>
>>> Today I tried to use `racket-trim-requires` on a Typed Racket file
>>> containing `define-type`; and got the error you mention. This turned
>>> out to be an issue with `raco check-requires`; thanks to a hint from
>>> Sam on Slack, I pushed a a PR that Ryan merged:
>>>
>>>   https://github.com/racket/macro-debugger/pull/22
>>>
>>> I just now saw this thread, which is weird timing!
>>>
>>> I'd welcome hearing any other examples where racket-{tidy
>>> base}-requires doesn't work -- and `raco check-requires` on that same
>>> file works or not. (Of course I'd also understand if folks are too
>>> busy to detour to report them.)
>>>
>>>
>>> On Mon, Mar 13, 2017 at 1:50 PM, Dan Liebgold
>>>  wrote:
>>> > raco check-requires does the job.
>>> >
>>> > I use emacs racket-mode, but it's hobbled in ways I haven't
>>> investigated -- e.g. when I try to use tidy or trim requires it gives me a
>>> "Can't do, source file has error" when it doesn't, or at least not in a way
>>> I can see.
>>> >
>>> > --
>>> > 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.
>>>
>>> --
>>> 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.
>>>
>>
>>
>

-- 
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.

Re: [racket-users] refactoring help/tools?

[Daniel Feltey]

I think I've finally got something working within DrRacket so I've just
pushed a change to check-syntax[1] which adds a `Remove Unused Requires`
right-click menu item to DrRacket which will remove all requires which
check-syntax marks as unused.

If you're using DrRacket from github, I'd appreciate any feedback you might
on the tool or how it could be improved.

[1]:
https://github.com/racket/drracket/commit/10ac8e7d91c4d7ae7ba2dc6d929a7ec7ed9fe186

Thanks
Dan

On Mon, Mar 13, 2017 at 9:43 PM, Daniel Feltey  wrote:

> I've started working on adding this refactoring to DrRacket[1], it's not
> quite as full-featured(and is definitely still a bit buggy) as what
> racket-mode in emacs seems to allow, but it's a first step and I'd
> appreciate suggestions or requests on how DrRacket can better support
> developers editing and refactoring code.
>
> [1] https://github.com/racket/drracket/pull/97
>
> Dan
>
> On Mon, Mar 13, 2017 at 7:30 PM, Greg Hendershott <
> greghendersh...@gmail.com> wrote:
>
>> The `racket-trim-requires` and `racket-base-requires` commands use
>> `raco check-requires` behind the scenes (then format/sort as does
>> `racket-tidy-requires`).
>>
>> Today I tried to use `racket-trim-requires` on a Typed Racket file
>> containing `define-type`; and got the error you mention. This turned
>> out to be an issue with `raco check-requires`; thanks to a hint from
>> Sam on Slack, I pushed a a PR that Ryan merged:
>>
>>   https://github.com/racket/macro-debugger/pull/22
>>
>> I just now saw this thread, which is weird timing!
>>
>> I'd welcome hearing any other examples where racket-{tidy
>> base}-requires doesn't work -- and `raco check-requires` on that same
>> file works or not. (Of course I'd also understand if folks are too
>> busy to detour to report them.)
>>
>>
>> On Mon, Mar 13, 2017 at 1:50 PM, Dan Liebgold
>>  wrote:
>> > raco check-requires does the job.
>> >
>> > I use emacs racket-mode, but it's hobbled in ways I haven't
>> investigated -- e.g. when I try to use tidy or trim requires it gives me a
>> "Can't do, source file has error" when it doesn't, or at least not in a way
>> I can see.
>> >
>> > --
>> > 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.
>>
>> --
>> 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.
>>
>
>

-- 
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.

Re: [racket-users] refactoring help/tools?

[Daniel Feltey]

I've started working on adding this refactoring to DrRacket[1], it's not
quite as full-featured(and is definitely still a bit buggy) as what
racket-mode in emacs seems to allow, but it's a first step and I'd
appreciate suggestions or requests on how DrRacket can better support
developers editing and refactoring code.

[1] https://github.com/racket/drracket/pull/97

Dan

On Mon, Mar 13, 2017 at 7:30 PM, Greg Hendershott  wrote:

> The `racket-trim-requires` and `racket-base-requires` commands use
> `raco check-requires` behind the scenes (then format/sort as does
> `racket-tidy-requires`).
>
> Today I tried to use `racket-trim-requires` on a Typed Racket file
> containing `define-type`; and got the error you mention. This turned
> out to be an issue with `raco check-requires`; thanks to a hint from
> Sam on Slack, I pushed a a PR that Ryan merged:
>
>   https://github.com/racket/macro-debugger/pull/22
>
> I just now saw this thread, which is weird timing!
>
> I'd welcome hearing any other examples where racket-{tidy
> base}-requires doesn't work -- and `raco check-requires` on that same
> file works or not. (Of course I'd also understand if folks are too
> busy to detour to report them.)
>
>
> On Mon, Mar 13, 2017 at 1:50 PM, Dan Liebgold
>  wrote:
> > raco check-requires does the job.
> >
> > I use emacs racket-mode, but it's hobbled in ways I haven't investigated
> -- e.g. when I try to use tidy or trim requires it gives me a "Can't do,
> source file has error" when it doesn't, or at least not in a way I can see.
> >
> > --
> > 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.
>
> --
> 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.
>

-- 
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.

Re: [racket-users] refactoring help/tools?

[Greg Hendershott]

The `racket-trim-requires` and `racket-base-requires` commands use
`raco check-requires` behind the scenes (then format/sort as does
`racket-tidy-requires`).

Today I tried to use `racket-trim-requires` on a Typed Racket file
containing `define-type`; and got the error you mention. This turned
out to be an issue with `raco check-requires`; thanks to a hint from
Sam on Slack, I pushed a a PR that Ryan merged:

  https://github.com/racket/macro-debugger/pull/22

I just now saw this thread, which is weird timing!

I'd welcome hearing any other examples where racket-{tidy
base}-requires doesn't work -- and `raco check-requires` on that same
file works or not. (Of course I'd also understand if folks are too
busy to detour to report them.)


On Mon, Mar 13, 2017 at 1:50 PM, Dan Liebgold
 wrote:
> raco check-requires does the job.
>
> I use emacs racket-mode, but it's hobbled in ways I haven't investigated -- 
> e.g. when I try to use tidy or trim requires it gives me a "Can't do, source 
> file has error" when it doesn't, or at least not in a way I can see.
>
> --
> 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.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Matthias Felleisen]

> On Mar 13, 2017, at 5:26 PM, Stephen De Gabrielle  
> wrote:
> 
> Do you mean a drracket plugin that
> i. Expands #lang racket into racket/base and requires, 
> ii. removes the unneeded requires


I am sure that one day soon someone will write a dissertation that 

 (1) collects a catalogue of common and Racket-specific refactorings 
 (2) comes with a new language for stating the pre-conditions for these 
refactorings 
 (3) and uses the syntax system to implement these refactorings. 

All 3 bullets contribute new knowledge and possibly portable knowledge, so it 
must be in the makings, somewhere. 

-- 
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.

Re: [racket-users] refactoring help/tools?

[Stephen De Gabrielle]

Sorry  - I meant to reply all. My questions weren't directed at anyone
specific.
S.

On Mon, 13 Mar 2017 at 21:24, Stephen De Gabrielle 
wrote:

> Do you mean a drracket plugin that
> i. Expands #lang racket into racket/base and requires,
> ii. removes the unneeded requires
>
> Should there be a complimentary function that suggests and adds requires
> if an error triggers for an undefined function?
>
> Are there any other gaps between DrRacket and Emacs? (specifically for
> Racket dev/languages - I'm not suggesting org-mode or anything like that)
>
> Is it easier to develop extensions to Emacs than plugins for DrRacket?
>
> Kind regards
>
> Stephen
>
> On Mon, 13 Mar 2017 at 18:20, Matthias Felleisen 
> wrote:
>
>
> I know that one. I want the refactoring.
>
>
> > On Mar 13, 2017, at 1:40 PM, Robby Findler 
> wrote:
> >
> > Not the same thing, but if you mouse over the requires in DrRacket, it
> > will put a red background on the ones that have no apparent use (of
> > course, requires may have an effect too; neither tool picks that up,
> > IIUC).
> >
> > Robby
> >
> >
> > On Mon, Mar 13, 2017 at 12:38 PM, Jay McCarthy 
> wrote:
> >> Actually it is the trim option. I prefer racket-base-requires though
> >>
> >> Jay
> >>
> >> On Mon, Mar 13, 2017 at 1:37 PM Jay McCarthy 
> wrote:
> >>>
> >>> M-x racket-tidy-requires
> >>>
> >>> Jay
> >>>
> >>> On Mon, Mar 13, 2017 at 1:29 PM Matthias Felleisen <
> matth...@ccs.neu.edu>
> >>> wrote:
> 
> 
>  Does Emacs really give you this refactoring? If so, I may have to
>  reconsider DrRacket.
> 
> 
> > On Mar 13, 2017, at 1:18 PM, Jay McCarthy 
> > wrote:
> >
> > racket-mode in Emacs does this
> >
> > Jay
> >
> > On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold
> >  wrote:
> > Hi -
> >
> > In refactoring a some Racket code I'd love to have a "require and
> > provide only what you need" tool to help trim down the require and
> provide
> > lists. Is there such a thing? Or at least a better approach for this
> than
> > inspection or trial and error?
> >
> > Thanks,
> > Dna
> >
> > --
> > 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.
> > --
> > -=[ Jay McCarthy   http://jeapostrophe.github.io
> ]=-
> > -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> > -=[ Moses 1:33: And worlds without number have I created; ]=-
> >
> > --
> > 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.
> 
> >>> --
> >>> -=[ Jay McCarthy   http://jeapostrophe.github.io
> ]=-
> >>> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> >>> -=[ Moses 1:33: And worlds without number have I created; ]=-
> >>
> >> --
> >> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> >> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> >> -=[ Moses 1:33: And worlds without number have I created; ]=-
> >>
> >> --
> >> 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.
>
> --
> 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.
>
> --
> Kind regards,
> Stephen
> --
>
-- 
Kind regards,
Stephen
--

-- 
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.

Re: [racket-users] refactoring help/tools?

[Matthias Felleisen]

I know that one. I want the refactoring. 


> On Mar 13, 2017, at 1:40 PM, Robby Findler  
> wrote:
> 
> Not the same thing, but if you mouse over the requires in DrRacket, it
> will put a red background on the ones that have no apparent use (of
> course, requires may have an effect too; neither tool picks that up,
> IIUC).
> 
> Robby
> 
> 
> On Mon, Mar 13, 2017 at 12:38 PM, Jay McCarthy  wrote:
>> Actually it is the trim option. I prefer racket-base-requires though
>> 
>> Jay
>> 
>> On Mon, Mar 13, 2017 at 1:37 PM Jay McCarthy  wrote:
>>> 
>>> M-x racket-tidy-requires
>>> 
>>> Jay
>>> 
>>> On Mon, Mar 13, 2017 at 1:29 PM Matthias Felleisen 
>>> wrote:
 
 
 Does Emacs really give you this refactoring? If so, I may have to
 reconsider DrRacket.
 
 
> On Mar 13, 2017, at 1:18 PM, Jay McCarthy 
> wrote:
> 
> racket-mode in Emacs does this
> 
> Jay
> 
> On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold
>  wrote:
> Hi -
> 
> In refactoring a some Racket code I'd love to have a "require and
> provide only what you need" tool to help trim down the require and provide
> lists. Is there such a thing? Or at least a better approach for this than
> inspection or trial and error?
> 
> Thanks,
> Dna
> 
> --
> 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.
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
> 
> --
> 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.
 
>>> --
>>> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
>>> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
>>> -=[ Moses 1:33: And worlds without number have I created; ]=-
>> 
>> --
>> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
>> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
>> -=[ Moses 1:33: And worlds without number have I created; ]=-
>> 
>> --
>> 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.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Robby Findler]

The bubble in the bottom right corner turns green when it is done (or
red, if it found an error).

Robby


On Mon, Mar 13, 2017 at 12:52 PM, Dan Liebgold
 wrote:
> On Monday, March 13, 2017 at 10:40:15 AM UTC-7, Robby Findler wrote:
>> Not the same thing, but if you mouse over the requires in DrRacket, it
>> will put a red background on the ones that have no apparent use (of
>> course, requires may have an effect too; neither tool picks that up,
>> IIUC).
>>
>
> That is useful... I hadn't realized that.  It would be nice if there were 
> some indication that DrRacket is still background compiling, because I tend 
> to not get arrows for awhile and usually chalk it up to my files being in a 
> bad state.
>
> --
> 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.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Dan Liebgold]

On Monday, March 13, 2017 at 10:40:15 AM UTC-7, Robby Findler wrote:
> Not the same thing, but if you mouse over the requires in DrRacket, it
> will put a red background on the ones that have no apparent use (of
> course, requires may have an effect too; neither tool picks that up,
> IIUC).
> 

That is useful... I hadn't realized that.  It would be nice if there were some 
indication that DrRacket is still background compiling, because I tend to not 
get arrows for awhile and usually chalk it up to my files being in a bad state.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Dan Liebgold]

raco check-requires does the job.

I use emacs racket-mode, but it's hobbled in ways I haven't investigated -- 
e.g. when I try to use tidy or trim requires it gives me a "Can't do, source 
file has error" when it doesn't, or at least not in a way I can see.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Robby Findler]

Not the same thing, but if you mouse over the requires in DrRacket, it
will put a red background on the ones that have no apparent use (of
course, requires may have an effect too; neither tool picks that up,
IIUC).

Robby


On Mon, Mar 13, 2017 at 12:38 PM, Jay McCarthy  wrote:
> Actually it is the trim option. I prefer racket-base-requires though
>
> Jay
>
> On Mon, Mar 13, 2017 at 1:37 PM Jay McCarthy  wrote:
>>
>> M-x racket-tidy-requires
>>
>> Jay
>>
>> On Mon, Mar 13, 2017 at 1:29 PM Matthias Felleisen 
>> wrote:
>>>
>>>
>>> Does Emacs really give you this refactoring? If so, I may have to
>>> reconsider DrRacket.
>>>
>>>
>>> > On Mar 13, 2017, at 1:18 PM, Jay McCarthy 
>>> > wrote:
>>> >
>>> > racket-mode in Emacs does this
>>> >
>>> > Jay
>>> >
>>> > On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold
>>> >  wrote:
>>> > Hi -
>>> >
>>> > In refactoring a some Racket code I'd love to have a "require and
>>> > provide only what you need" tool to help trim down the require and provide
>>> > lists. Is there such a thing? Or at least a better approach for this than
>>> > inspection or trial and error?
>>> >
>>> > Thanks,
>>> > Dna
>>> >
>>> > --
>>> > 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.
>>> > --
>>> > -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
>>> > -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
>>> > -=[ Moses 1:33: And worlds without number have I created; ]=-
>>> >
>>> > --
>>> > 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.
>>>
>> --
>> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
>> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
>> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
> --
> 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.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Jay McCarthy]

Actually it is the trim option. I prefer racket-base-requires though

Jay

On Mon, Mar 13, 2017 at 1:37 PM Jay McCarthy  wrote:

> M-x racket-tidy-requires
>
> Jay
>
> On Mon, Mar 13, 2017 at 1:29 PM Matthias Felleisen 
> wrote:
>
>
> Does Emacs really give you this refactoring? If so, I may have to
> reconsider DrRacket.
>
>
> > On Mar 13, 2017, at 1:18 PM, Jay McCarthy 
> wrote:
> >
> > racket-mode in Emacs does this
> >
> > Jay
> >
> > On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold <
> dan_liebg...@naughtydog.com> wrote:
> > Hi -
> >
> > In refactoring a some Racket code I'd love to have a "require and
> provide only what you need" tool to help trim down the require and provide
> lists. Is there such a thing? Or at least a better approach for this than
> inspection or trial and error?
> >
> > Thanks,
> > Dna
> >
> > --
> > 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.
> > --
> > -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> > -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> > -=[ Moses 1:33: And worlds without number have I created; ]=-
> >
> > --
> > 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.
>
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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.

Re: [racket-users] refactoring help/tools?

[Jay McCarthy]

M-x racket-tidy-requires

Jay

On Mon, Mar 13, 2017 at 1:29 PM Matthias Felleisen 
wrote:

>
> Does Emacs really give you this refactoring? If so, I may have to
> reconsider DrRacket.
>
>
> > On Mar 13, 2017, at 1:18 PM, Jay McCarthy 
> wrote:
> >
> > racket-mode in Emacs does this
> >
> > Jay
> >
> > On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold <
> dan_liebg...@naughtydog.com> wrote:
> > Hi -
> >
> > In refactoring a some Racket code I'd love to have a "require and
> provide only what you need" tool to help trim down the require and provide
> lists. Is there such a thing? Or at least a better approach for this than
> inspection or trial and error?
> >
> > Thanks,
> > Dna
> >
> > --
> > 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.
> > --
> > -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> > -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> > -=[ Moses 1:33: And worlds without number have I created; ]=-
> >
> > --
> > 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.
>
> --
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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.

Re: [racket-users] refactoring help/tools?

[Philip McGrath]

raco check-requires might do some of what you want.

-Philip

On Mon, Mar 13, 2017 at 12:18 PM, Jay McCarthy 
wrote:

> racket-mode in Emacs does this
>
> Jay
>
> On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold 
> wrote:
>
>> Hi -
>>
>> In refactoring a some Racket code I'd love to have a "require and provide
>> only what you need" tool to help trim down the require and provide lists.
>> Is there such a thing? Or at least a better approach for this than
>> inspection or trial and error?
>>
>> Thanks,
>> Dna
>>
>> --
>> 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.
>>
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
> --
> 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.
>

-- 
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.

Re: [racket-users] refactoring help/tools?

[Matthias Felleisen]

Does Emacs really give you this refactoring? If so, I may have to reconsider 
DrRacket. 


> On Mar 13, 2017, at 1:18 PM, Jay McCarthy  wrote:
> 
> racket-mode in Emacs does this
> 
> Jay
> 
> On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold  
> wrote:
> Hi -
> 
> In refactoring a some Racket code I'd love to have a "require and provide 
> only what you need" tool to help trim down the require and provide lists. Is 
> there such a thing? Or at least a better approach for this than inspection or 
> trial and error?
> 
> Thanks,
> Dna
> 
> --
> 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.
> -- 
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
> 
> -- 
> 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.

-- 
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.

Re: [racket-users] refactoring help/tools?

[Jay McCarthy]

racket-mode in Emacs does this

Jay

On Mon, Mar 13, 2017 at 1:17 PM Dan Liebgold 
wrote:

> Hi -
>
> In refactoring a some Racket code I'd love to have a "require and provide
> only what you need" tool to help trim down the require and provide lists.
> Is there such a thing? Or at least a better approach for this than
> inspection or trial and error?
>
> Thanks,
> Dna
>
> --
> 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.
>
-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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.

[racket-users] refactoring help/tools?

[Dan Liebgold]

Hi -

In refactoring a some Racket code I'd love to have a "require and provide only 
what you need" tool to help trim down the require and provide lists. Is there 
such a thing? Or at least a better approach for this than inspection or trial 
and error?

Thanks,
Dna

-- 
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.