Sat, 28 Jul 2001 22:01:47 -0500
Sounds good, although I really hate program that write to files provided as
arguments in general. How about having
just write to standard output, and if any argument is given it reads from it,
but otherwise stdin. (I don't care to much about the reading, but the
writing can be significant).
Actually, is the check really any faster than comparing the output?
I.e., have a single program which just takes SML/NG on stdin and produces some
encoded meaning on stdout such that identical meanings will be bit-for-bit
identical. Now I can save the meaning and just do the compared myself.
I guess to be safe I would do it each time I find a smaller file in the
directory before I remove the old winner.