--* From PETEB%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Sep 21 01:06:10 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA23873; Tue, 21 Sep 1993 01:06:10 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 7065; Tue, 21 Sep 93 01:10:23 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.PETEB.NOTE.VAGENT2.1693.Sep.21.01:10:22.-0400>
--*           for asbugs@watson; Tue, 21 Sep 93 01:10:23 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1689; Tue, 21 Sep 1993 01:10:22 EDT
--* Received: from pi.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 21 Sep 93 01:10:21 EDT
--* Received: by pi.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA24074; Tue, 21 Sep 1993 01:08:29 -0500
--* Date: Tue, 21 Sep 1993 01:08:29 -0500
--* From: pab@pi.watson.ibm.com
--* Message-Id: <9309210608.AA24074@pi.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Type checking failure [/u/pab/junk/baz.as][30.5]

--@ Fixed  by:  SSD   Tue Nov 8 09:30:55 EST 1994 
--@ Tested by:  none 
--@ Summary:    Type checking lambda expressions now enabled. 

#include "aslib.as"
import from Integer;
Foo: Integer->Integer == (x: String): Integer +-> 12;