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

Peter Wang novalazy at gmail.com
Fri Mar 4 13:48:53 AEDT 2022


On Fri, 04 Mar 2022 05:33:48 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> Another question is: should I make tests/general/interpreter.m
> read-only, dependent on tests/debugger/interpreter.m, and copied
> over from that file (after a temporaryt chmod) if that file ever changes?
> I think the answer to that should be "yes".

Does tests/general/interpreter.m serve any purpose any more?
If not, I suggest to delete it.

Peter


More information about the reviews mailing list