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,bb91141addc6c2c6,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Received: by 10.68.196.232 with SMTP id ip8mr18241260pbc.6.1341742630718; Sun, 08 Jul 2012 03:17:10 -0700 (PDT) Path: l9ni11132pbj.0!nntp.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!proxad.net!feeder1-2.proxad.net!cleanfeed1-a.proxad.net!nnrp1-2.free.fr!not-for-mail Newsgroups: comp.lang.ada From: hugues@soekris-1.pinkyoogx.org Subject: SPARK GPL 2012 and generic, any hint? Message-ID: Mime-Version: 1.0 User-Agent: slrn/0.9.8.1 (OpenBSD) Date: 08 Jul 2012 10:17:10 GMT Organization: Guest of ProXad - France NNTP-Posting-Date: 08 Jul 2012 12:17:10 CEST NNTP-Posting-Host: 82.234.50.105 X-Trace: 1341742630 news-1.free.fr 2022 82.234.50.105:31020 X-Complaints-To: abuse@proxad.net Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Date: 2012-07-08T12:17:10+02:00 List-Id: Hi, I tried SPARK GPL 2012 with a small example for generic, but I keep getting syntax error, do I miss something obvious? The documentation lacks a complete example that can be processed, all I could find was limited code snippet :( Here is the code source (code taken from SPARK GPL 2012 documentation, i I simply added package stuff around) package Test is generic type T1 is range <>; type T2 is range <>; --# check T1’Last * T1’Last <= T2’Last and --# T1’First * T1’First <= T2’Last and --# T1’First * T1’First >= T2’First; function Square (X : T1) return T2; --# return R => R = T2 (X * X); end Test; and the result for the Examiner Examiner GPL 2012 Copyright (C) 2012 Altran Praxis Limited, Bath, U.K. ******************************************************* DATE : 08-JUL-2012 12:22:29.76 3 generic ^ *** Syntax Error : reserved word "IS" cannot be followed by reserved word "GENERIC" here. --- Warning :430: SLI generation abandoned owing to syntax or semantic errors or multiple units in a single source file. If I take a generic package (e.g. a stack), then I get --- Warning :415: The analysis of generic packages is not yet supported. It will be supported in a future release of the Examiner. Generating listing file stack.lst ... which is expected from the release note. Thankss