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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,85f05a59d3141bd3
X-Google-Attributes: gid103376,public
From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: discriminants and tagged types
Date: 1998/09/02
Message-ID: <EACHUS.98Sep2154423@spectre.mitre.org>#1/1
X-Deja-AN: 387230899
References: <01bdd676$82f6cfa0$f330ea9e@ukp03332>
Organization: The Mitre Corp., Bedford, MA.
Newsgroups: comp.lang.ada
Date: 1998-09-02T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <01bdd676$82f6cfa0$f330ea9e@ukp03332> "Bob Fletcher" <bob@radge.globalnet.co.uk> writes:

 > Is there a restriction on using descriminants in tagged types in Ada 95?

   Yes, you cannot provide defaults for discriminants of a tagged
type. (RM 3.7(11))

 > I know it can't be done in the GNAT compiler, it spits out an error...

   What can't be done?  It could be you are violating 3.7(11) or some
other rule, but I'd have to see the code.
--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...