--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Jul 12 23:42:58 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA23761; Tue, 12 Jul 1994 23:42:58 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6007; Tue, 12 Jul 94 23:43:01 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.JENKS.NOTE.VAGENT2.5543.Jul.12.23:43:00.-0400>
--*           for asbugs@watson; Tue, 12 Jul 94 23:43:01 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5529; Tue, 12 Jul 1994 23:43:00 EDT
--* Received: from leonardo.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Tue, 12 Jul 94 23:43:00 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA23994; Tue, 12 Jul 1994 23:38:16 -0400
--* Date: Tue, 12 Jul 1994 23:38:16 -0400
--* From: jenks@leonardo.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9407130338.AA23994@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [5] Union problem [unionbug2.memo][36.0]

--@ Fixed  by:  SSD   Thu Jul 28 18:10:33 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Interactive loop was incorrectly handling declarations without definitions. 


--+ #include "aslib"
--+ %1 >> #include "aslib"
--+ %2 >> LS ==> List SingleInteger;
--+ %3 >> import from LS
--+ %4 >> SI ==> SingleInteger;
--+ %5 >> import from Union(one: SI, many: LS);
--+ %6 >> U ==> Union(one: SI, many: LS);;
--+ %7 >> u: U
--+   () @ Join(
--+  with
--+     ==  add ()
--+ , BasicType)
--+ %8 >> u := [3]
--+       ^
--+ [L8 C1] #1 (Error) There are 2 meanings for `u' in this context.
--+ The possible types were:
--+ 	  u: Union(one: SingleInteger, many: List(SingleInteger)), a local
--+ 	  u: Union(one: SingleInteger, many: List(SingleInteger)), a local
--+   The context requires an expression of type Union(one: SingleInteger, many: List(SingleInteger)).
--+
#include "aslib"
%1 >> #include "aslib"
%2 >> LS ==> List SingleInteger;
%3 >> import from LS
%4 >> SI ==> SingleInteger;
%5 >> import from Union(one: SI, many: LS);
%6 >> U ==> Union(one: SI, many: LS);;
%7 >> u: U
  () @ Join(
 with
    ==  add ()
, BasicType)
%8 >> u := [3]
      ^
[L8 C1] #1 (Error) There are 2 meanings for `u' in this context.
The possible types were:
	  u: Union(one: SingleInteger, many: List(SingleInteger)), a local
	  u: Union(one: SingleInteger, many: List(SingleInteger)), a local
  The context requires an expression of type Union(one: SingleInteger, many: List(SingleInteger)).