--* From SMWATT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Jul 29 16:12:05 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA17182; Fri, 29 Jul 1994 16:12:05 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5461; Fri, 29 Jul 94 16:12:09 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SMWATT.NOTE.VAGENT2.2355.Jul.29.16:12:08.-0400>
--*           for asbugs@watson; Fri, 29 Jul 94 16:12:08 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 2351; Fri, 29 Jul 1994 16:12:08 EDT
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Fri, 29 Jul 94 16:12:07 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19615; Fri, 29 Jul 1994 16:10:42 -0400
--* Date: Fri, 29 Jul 1994 16:10:42 -0400
--* From: smwatt@spadserv.watson.ibm.com (Stephen Watt)
--* X-External-Networks: yes
--* Message-Id: <9407292010.AA19615@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] Bug report from Mike Richardson [/dev/null][v36.0]

--@ Fixed  by:  SSD   Thu Aug 4 14:53:51 EDT 1994 
--@ Tested by:  none 
--@ Summary:    scobindRestoreDeclInfo needs to forget about the uses of a introduced in the step with the error. 


--+ Hope you had a good trip back - it was good to see you again.  Now an A#
--+ bug report:
--+
--+ Assigning to and defining the same variable puts A# into an error
--+ reporting loop (see response at %5, below).
--+
--+ Cheers!
--+
--+ Mike
--+ ________________________________________________________________________
--+
--+ % asharp -gloop
--+ %1 >> #include "aslib"
--+ %2 >> import from Integer
--+ %3 >> a == 0
--+ 0 @ Integer
--+ %4 >> a := 0
--+       ^
--+ [L3 C1] #2 (Note 1)  (cf. L4 C1)
--+
--+       ^
--+ [L4 C1] #1 (Error) Cannot both assign and define `a'.  Choose `==', `:=', or use as a `for' variable.
--+ (see Note 1)
--+
--+ %5 >> 1
--+       ^
--+ [L3 C1] #2 (Note 2)  (cf. L4 C1)
--+
--+       ^
--+ [L4 C1] #1 (Error) Cannot both assign and define `a'.  Choose `==', `:=', or use as a `for' variable.
--+ (see Note 2)
--+
--+ %6 >> #quit