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,9960fa51a4a478af X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-10 10:32:23 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: ACT announces availability of GNAT 3.14p Date: 10 Feb 2002 10:32:22 -0800 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0202101032.538d5397@posting.google.com> References: NNTP-Posting-Host: 205.232.38.244 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1013365943 10049 127.0.0.1 (10 Feb 2002 18:32:23 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 10 Feb 2002 18:32:23 GMT Xref: archiver1.google.com comp.lang.ada:19837 Date: 2002-02-10T18:32:23+00:00 List-Id: Christoph Grein wrote in message news:... > Why are the other characters 16#40#, 16#5B#..16#5F#, > 16#7B#..16#7E# not allowed? Why not? We have no requirement for recognizing these characters in this context in our style rules. We choose our style rules to meet our needs and those of our users (including in this case SPARK users). You are free to choose different style rules, in which case you can't use our automatic checking? Do you really have a specific need for the above, or is this just a question for the sake of question :-) Next you will be asking why we don't allow special characters in the Chinese plane of wide characters :-) :-) (this is all in the context of the characters permitted following the -- in a comment. And if you think that you should be allowed anything, fine, don't use -gnatyc!)