I just pushed the new UI, along with Ben's suggestions. Give it a try, and let me know what you think!
Vincent On Tue, 05 Jan 2016 17:06:07 -0600, Vincent St-Amour wrote: > > > I'm considering a change to the UI of the contract profiler, and would > like opinions from people using it. > > As of 6.3, the contract profiler emits its various reports in a few > separate files, whose names are hard-coded. This is (IMO) a UI > disaster, which makes the profiler harder to use. > > As of HEAD, the situation is slightly better; file names can be > specified, individual reports can be enabled/disabled, and the main > report (the cost breakdown) has the option to be produced on standard > output (as the regular Racket profiler does). This change was fully > backwards compatible, but still does not result in a great UI. This > change has also not been part of a release yet. > > > For the next release, I'm considering redesigning this part of the > contract profiler UI. Specifically, I'm proposing: > > - Emitting the cost breakdown on standard output, like the regular > Racket profiler. > - Disabling alternative views (module view and boundary view) by > default. > - Allow enabling alternative views individually, and specifying their > output files. > - Disabling output of intermediate graphviz files by default, even > when alternative views are enabled, with the option to enable them. > > As a result, the contract profiler would not produce any output files > unless it's explicitly asked to, and instead emit its main output to > standard output. All the existing reports would still be available, but > some would not be shown by default, emphasizing the most-often-useful > one. > > > I think this change would make the contract profiler easier and faster > to use, especially for quick tests. > > This change, however, is not fully backwards compatible. Mind you, it is > a UI change; the API to the contract profiler remains unchanged. But if > you have scripts that depend on the location of the profiler's output, > they would need to change. > > > Any opinions? > > I'd like to make this change before the release, so timely replies would > be appreciated. :) > > Vincent > > -- > 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
