--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Mon Jul 11 14:47:47 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA26984; Mon, 11 Jul 1994 14:47:47 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2609; Mon, 11 Jul 94 14:47:50 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.JENKS.NOTE.VAGENT2.4651.Jul.11.14:47:49.-0400>
--*           for asbugs@watson; Mon, 11 Jul 94 14:47:50 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4639; Mon, 11 Jul 1994 14:47:48 EDT
--* Received: from leonardo.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Mon, 11 Jul 94 14:47:46 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA24381; Mon, 11 Jul 1994 14:43:03 -0400
--* Date: Mon, 11 Jul 1994 14:43:03 -0400
--* From: jenks@leonardo.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9407111843.AA24381@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [2] Interpreter needs to use <<$ReturnType rather than assuming << is in scope [buglet.as][v0-36-0]

--@ Fixed  by:  SSD   Fri Jul 15 11:53:12 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Interpreter is now using <<$ReturnType rather than assuming << is in scope. 


--+ $ asharp -gloop <buglet.as
--+ Defined f @ (c: Character) -> Integer
--+ #2 (Error) Program fault (segmentation violation).
--+ ^
--+ [L7 C1] #1 (Error) Argument 2 of `<<' did not match with any possible parameter type.
--+     The rejected type is Integer.
--+     Expected one of:
--+       -- Boolean
--+       -- Segment(SingleInteger)
--+       -- String
--+       -- Character
--+ The following could be suitable if imported:
--+   <<: (TextWriter, Integer) -> TextWriter from Integer
--+
#include "aslib.as"

f(c: Character): Integer == if letter? c then 1 else 0;

import from Character;

f char "s";  ---> Boom!  The interpreter has not got Integer in scope so << fails spectacularly (SMW)


 
