--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Thu Oct 21 12:31:26 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA22450; Thu, 21 Oct 1993 12:31:26 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0104; Thu, 21 Oct 93 12:37:56 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.IGLIO.NOTE.VAGENT2.4047.Oct.21.12:37:55.-0400>
--*           for asbugs@watson; Thu, 21 Oct 93 12:37:56 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4045; Thu, 21 Oct 1993 12:37:55 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Thu, 21 Oct 93 12:37:54 EDT
--* Received: from galois.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA70893; Thu, 21 Oct 1993 12:37:26 -0400
--* Received: by galois.watson.ibm.com (AIX 1.3/900524)
--*           id AA14990; Thu, 21 Oct 93 12:39:15 -0400
--* Date: Thu, 21 Oct 93 12:39:15 -0400
--* From: iglio@galois.watson.ibm.com
--* Message-Id: <9310211639.AA14990@galois.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: segmentation fault in assignment [assign2.as][32.2]

--@ Fixed  by:  PI   Tue Oct 26 11:04:48 1993 
--@ Tested by:  assign2.as 
--@ Summary:    modified tibup0InferLhs 

#include "aslib.as"

y: Integer == 1
y: SingleInteger == 0  -- 2 meanings for y

x1:(Integer,Integer) := (y,y)
x2:(Integer,SingleInteger) := (y,y)

(a,b) := x1