[m-dev.] for review: add MR_virtual_hp, MR_virtual_sp, etc.

[Andrew Bromage]

G'day all.

Fergus Henderson wrote:

> The tabs are OK if you take out the `+' inserted by diff.
>  
> (Perhaps we should use `diff --initial-tab', so that the tabs line up
> properly in the diffs; but the initial tab takes up an extra 7
> characters, which would mean that a lot more lines in the diff would
> wrap, which can be equally confusing.)

I think that `diff --expand-tabs' (same as `diff -t') might be a better
option.  The diffs will take up more bytes, but fewer lines will wrap.
Of course, this will make applying posted diffs as patches harder.

Cheers,
Andrew Bromage