From: sbelmont700@gmail.com
Subject: Re: Generic Parent Specification
Date: Wed, 12 Feb 2020 02:24:45 -0800 (PST)
Date: 2020-02-12T02:24:45-08:00 [thread overview]
Message-ID: <72f06cf9-4b0c-4db5-b3d0-6232139138d2@googlegroups.com> (raw)
In-Reply-To: <99f17fe7-38c3-4dd3-8539-80729241d5a5@googlegroups.com>
On Tuesday, February 11, 2020 at 7:33:15 AM UTC-5, Egil H H wrote:
> On Tuesday, February 11, 2020 at 12:15:08 PM UTC+1, sbelm...@gmail.com wrote:
> >
> > generic
> > with package K1 is new X (<>);
> > with package K2 is new K1.Y (<>); -- K2 must be a instantiation of X.Y from K1
> >
> > but either I can't find the right spell to do this, or it's not possible. Any ideas?
> >
> > -sb
>
> Works for me...
> Which compiler/version are you using? What is the exact error message?
>
> --
> ~egilhh
It does appear to be a compiler bug; this syntax works in other versions. Thank you very much for your response.
-sb
next prev parent reply other threads:[~2020-02-12 10:24 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-02-11 11:15 Generic Parent Specification sbelmont700
2020-02-11 12:33 ` Egil H H
2020-02-12 10:24 ` sbelmont700 [this message]
2020-02-12 19:25 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox