From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Renaming record discriminants.
Date: 1996/04/02
Date: 1996-04-02T00:00:00+00:00 [thread overview]
Message-ID: <dewar.828448853@schonberg> (raw)
In-Reply-To: Dp7Eoo.FLK.0.-s@inmet.camb.inmet.com
Tuck said:
": type Record_Type(Has_Value : Boolean) is
: record
: case Has_Value is
: when True =>
: Value : Integer;
: when False =>
: null;
: end case;
: Object : Record_Type := (Has_Value => True, Value => 1);
: Discriminant : Boolean renames Object.Has_Value; -- error
: Component : Integer renames Object.Value; -- error
: (there may be a typo or something in there, this is off the top of my head)
: The Intermetrics compiler I am using complains that:
: Object.Has_Value depends on discriminants of an unconstrained formal
: parameter with default discriminants [RM_95 8.5.1(5)]
If it really complains, then this is a compiler bug.
I have not been able to reproduce this problem with
a recent version of this compiler, so you should submit
a formal bug report if you have a (ideally minimal) test
case that shows the problem."
Gee Tuck, I trust the intermetrics compiler *does* complain about
the missing "end record" in the above example :-) :-)
prev parent reply other threads:[~1996-04-02 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-03-21 0:00 Win32Ada Pascal OBRY
1996-03-21 0:00 ` Win32Ada Robert F. Estes
1996-03-28 0:00 ` Win32Ada Carl J R Johansson
1996-03-28 0:00 ` Win32Ada Ted Dennison
[not found] ` <4jf4uhINNsad@RA.DEPT.CS.YALE.EDU>
1996-03-29 0:00 ` Win32Ada Ted Dennison
1996-03-29 0:00 ` Win32Ada lrharris
1996-03-22 0:00 ` Win32Ada Wiljan Derks
1996-04-01 0:00 ` Renaming record discriminants Felaco
1996-04-01 0:00 ` Tucker Taft
1996-04-01 0:00 ` David Weller
1996-04-02 0:00 ` Robert Dewar [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