mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 04:44:39 +00:00
Estimated hours taken: 0.75 scripts/mdbrc.in: Alias EMPTY and NUMBER to "step", to simplify the code in mercury_trace_internal.c for handling those. trace/mercury_trace_internal.c: Split the very long and complicated function MR_trace_debug_cmd() into two, one of which contains all the before-and-after processing, and the other being the main command dispatch switch. Delete the special-case handling of EMPTY and NUMBER since it's now done by scripts/mdbrc.in. Add some recently-added command names to the list of valid commands.