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

Zoltan Somogyi zoltan.somogyi at runbox.com
Fri Mar 4 16:54:30 AEDT 2022


2022-03-04 14:47 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>>> If not, I suggest to delete it.
>>
>> I am ambivalent, but wouldn't object. Julien?
> 
> No objections from me.

Ok, the attached diff deletes this test case, as well as some
related files. Speak up before midnight if you object to me
committing this diff.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.inter2
Type: application/octet-stream
Size: 1119 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220304/503efd38/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.inter2
Type: application/octet-stream
Size: 45497 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220304/503efd38/attachment-0003.obj>


More information about the reviews mailing list