--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Oct 15 11:44:28 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20975; Fri, 15 Oct 1993 11:44:28 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3648; Fri, 15 Oct 93 11:50:56 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.9479.Oct.15.11:50:55.-0400>
--*           for asbugs@watson; Fri, 15 Oct 93 11:50:56 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 9477; Fri, 15 Oct 1993 11:50:55 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 15 Oct 93 11:50:54 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA69985; Fri, 15 Oct 1993 11:50:22 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17387; Fri, 15 Oct 1993 11:51:56 -0400
--* Date: Fri, 15 Oct 1993 11:51:56 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310151551.AA17387@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: compiler complains if expression ambiguous, but should decide that only SI is possible [fix173.as][31.4 (current)]

--@ Fixed  by:  PI   Mon Oct 18 15:54:41 1993 
--@ Tested by:  none 
--@ Summary:    bug in titdnIf 


#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)

--------------------------------------------------------------------
-- Fixed by PI; there was a bug in titdnIf.
-- You had been same bug writing, in example:
--
-- import Integer
-- import SingleInteger
-- i:Integer == -(if true then 1 else 0)



 
--+ --* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Oct 15 11:44:28 1993
--+ --* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--+ --*           id AA20975; Fri, 15 Oct 1993 11:44:28 -0400
--+ --* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--+ --*    with BSMTP id 3648; Fri, 15 Oct 93 11:50:56 EDT
--+ --* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--+ --*           id <A.BMT.NOTE.VAGENT2.9479.Oct.15.11:50:55.-0400>
--+ --*           for asbugs@watson; Fri, 15 Oct 93 11:50:56 -0400
--+ --* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--+ --*           id 9477; Fri, 15 Oct 1993 11:50:55 EDT
--+ --* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--+ --*    with TCP; Fri, 15 Oct 93 11:50:54 EDT
--+ --* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--+ --*   id AA69985; Fri, 15 Oct 1993 11:50:22 -0400
--+ --* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--+ --*           id AA17387; Fri, 15 Oct 1993 11:51:56 -0400
--+ --* Date: Fri, 15 Oct 1993 11:51:56 -0400
--+ --* From: bmt@spadserv.watson.ibm.com
--+ --* X-External-Networks: yes
--+ --* Message-Id: <9310151551.AA17387@spadserv.watson.ibm.com>
--+ --* To: asbugs@watson.ibm.com
--+ --* Subject: compiler complains if expression ambiguous, but should decide that only SI is possible [fix173.as][31.4 (current)]
--+ 
--+ --@ Fixed  by: <Who> <Date>
--+ --@ Tested by: <Name of new or existing file in test directory>
--+ --@ Summary:   <Description of real problem and the fix>
--+ 
--+ 
--+ #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)
--+ 
--+ --------------------------------------------------------------------
--+ -- Fixed by PI; there was a bug in titdnIf.
--+ -- You had been same bug writing, in example:
--+ --
--+ -- import Integer
--+ -- import SingleInteger
--+ -- i:Integer == -(if true then 1 else 0)
--+ 
--+ 
--+