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,328b479bac732fe2 X-Google-Attributes: gid103376,public From: Jonas Nygren Subject: Re: Measurements components(need language lawyer input) Date: 1996/03/20 Message-ID: <314FC8F7.2F30@ehs.ericsson.se>#1/1 X-Deja-AN: 143365804 references: <4inncp$cr2@host-3.cyberhighway.net> content-type: text/plain; charset=us-ascii organization: Ericsson Hewlett-Packard Telecommunications AB mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 2.0GoldB1 (WinNT; I) Date: 1996-03-20T00:00:00+00:00 List-Id: Mitchell E. James wrote: > > The following message from Ed Falis suggests a need for input on the > legality of a construct that I am using in Measurement Types. It took > several iterations of gnat and a few very confusing email messages > with Team Ada to get gnat to compile generic children. The basic part > of Measurement Types compiles fine under the latest version of gnat. > Though I think that there is a gnat related problem with one of the > next layers as noted in the readme file. I am not a language lawyer, > so those that feel so inclined go ahead and comment. > ------------------------------------------------- > Mitchell James > mjames@cyberhighway.net > Here's a simpler example that yields the same problem: > > generic > type t is private; > package p is > x:t; > end; > > -- This one gets the error: > generic > with package other is new p(<>); > package p.child is -- Try using: type t is new other.t; y : t; -- This has worked for me with tagged types even if I have encountered -- other problems, which I have sent out a question about to c.l.a > y: other.t; > end p.child; > > -- this one doesn't: > with p; > generic > with package other is new p(<>); > package q is > y: other.t; > end q; > > - Ed > > Ed Falis > Thomson Software falis@thomsoft.com (617) 221-7341 > ======================================================== > Ideological disarmament: a koan for the 21st century > ======================================================== -- ------------------------------------------------------- -- Jonas Nygren -- ehsjony@ehs.ericsson.se -------------------------------------------------------