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,7a4380ff535aa24d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-11-29 19:02:39 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!gatech!newsxfer.itd.umich.edu!zip.eecs.umich.edu!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: cross linking packages
Date: 29 Nov 1994 17:07:21 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3bg8mp$i0g@gnat.cs.nyu.edu>
References: <CzzAMz.K9F@inter.NL.net>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1994-11-29T17:07:21-05:00
List-Id: <comp.lang.ada>

"The GNAT compiler stumbles into a circular ..."

How about instead

"The GNAT compiler correctly diagnoses an illegal circular dependency"

This is definitely wrong, you have to put both types in the same
package if they have this sort of mutual dependence. 

(and now we can rerun the long dialog on mutually recursive types :-)