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.4 required=5.0 tests=BAYES_50,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c761ad4d5d3ce4f6,start
X-Google-Attributes: gid103376,public
From: basile@iol.it (Giuseppe Basile)
Subject: Inheritance conflict
Date: 1996/07/26
Message-ID: <4ta6fv$24@mikasa.iol.it>#1/1
X-Deja-AN: 170242739
organization: Italia Online
newsgroups: comp.lang.ada
Date: 1996-07-26T00:00:00+00:00
List-Id: <comp.lang.ada>


Hello everybody,

I got a very interesting problem on inheritance conflict.
I would known how is it approached in CLASSIC.

Consider the following definition schema (syntax is no probably
right!):

type adult = {age: integer, child: student}
type student={name: string, college: string, friend: adult}
type employee={name: ext_name, salary:integer, friend: employee}
type ext_name= {frs_name: string, fam_name: string}
type employee_student = student and employee

It defines five types (classes) in which 'string' e 'integer' are base
types. In the last row 'employee_student' inherit from 'student' and
'employee'.

How does CLASSIC resolve inheritance conflict in the schema?
What's the type of name property in 'employee_student' ?

Thanks to all you and to who will contact me with an answer.
(Please, send me a private e-mail, Thanks)
Giuseppe Basile