On 5 Apr 2000, at 19:07, Frank Heckenbach wrote:
I thought of maybe {$def}, but this wouldn't make the difference to {$define} very clear.
Agreed, it would look like an abbreviation, rather than a semantically different command.
OTOH, something like {$define-case-sensitive} would make it clear, but it's very long.
{$define-cs} would be OK (better than {$definecs} only because the "cs" part stands out better with the hyphen).
Peter has suggested {$cdefine} (c for `C' or for `case').
That makes me think of a "define something having to do with the C language" rather than "define with case sensitivity." But that might be OK too, because it can also mean, "define with C preprocessor semantics," i.e., case sensitivity.
So I'd suggest either {$define-cs} or {$cdefine}. The more I think of {$cdefine}, however, the more I like it!
-- Dave