> > The worst thing wrong with this convention in Make is that \t and eight
> > spaces look the same but mean different.  Nothing like that is being
> > proposed here.  
> 
> I'm afraid it is. The notion of two things being at the `same indentation
> level' is dependent on the number of spaces which \t expands into, isn't
> it?

I see this as a minor problem.  After all, the only indentation levels
that are likely to matter for this application are zero and nonzero!

Still, I'm not all that opposed to Jerome's suggestion -- it's a little
heavier than the minimum, in my view, but not much.  (I'm glad we've had
so much discussion about it, though, because now people will think twice
before proposing *more* funny characters to go in comments... :-)

       Benjamin


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr