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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c890e6ab3fb2c5fc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-01-23 04:03:30 PST Path: nntp.gmd.de!newsserver.jvnc.net!nntpserver.pppl.gov!princeton!udel!news.mathworks.com!europa.eng.gtefsd.com!salliemae!uunet!fdn.fr!univ-lyon1.fr!swidir.switch.ch!epflnews!dinews.epfl.ch!lglsun!nebbe From: nebbe@lglsun.epfl.ch (Robb Nebbe) Newsgroups: comp.lang.ada Subject: Re: ADA Objects Help! Date: 23 Jan 1995 12:03:30 GMT Organization: Ecole Polytechnique Federale de Lausanne Sender: nebbe@lglsun3.epfl.ch (Robb Nebbe) Distribution: world Message-ID: <1995Jan23.124811@lglsun.epfl.ch> References: <3f9g1u$j4m@nps.navy.mil> <3fcs59$70s@nps.navy.mil> <3ff186$c19@gnat.cs.nyu.edu> <3fjk7t$2km@gnat.cs.nyu.edu> <3frlje$rpr@gnat.cs.nyu.edu> NNTP-Posting-Host: lglsun3.epfl.ch Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Date: 1995-01-23T12:03:30+00:00 List-Id: In article <3frlje$rpr@gnat.cs.nyu.edu>, dewar@cs.nyu.edu (Robert Dewar) writes: |> Mats, if you don't see any problems in package types, then you have |> not even started to scratch the surface. Robert, if you think that they are all unresolvable, then you have not even started to scratch the surface. :-) Personally, I prefer the approach where packages are not types but I've read Mats' thesis and I believe he had the basis of a workable solution. I would guess that what Mats suggested in his thesis is quite a bit different from what you have imagined in your head. Robb Nebbe