From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 16 Jun 93 15:17:04 GMT
From: cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.
reston.ans.net!xlink.net!scsing.switch.ch!epflnews!disuns2.epfl.ch!lglsun!nebbe
@ucbvax.Berkeley.EDU  (Robb Nebbe)
Subject: Type declarations in a subprogram
Message-ID: <1993Jun16.164301@lglsun.epfl.ch>
List-Id: <comp.lang.ada>

Why would anyone want to declare a type in a subprogram? I have
occaisionally done it in toy programs (a single procedure) but have
never needed it in any "real" code that I have written. I was wondering
if it supports some particular programming paradigm or if it was just
included in the language for toy programs and because no one had a good
reason to exclude it.

If anyone has an example where a local type declaration makes the code
clearer or more elegant I would be particularly interested in seeing it.

Robb Nebbe
nebbe@lglsun.epfl.ch