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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
