> - there is no 'per line' comment (like Ada's "--" or C++'s "//" ) ? 

I too think this is a must.  It may not quite accord with the personal 
tastes of the CaML implementors, but many good programmers use this
extensively in their in-line documentation.  I figure they should be 
able to transfer their "existing practice" when they make the switch to 
CaML, just to make the switch as painless as possible.

Cheers,
Don Syme


-- 
-----------------------------------------------------------------------------
At the lab:                                          At home:
The Computer Laboratory                              Trinity Hall
New Museums Site                                     CB2 1TJ
University of Cambridge                              Cambridge, UK
CB2 3QG, Cambridge, UK
Ph: +44 (0) 1223 334688                              Ph: +44 (0) 1223 563783
http://www.cl.cam.ac.uk/users/drs1004/
email: drs1004@cl.cam.ac.uk
-----------------------------------------------------------------------------