[m-rev.] diff: fix bugs with existential types & secondary tags

[Zoltan Somogyi]

On 30-Apr-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> What's the advantage in keeping the file tab-free?

If you keep the file tab-free, someone else (e.g. me) can edit the file by
setting ts=4, working away normally (which will insert 4-space tabs), and
then restore the file to its original tab-free state with "detab -4".

If you have 8-space tabs in the file, this doesn't work. By the time one finds
that the file has some 8-space tabs, one has also inserted some 4-space tabs,
and sorting out which tab stands for how many spaces must be done manually.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------