--* From BMT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Apr 15 06:22:31 1994
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA11881; Fri, 15 Apr 1994 06:22:31 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4739; Fri, 15 Apr 94 06:22:04 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.4331.Apr.15.06:22:03.-0400>
--*           for asbugs@watson; Fri, 15 Apr 94 06:22:04 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4327; Fri, 15 Apr 1994 06:22:03 EDT
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Fri, 15 Apr 94 06:22:02 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA22540; Fri, 15 Apr 1994 06:23:26 -0400
--* Date: Fri, 15 Apr 1994 06:23:26 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9404151023.AA22540@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [2] compiler says first arg to .. should be of type #1 [testbug.as][34.6 (current)]

--@ Fixed  by:  SSD   Thu Jun 23 23:00:30 EDT 1994 
--@ Tested by:  segext[0-5].as 
--@ Summary:    Extend substitution fixes fix this bug. 


#include "axiom.as"
import from Segment Integer
import from List Integer
--foo(x:Integer):Integer == reduce(+,[i for i in 1..x],0)
--foo(x:Integer):List Integer == [i for i in 1..x]
foo(x:Integer):Integer ==
  sum:Integer := 0
  for i in 1..x repeat
       sum:=sum+ x
  sum