racket/collects/macro-debugger/model
Ryan Culpepper 755cedc5ef improved check-requires
Added option to list the names used by each KEEP or BYPASS module
and indicate how used (as reference, in syntax template, etc).

Improved BYPASS; it now gives a list of suggested replacements
(and, optionally, what dependencies each replacement satisfies).

Incompatibly changed exports of macro-debugger/analysis/check-requires;
the new analysis result type is too complicated (and volatile, still)
to document for 0 other clients; focus on the script/output instead.

Removed check-requires-script.rkt.

Updated module whitelist.

Fixed syntax-local-value when identifier later used in def ctx
(destroyed binding information). This manifested as missed references
to modules that does define-local-member-name.

Fixed identifiers without syntax-source-module such as intro'd by
unit-from-context. This manifested as missed references to modules
that provided bindings used by unit-from-context forms.
2011-09-27 19:28:44 -06:00
..
context.rkt macro-stepper: more work on syntax tainting 2011-07-02 23:32:02 -06:00
debug.rkt macro-stepper: replaced {scheme -> racket}, {*.ss -> *.rkt}, etc 2010-07-01 17:05:06 -06:00
deriv-c.rkt improved check-requires 2011-09-27 19:28:44 -06:00
deriv-parser.rkt improved check-requires 2011-09-27 19:28:44 -06:00
deriv-tokens.rkt improved check-requires 2011-09-27 19:28:44 -06:00
deriv-util.rkt removed useless requires 2010-09-03 13:53:42 -06:00
deriv.rkt removed useless requires 2010-09-03 13:53:42 -06:00
hiding-policies.rkt fix warnings 2011-05-11 15:56:24 -06:00
reductions-config.rkt macro-stepper: track phase of binders, definites 2010-11-09 17:02:35 -07:00
reductions-engine.rkt macro-stepper: first step to making macro stepper aware of syntax tainting 2011-07-02 23:32:02 -06:00
reductions.rkt improved check-requires 2011-09-27 19:28:44 -06:00
steps.rkt removed useless requires 2010-09-03 13:53:42 -06:00
stx-util.rkt macro-stepper: more work on syntax tainting 2011-07-02 23:32:02 -06:00
trace-raw.rkt remove undocumented export (macro-debugger) 2011-04-25 21:55:42 -06:00
trace.rkt improved check-requires 2011-09-27 19:28:44 -06:00
yacc-ext.rkt macro-stepper: replaced {scheme -> racket}, {*.ss -> *.rkt}, etc 2010-07-01 17:05:06 -06:00
yacc-interrupted.rkt created racket/syntax from parts of unstable/syntax 2011-04-07 09:47:20 -06:00