On Thu, Aug 16, 2018 at 5:28 PM, Alexis King <lexi.lam...@gmail.com> wrote:

> > On Aug 16, 2018, at 15:25, David Storrs <david.sto...@gmail.com>
> > wrote:
> >
> > I see 'record-disappeared-uses' and 'with-disappeared-uses' in the
> > docs, but there's nothing that makes clear what you would use them
> > for.  Some digging around on the mailing list suggests that they allow
> > Dr Racket to draw an arrow to a relevant source location.  Do they
> > have any use outside of Dr Racket?
>
>
> They’re also utilized by racket-mode (since racket-mode uses the same
> Check Syntax implementation that DrRacket does), as well as a couple
> other tools that statically analyze Racket programs (such as Ryan’s
> check-requires tool). They are only used by tooling, and they do not
> otherwise affect the behavior of Racket programs, but they should be
> used by “well-behaved” macros so that various tools can understand
> things lost in the process of macroexpansion.
> [...]
>

 Thanks, that all makes sense.  I'll make sure to use it in future.

One more question:  Short of actually doing the full expansion and manually
inspecting the results, how do I know what's going to disappear?

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

Reply via email to