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: 4 Sep 93 00:17:15 GMT
From: slinky.cs.nyu.edu!slinky.cs.nyu.edu!nobody@nyu.edu  (Robert Dewar)
Subject: Re: Generic Pointer Type
Message-ID: <268mqb$2a3@schonberg.cs.nyu.edu>
List-Id: <comp.lang.ada>

Well of course you can't declare a "pointer to void" or anything like that
in Ada, since this the epitome of unsafe programming (a pointer that you
want to keep secret, i.e. you refuse to tell me what it points to, and 
intend to make it point to anything you like later on).

To the limited extent that such a notion is required, explicit
unchecked conversions must be used.

What's the exact problem, it is probably instructive to look at it to see
why a C programmer would want a void pointer, and how an Ada programmer
would avoid it, or never even think of it in the first place!