--* From bmt@spadserv.watson.ibm.com  Thu Feb  4 07:15:04 1993
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20852; Thu, 4 Feb 1993 07:15:04 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA25003; Thu, 4 Feb 1993 07:08:47 -0500
--* Date: Thu, 4 Feb 1993 07:08:47 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9302041208.AA25003@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: complains about 2 possible types, only 1 is possible (SI) [junk1.as][26.1]

--@ Fixed  by:  PI   Fri Oct 15 10:45:51 1993 
--@ Tested by:  none 
--@ Summary:    not a bug 


#include "aslib.as"
SI ==> SingleInteger
import Integer
f(i:SI,n:SI):Array(SI) ==
  array((if j=i then 1 else 0) for j in 1..n)

-------------
-- PI: not a bug. Correct code is (...)@SI for j in 1..n