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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,75b74a06c7b14eed X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-12-13 01:05:15 PST Path: nntp.gmd.de!newsserver.jvnc.net!sol.asl.hitachi.com!newsserver.jvnc.net!nntpserver.pppl.gov!princeton!udel!news.mathworks.com!news.duke.edu!godot.cc.duq.edu!newsfeed.pitt.edu!uunet!zib-berlin.de!news.th-darmstadt.de!terra.wiwi.uni-frankfurt.de!zeus.rbi.informatik.uni-frankfurt.de!news.dfn.de!news.rwth-aachen.de!newsserver.rrzn.uni-hannover.de!aix11.hrz.uni-oldenburg.de!nordwest.germany.eu.net!erno.de!erno.de!aschulz From: aschulz@erno.de (Andreas Schulz RIT14) Newsgroups: comp.lang.ada Subject: Re: Conformance problem in VAX Ada? Date: 13 Dec 1994 09:05:15 GMT Organization: DASA, Space Infrastructure, Bremen, Germany Distribution: world Message-ID: <3cjo4b$82p@inrou.erno.de> References: <00988B51.1523CFA0.69@gtewd.mtv.gtegsc.com> Reply-To: Andreas.Schulz@erno.de NNTP-Posting-Host: aldebaran.erno.de Date: 1994-12-13T09:05:15+00:00 List-Id: In article <00988B51.1523CFA0.69@gtewd.mtv.gtegsc.com>, Dave Papay M/S 7G32 x2791 writes: |> I compiled it using VAX Ada v2.3-3 under VAX/VMS v5.5-2. The compiler didn't |> complain, and I didn't discover the error until I started seeing the effects |> of using Integer'Last, rather than Integer'First (which is what I really |> wanted). I read over the conformance rules for subprograms, and (as far as I |> can determine) I don't think these two specifications conform. The compiler |> thinks they do. Is this a compiler problem, or am I missing something in the |> conformace rules? Well, SunAda thinks they don't conform : Sun Ada Compiler, Copyright 1984, 1992 Sun-4 SunOS Release 4.0 and 4.1, Version 1.1 Mon Jan 27 13:31:12 PST 1992, Sun Ada 1.1(f) File: /.../conform.a compiled Tue Dec 13 09:55:55 1994 unit: subprogram test 2 SEMANTIC ERRORS UNIT UNCHANGED 3 statements 14 lines ********************************* conform.a ********************************* 6: procedure Error (I : in Integer := Integer'Last) is A -------------------^ A:error: RM 6.3.1: subprogram does not conform with specification from: A:error: error, line 4