--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Sat May  8 18:52:14 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA21435; Sat, 8 May 1993 18:52:14 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4421; Sat, 08 May 93 18:52:37 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.7957.May.08.18:52:34.-0400>
--*           for asbugs@watson; Sat, 08 May 93 18:52:37 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Sat, 08 May 93 18:52:33 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <3691-0@bernina.ethz.ch>; Sun, 9 May 1993 00:52:26 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA24214; Sun, 9 May 93 00:52:22 +0200
--* Date: Sun, 9 May 93 00:52:21 +0200
--* Message-Id: <9305082252.AA04716@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA04716; Sun, 9 May 93 00:52:21 +0200
--* To: asbugs@watson.ibm.com, smwatt@watson.ibm.com
--* Subject: problems with lambda
--* Cc: bronstein

--@ Fixed  by:  PI   Fri Oct 15 10:57:39 1993 
--@ Tested by:  none 
--@ Summary:    not a bug (see file) 




-- Problems with the lambda functions.
-- It does not compile.
-- 
-- Philip

-------------lambda.as------------------

#include "aslib.as"

import Integer
import Integer->Integer
f: Integer->Integer := (y +-> y)
-- x:Integer := ((y:Integer) +-> x)(2)
---------------------------------------
-- PI: not a bug. Correct code is: ((y:Integer):Integer +-> ...