From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8d472879e3f609e0 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-10 11:24:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!server1.netnews.ja.net!pegasus.csx.cam.ac.uk!not-for-mail From: Matthew Woodcraft Newsgroups: comp.lang.ada Subject: Re: Case sensitivity (was Re: no title) Date: 10 Jun 2003 19:19:13 +0100 (BST) Organization: Linux Unlimited Message-ID: References: <0egDa.45 <1055265377.116836@master.nyc.kbcfp.com> NNTP-Posting-Host: rapun.sel.cam.ac.uk Originator: mattheww@chiark.greenend.org.uk ([193.201.200.170]) Xref: archiver1.google.com comp.lang.ada:38924 Date: 2003-06-10T19:19:13+01:00 List-Id: Hyman Rosen wrote: >I would ban digits from identifiers, and allow '_' as a non-semantic >separator between letters just like it is used in Ada numbers. I don't care about the case-sensitivity debate, but I think the second suggestion is really bad. I think the confusion caused by equating, say, 'keys_tripped' and 'key_stripped' would be enormously worse than any case-difference issue. This issue doesn't arise with numbers, of course. -M-