mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
814b34366a
This is a generalisation of the write_tabbed_lines predicate that mmc
and mcov use to print their usage messages. (In a later change other
programs in the Mercury system will be changed to use it as well.)
library/io.m:
Add the new predicates.
compiler/options.m:
slice/mcov.m:
Use write_prefixed_lines in place of write_tabbed lines
and delete the latter.
NEWS.md:
Announce the addition.