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-Thread: a07f3367d7,6651f3800ba2b6ac X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!q2g2000yqh.googlegroups.com!not-for-mail From: Harry Tucker Newsgroups: comp.lang.ada Subject: Re: Aspect programming Date: Fri, 29 Jul 2011 19:31:05 -0700 (PDT) Organization: http://groups.google.com Message-ID: <9b4f6b2a-5af6-4ea0-ac30-92e2e91eeaaa@q2g2000yqh.googlegroups.com> References: <8721bfc8-ddcf-4bc3-bfbb-c3581d0e28de@q11g2000yqm.googlegroups.com> NNTP-Posting-Host: 70.241.244.241 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1311993065 28549 127.0.0.1 (30 Jul 2011 02:31:05 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sat, 30 Jul 2011 02:31:05 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: q2g2000yqh.googlegroups.com; posting-host=70.241.244.241; posting-account=gm6zjwoAAADRUx8sKB8rAyyVV-bSRk9M User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HUALESNKRC X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:5.0) Gecko/20100101 Firefox/5.0,gzip(gfe) Xref: g2news1.google.com comp.lang.ada:20428 Date: 2011-07-29T19:31:05-07:00 List-Id: But then when the compiler outputs the below when compiling his code I think that something else is going on. +===========================GNAT BUG DETECTED==============================+ | GPL 2011 (20110428) (i686-pc-mingw32) GCC error: | | in gnat_to_gnu_entity, at ada/gcc-interface/decl.c: 329 | | Error detected at stacks.ads:28:23 [aspect_programming_test.adb: 26:4] | | Please submit a bug report by email to report@adacore.com. | | GAP members can alternatively use GNAT Tracker: | | http://www.adacore.com/ section 'send a report'. | | See gnatinfo.txt for full info on procedure for submitting bugs. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | | Use plain ASCII or MIME attachment. | +========================================================================== + And from the GNAT RM, Sec 13: "AI-0183 Aspect specifications (2010-08-16) Aspect specifications have been fully implemented except for pre and post- conditions, and type invariants, which have their own separate AI's. All forms of declarations listed in the AI are supported..." So I would expect some issues to arise. In my own play with aspects I haven't seen this bug-box. Harry