--* From DOOLEY%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Jun 29 12:59:39 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA12536; Tue, 29 Jun 1993 12:59:39 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3269; Tue, 29 Jun 93 13:00:31 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.DOOLEY.NOTE.VAGENT2.6345.Jun.29.13:00:30.-0400>
--*           for asbugs@watson; Tue, 29 Jun 93 13:00:31 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 6341; Tue, 29 Jun 1993 13:00:30 EDT
--* Received: from matteo.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 29 Jun 93 13:00:29 EDT
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA16342; Tue, 29 Jun 1993 13:01:59 -0400
--* Date: Tue, 29 Jun 1993 13:01:59 -0400
--* From: dooley@matteo.watson.ibm.com (Sam Dooley)
--* Message-Id: <9306291701.AA16342@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Generator b where b := ... [wherebug.as][v28.I]

--@ Fixed  by: PAB Fri Oct 08 23:21:44 1993
--@ Tested by: where1.as
--@ Summary:   Fixed interaction of additional where scopes+iterators


#include "aslib"

Integer ==> SingleInteger

import Integer
import Tuple Integer
import List Integer

-- This sequence works just fine.
a : Tuple Integer := (1,2,3,4,5,6,7,8,9,10);
l : List Integer := [i for i in a];

-- This sequence generates bad foam.
l : List Integer :=
	[i for i in b] where
		b : Tuple Integer := (1,2,3,4,5,6,7,8,9,10);