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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,789d45e53035f912,start
X-Google-Attributes: gid103376,public
From: cagboh@vub.ac.be (AGBOH CHARLES)
Subject: strong typing
Date: 1996/10/08
Message-ID: <53e6n5$eq2@rc1.vub.ac.be>#1/1
X-Deja-AN: 188098564
organization: Brussels Free Universities (VUB/ULB), Belgium
newsgroups: comp.lang.ada
Date: 1996-10-08T00:00:00+00:00
List-Id: <comp.lang.ada>


Hi 

Ada's strong typing mechanism doest not allow identifiers of different
types to assigned to each other.  Why are subtypes and parent type 
permitted. Why can derived types and parent types be assigned to each other.
Apparently a derived type and sybtypes are new types so assignment should not 
be possible.