From ncohen@watson.ibm.com Mon Feb 20 16:59:35 1995 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA04988; Mon, 20 Feb 95 16:59:35 EST Received: from watson.ibm.com by inmet.camb.inmet.com (4.1/SMI-4.1) id AA07591; Mon, 20 Feb 95 16:59:33 EST Message-Id: <9502202159.AA07591@inmet.camb.inmet.com> Received: from YKTVMV by watson.ibm.com (IBM VM SMTP V2R3) with BSMTP id 3743; Mon, 20 Feb 95 16:59:30 EST Date: Mon, 20 Feb 95 16:58:51 EST From: "Norman H. Cohen" To: ada9x-mrt@inmet.com Subject: Unpacking a record type with primitive subprograms !topic Unpacking a record type with primitive subprograms !reference AARM-13.6(2);6.0 !from Norman Cohen <> !discussion This paragraph states, "To convert a record from one representation to another, two record types with a common ancestor type need to be declared, with no inherited subprograms." Since this paragraph is bracketed, the inadmissability of types with primitive subprograms is presumably a ramification of rules given elsewhere. Where?