[m-dev.] io__write et al

[Fergus Henderson]

Peter Schachte, you wrote:
> 
> Looks good; one off-topic comment:
> 
> > `io__print' is what you teach first years and what you use for
> 
> Shouldn't we start encouraging the notation `io:print'?

No.  That notation should be DIScouraged, because it is going to change
to `io.print'.  But of course we shouldn't start encouraging the notatino
`io.print' until after we have implemented it...

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.