From: aschulz@erno.de (Andreas Schulz RIT14)
Subject: Re: Conformance problem in VAX Ada?
Date: 13 Dec 1994 09:05:15 GMT
Date: 1994-12-13T09:05:15+00:00 [thread overview]
Message-ID: <3cjo4b$82p@inrou.erno.de> (raw)
In-Reply-To: 00988B51.1523CFA0.69@gtewd.mtv.gtegsc.com
In article <00988B51.1523CFA0.69@gtewd.mtv.gtegsc.com>, Dave Papay M/S 7G32 x2791 <papayd@GTEWD.MTV.GTEGSC.COM> 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
prev parent reply other threads:[~1994-12-13 9:05 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1994-12-10 8:54 Conformance problem in VAX Ada? Dave Papay M/S 7G32 x2791
1994-12-12 16:10 ` Norman H. Cohen
1994-12-16 13:49 ` Robert Dewar
1994-12-13 9:05 ` Andreas Schulz RIT14 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox