--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Mon Aug 30 18:38:40 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA12433; Mon, 30 Aug 1993 18:38:40 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4036; Mon, 30 Aug 93 18:42:03 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.VAGENT2.1184.Aug.30.18:38:17.-0400>
--*           for asbugs@watson; Mon, 30 Aug 93 18:38:18 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1182; Mon, 30 Aug 1993 18:38:17 EDT
--* Received: from leonardo.watson.ibm.com by yktvmh.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Mon, 30 Aug 93 18:38:14 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA12319; Mon, 30 Aug 1993 18:36:31 -0400
--* Date: Mon, 30 Aug 1993 18:36:31 -0400
--* From: santas@leonardo.watson.ibm.com
--* Message-Id: <9308302236.AA12319@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com, jenks@watson.ibm.com
--* Subject: compiler does not accept local variables with the same name as globals
--* Cc: bronstein@inf.ethz.ch, santas@inf.ethz.ch

--@ Fixed  by:  SSD   Thu Jun 2 10:08:09 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Local/global definitions (i.e. '==') can be overloaded, but if the types are the same an ambiguity will result. Using an assignment (':=') shadows the outer definition. 

-- PI: This is a language limitation. Probably the error msg could be improved
-- to avoid confusion

--The following reports errors:


#include "aslib.as"
import from SingleInteger

i:SingleInteger == 1
a5 := ():SingleInteger +-> (local i:SingleInteger == 5;i)

-------
--Philip