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.
