From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 26 May 93 15:19:23 GMT
From: news.crd.ge.com!e7sa!groleau@uunet.uu.net  (Wes Groleau X7574)
Subject: putting default value on a subtype of an undefaulted type.
Message-ID: <C7n3wB.BGJ@crdnns.crd.ge.com>
List-Id: <comp.lang.ada>

Situation:
      type NO_DEFAULT ( Discrim : NATURAL ) is
         record
            A : SOME_TYPE;
            B : STRING ( 1 .. Discrim );
         end record;

Problem:
      1. The type declaration is not mine but I'm forced to use it.
      2. Can't declare objects of that type without constraining them
         to a fixed value of Discrim.

Question:
      What is the syntax for creating a subtype with the same set of values
      as the original type but which has a default discriminant?  

Curiosity:
      What is the syntax for giving A a default value in a subtype?