[m-rev.] for review: delete read_term* from term_io.m

[Julien Fischer]

On Fri, 4 Mar 2022, Zoltan Somogyi wrote:

> 2022-03-04 12:11 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>>> There's a relationship between those two and samples/interpreter.m as
>>> well.
>
> I will have a look. I also modified the top comment in term_io.m
> to say that the "i" part is now done by mercury_term_parser.m.
>
>> I would also note that all three versions of that code are calling
>> predicates we obsoleted in 22.01 (e.g. io.see/4).
>
> I thought I replaced io.see/seen in the version I modified.

Sorry, you did -- I was looking at the version in samples.

Julien.