10 Oct
2010
10 Oct
'10
4:17 a.m.
Apologies -- I was running a wrong snippet. Mark is working correctly,
I'll have another look...
On 10 October 2010 09:15, Stephen Tetley
Isn't mark is always increasing the size of the board? - I haven't run the code but I if this is the behaviour you want 'mark' is probably not a good name (I'd expect mark to be returning something the same size but with marked elements).
In _mark_ the before and after are always splits, so the concatenation on the first line of the definition of _mark_ is taking the splits and adding more between them thus expanding the board.