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,b19fa62fdce575f9
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-12-09 14:26:24 PST
Newsgroups: comp.lang.ada
Path: 
 bga.com!news.sprintlink.net!hookup!newshost.marcam.com!news.mathworks.com!uhog.mit.edu!nntp.club.cc.cmu.edu!cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!firth
From: firth@sei.cmu.edu (Robert Firth)
Subject: Re: Why don't large companies use Ada?
Message-ID: <1994Dec9.141555.25205@sei.cmu.edu>
Sender: netnews@sei.cmu.edu (Netnews)
Organization: Software Engineering Institute
References: <3blinp$8dm@gnat.cs.nyu.edu>
 <KANZE.94Dec5174315@slsvhdt.us-es.sel.de> <3c873t$lut@calvin.st-and.ac.uk>
Date: Fri, 9 Dec 1994 14:15:55 EST
Date: 1994-12-09T14:15:55-05:00
List-Id: <comp.lang.ada>

In article <3c873t$lut@calvin.st-and.ac.uk> ajry@st-andrews.ac.uk (Alistair James Robert Young) writes:

>These header files use a type PSZ to pass strings to functions. This type
>(pointer to string terminated by zero) is exactly the same as a char * ...

No, it isn't.  The two types are structurally equivalent, but they are
not therefore "exactly the same".  For some of the reasons why this
point is of considerable importance in the design of a type system,
I refer you to the Ada Rationale (Ada83), Section 4.3.