Subject: Case sensitivity, line labels and the future
From: Felix E. Klee
Date: Tue, 15 Apr 2003 16:05:43 +0200
On Tuesday 15 April 2003 15:50, Martin RUBEY wrote:
> As soon as we have case-sensitive packages, it will be impossible to use
> them in case-INsensitive maxima. So as long as maxima is possibly
> case-insensitive (as it is now or as it might be in the future by choice),
> such a package might be broken. (because it might contain two different
> variables Foo and foo, which would be the same in case-insensitive maxima)
>
> If we demand that all contributed packages are in lower case, there cannot
> be a problem.
Having contributed packages be in lower case might be a good compromise
between the two camps. However, I disagree that such packages will break
things. When we start using Unicode characters, then in a case insensitive
environment "Foo" could be printed as e.g. "%0046oo" or something similar.
Sticking to such a convention is much easier than inventing out own
convention like "F_capitaloo".
Felix