--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Tue Aug 3 12:14:52 1993 --* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA25505; Tue, 3 Aug 1993 12:14:52 -0400 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 8221; Mon, 02 Aug 93 12:30:55 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Mon, 02 Aug 93 12:30:55 -0400 --* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Mon, 02 Aug 93 12:30:54 EDT --* Received: from neptune by bernina.ethz.ch with SMTP inbound id <16675-0@bernina.ethz.ch>; Mon, 2 Aug 1993 18:30:45 +0200 --* From: Philip Santas --* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA29570; Mon, 2 Aug 93 18:30:42 +0200 --* Date: Mon, 2 Aug 93 18:30:40 +0200 --* Message-Id: <9308021630.AA26390@rutishauser.inf.ethz.ch> --* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA26390; Mon, 2 Aug 93 18:30:40 +0200 --* To: asbugs@watson.ibm.com --* Subject: print(if true then (mm==>2;mm) else (mm==>3;mm))()(mm)() returns 2,3 ! --* Cc: bronstein, williams, jenks@watson.ibm.com --@ Fixed by: SSD Mon Sep 26 11:12:13 EDT 1994 --@ Tested by: none --@ Summary: Not a bug. Macro definitions are not scoped by if expressions. First example no longer aborts. The following program aborts the compiler: ------------------------------------ a:=3 if a>2 then mm==>2 else mm==>3 print(mm)() ------------------------------------ However, the following compiles and returns 2 the first time and 3 the second! ------------------------------------ print(if true then (mm==>2;mm) else (mm==>3;mm))() print(mm)() ------------------------------------ IMO, definition of macros should not be allowed inside if-then-else brances or other such control structures: Philip