--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Tue Aug 3 12:14:51 1993 --* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA25496; Tue, 3 Aug 1993 12:14:51 -0400 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 7575; Mon, 02 Aug 93 12:05:08 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Mon, 02 Aug 93 12:05:08 -0400 --* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Mon, 02 Aug 93 12:05:06 EDT --* Received: from neptune by bernina.ethz.ch with SMTP inbound id <15721-0@bernina.ethz.ch>; Mon, 2 Aug 1993 18:04:42 +0200 --* From: Philip Santas --* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA29195; Mon, 2 Aug 93 18:04:37 +0200 --* Date: Mon, 2 Aug 93 18:04:35 +0200 --* Message-Id: <9308021604.AA26273@rutishauser.inf.ethz.ch> --* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA26273; Mon, 2 Aug 93 18:04:35 +0200 --* To: asbugs@watson.ibm.com --* Subject: fff:()->SI := ():SI +-> xxx ==> 4; print(fff())() returns 0 --* Cc: bronstein, jenks@watson.ibm.com --@ Fixed by: SSD Tue Nov 8 09:28:43 EST 1994 --@ Tested by: none --@ Summary: Macro definitions are replaced by empty expressions after preprocessing. Both these programs now correctly report an error. Why does the following return 0? ------------------------------------ ff:SI->SI := (xx:SI):SI +-> (xx==>3) print(ff 3)() ------------------------------------ Since (f 3) returns the macro application, we could print the macro directly. however this does not type-check: --------------- print(xx==>3)() --------------- Shouldn't both progams report an error? Philip