[m-rev.] for review: io.primitives_{read,write}.m

Zoltan Somogyi zoltan.somogyi at runbox.com
Sat Mar 12 15:07:19 AEDT 2022


I just noticed that two of the predicates moved to io.primitives_read.m,
putback_byte_2 and putback_uint8_2, seem to have identical implementations.
One should be deleted with all uses replaced by the other, but which one
should stay? I don't care, but we should pick just one.

Zoltan.


More information about the reviews mailing list