[m-rev.] for review: codepoint -> code_point in string.m

[Julien Fischer]

On Thu, 2 Feb 2023, Zoltan Somogyi wrote:

> Prepare to s/codepoint/code_point/ in string.m.
> 
> library/string.m:
>     For each predicate and function whose name includes "codepoint",
>
>     - create a version in which "codepoint" is replaced by "code_point",
>     - make this version the main implementation, making the "codepoint"
>       versions forward to the "code_point" versions,
>     - add obsolete pragmas for the "codepoint" versions, though these are
>       commented out for now. This is so that an installed compiler containing
>       this change will already have the recommented alternative available
>       when the commenting-out is removed (maybe in a week or so).
> 
> NEWS.md:
>     Announce the new predicates and functions.
> 
> compiler/c_util.m:
> compiler/const_prop.m:
> compiler/inst_check.m:
> compiler/parse_tree_out_term.m:
> compiler/structure_reuse.direct.choose_reuse.m:
> compiler/write_error_spec.m:
> library/pprint.m:
> library/pretty_printer.m:
> library/string.format.m:
>     Replace all uses of the "codepoint" versions with the "code_point"
>     versions.

That's fine.

Julien.