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

[Zoltan Somogyi]

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.

Zoltan.