--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Oct  5 21:02:40 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA14799; Tue, 5 Oct 1993 21:02:40 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9675; Tue, 05 Oct 93 21:08:45 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.6025.Oct.05.21:08:44.-0400>
--*           for asbugs@watson; Tue, 05 Oct 93 21:08:45 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 05 Oct 93 21:08:44 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <17669-0@bernina.ethz.ch>; Wed, 6 Oct 1993 02:08:26 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA16966; Wed, 6 Oct 93 02:08:20 +0100
--* Date: Wed, 6 Oct 93 02:08:19 +0100
--* Message-Id: <9310060108.AA24956@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA24956; Wed, 6 Oct 93 02:08:19 +0100
--* To: asbugs@watson.ibm.com
--* Subject: SI is not SI?
--* Cc: bronstei

--@ Fixed  by: SMW+PI Wed Oct 06 10:47:14 1993
--@ Tested by: N/A
--@ Summary:   Not A Bug -- there is no coerce: SI -> SI in scope


There is a strange message here:
It has found that 4 is a SI, but it does not accept it.

"testImp.as", line 7: print(f (4::SI))()
                      .........^
[L7 C10] (Error) Have determined 0 possible types for the expression.
  Subexpression `4':
        Meaning 1: SingleInteger
[L7 C10] (Error) Operator has 0 possible types.
  Subexpression `4':
        Meaning 1: SingleInteger
  The context requires an expression of type SingleInteger.

for the program:
---------------------
#include "aslib.as"
SI ==> SingleInteger
f(x:SI):SI == 3
print(f (4::SI))()
----------------------

Philip