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=2.6 required=5.0 tests=BAYES_40,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!newstop!texsun!convex!mozart.convex.com!gargulak
From: gargulak@mozart.convex.com (Tom Gargulak)
Newsgroups: comp.lang.ada
Subject: Re: null ranges and index constraints (was constraint error question)
Message-ID: <108673@convex.convex.com>
Date: 13 Nov 90 18:22:49 GMT
References: <1816@software.software.org>
Sender: news@convex.com
Reply-To: gargulak@mozart.convex.com (Tom Gargulak)
Organization: Convex Computer Corporation, Richardson, Texas
List-Id: <comp.lang.ada>

One thing I failed to mention.  I assume that the program will raise
a storage_error exception due to the infinite recursion.  I realize
some compilers can optimize this into a loop.

So, assuming the exception occurs, will this program eventually 
terminate?  Why?

Thanks again,

Tom