From b39f21775a10d753b4f3a967497c80a89cf6844d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 31 May 2011 14:02:27 -0400 Subject: [PATCH] Add show-requires, which is friendlier on the eyes than check-requires. --- .../macro-debugger/analysis/check-requires.rkt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) 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 ====