--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Thu Jul  1 16:11:12 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA13683; Thu, 1 Jul 1993 16:11:12 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1101; Thu, 01 Jul 93 16:12:06 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.2073.Jul.01.16:12:05.-0400>
--*           for asbugs@watson; Thu, 01 Jul 93 16:12:06 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Thu, 01 Jul 93 16:12:05 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <10325-0@bernina.ethz.ch>; Thu, 1 Jul 1993 22:11:56 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA28509; Thu, 1 Jul 93 22:11:50 +0200
--* Date: Thu, 1 Jul 93 22:11:49 +0200
--* Message-Id: <9307012011.AA13524@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA13524; Thu, 1 Jul 93 22:11:49 +0200
--* To: asbugs@watson.ibm.com
--* Subject: type inference
--* Cc: bronstein

--@ Fixed  by:  SSD   Wed Jun 29 09:43:58 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Record/Union field names now exported from the correct enumeration types. Fields with the same name from different records now correctly overloaded. 

#if 0
Some problems with the type inference.
The following program does not compile.
Is there any reason for this?

Philip
#endif
---------------------------------------------
#pile
#include "aslib.as"

SI ==> SingleInteger
import from SI

import from Record(a:SI)
b:Record(a:Record(a:SI)) := [[1]]
b.a.a

#if 0
---------------errors--------------------------
"test1.as", line 8: b.a.a
                    ..^.^
[L8 C3] (Error) 2 meanings for 'a' in this context.
        Meaning 1: Enumeration(a) from Record(a: Record(a: SingleInteger))
        Meaning 2: Enumeration(a) from Record(a: SingleInteger)
  The context requires an expression of type Enumeration(a).
[L8 C5] (Error) 2 meanings for 'a' in this context.
        Meaning 1: Enumeration(a) from Record(a: Record(a: SingleInteger))
        Meaning 2: Enumeration(a) from Record(a: SingleInteger)
  The context requires an expression of type Enumeration(a).
#endif