diff --git a/collects/macro-debugger/analysis/check-requires.rkt b/collects/macro-debugger/analysis/check-requires.rkt index 632f85ff45..95d223299e 100644 --- a/collects/macro-debugger/analysis/check-requires.rkt +++ b/collects/macro-debugger/analysis/check-requires.rkt @@ -12,6 +12,7 @@ "private/util.rkt") (provide/contract [check-requires (-> module-path? list?)] + [show-requires (-> module-path? list?)] [add-disappeared-uses? (parameter/c boolean?)] [mpi->key (-> module-path-index? any/c)]) @@ -315,6 +316,21 @@ A recommendation is one of (analyze deriv refs) (nom-use-alg refs compiled)))) +#| +A displayed-recommendation is one of + (list 'keep string phase string/#f) + (list 'bypass string phase) + (list 'drop string phase) +A displayed-recommendation is similar to a recommendation, but prints +out the module-path-index for easier user consumption. +|# + +;; show-requires: module-path -> (listof displayed-recommendation) +(define (show-requires mod-path) + (map (match-lambda [(list-rest key mpi rest) + (list* key (mpi->key mpi) rest)]) + (check-requires mod-path))) + #| TODO ====