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.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!mnetor!uunet!husc6!bbn!rochester!udel!gatech!uflorida!novavax!augusta!bs
From: bs@augusta.UUCP (Burch Seymour)
Newsgroups: comp.lang.ada
Subject: Conformance rules question
Message-ID: <1103@augusta.UUCP>
Date: 27 Apr 88 14:08:50 GMT
Organization: Gould CSD, Fort Lauderdale, FL
Keywords: procedure conformance LRM 6.3.1
List-Id: <comp.lang.ada>

In the following code package paramtest will compile without error
even though the string initialization values in the spec and body
do not match. Package paramtest2, which uses an integer argument
with different values will fail. What is the rational behind this?

--------------------------------------------------------------
package paramtest is
  procedure string_in ( a_string : in string := "default value");
end paramtest;

package body paramtest is
  procedure string_in ( a_string : in string := "other default value") is
    begin
     null;
  end string_in;
end paramtest;

package paramtest2 is
  procedure integer_in ( an_integer : in integer := 15 );
end paramtest2;

package body paramtest2 is
  procedure integer_in ( an_integer : in integer := 25 ) is
    begin
     null;
  end integer_in;
end paramtest2;