--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Thu Jul 14 13:47:32 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA21910; Thu, 14 Jul 1994 13:47:32 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2581; Thu, 14 Jul 94 13:47:35 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.JENKS.NOTE.VAGENT2.7791.Jul.14.13:47:34.-0400>
--*           for asbugs@watson; Thu, 14 Jul 94 13:47:35 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 7783; Thu, 14 Jul 1994 13:47:34 EDT
--* Received: from leonardo.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Thu, 14 Jul 94 13:47:33 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA26241; Thu, 14 Jul 1994 13:42:50 -0400
--* Date: Thu, 14 Jul 1994 13:42:50 -0400
--* From: jenks@leonardo.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9407141742.AA26241@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [5] Subject (brief description): "next" causes an error [/u/jenks/dimacs94/ex.pm/ex11.asbug][36-0]

--@ Fixed  by:  SSD   Thu Jul 28 17:23:19 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Interactive loop was incorrectly handling scope analysis of identifiers introduced by assignments. 


--The function won't compile
GI ==> Generator SingleInteger
import GI, List SingleInteger

.... see /u/jenks/dimacs94/ex.pm/ex11.as for the rest of the definitions

sieve(G: GI): GI == {
       step! G;
       empty? G => {generate if false then yield 0};
       next := value G;
       concat(generate yield next, i for i in sieve numFilter(next, G))
};