mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
f4c2b62176
library/mercury_term_lexer.m:
Convert any occurrences of the \e escape sequence to the escape character.
List all the places in the library, compiler and runtime that also handle
escape sequences, some of which handle all these sequences,
and some of which handle only subsets.
Sort the letters in recognized escape sequences.
compiler/parse_tree_out_pragma.m:
library/rtti_implementation.m:
library/term_io.m:
Add comments to all the other places that handle escape sequences
that direct readers to mercury_term_lexer.m as containing the master list
of such sequences.
Add commented-out code that, after stage 1 has been installed,
stage 2 should enable.
runtime/mercury_ml_expand_body.h:
runtime/mercury_string.c:
Turn escape characters back into their escape sequence form
for characters and strings.
tests/valid_seq/char_escape_opt_helper_1.m:
Test whether the compiler accepts \e as an escape sequence.
compiler/options.m:
Add a mechanism for detecting the presence of this diff in the
installed compiler.