--* From bmt@spadserv.watson.ibm.com  Sat Nov 28 18:26:54 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA22838; Sat, 28 Nov 1992 18:26:54 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17867; Sat, 28 Nov 1992 18:31:18 -0500
--* Date: Sat, 28 Nov 1992 18:31:18 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9211282331.AA17867@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: compiler complains of 2 meanings for if, while only one is possible

--@ Fixed  by: SMW Thu Oct 07 10:30:11 1993
--@ Tested by: <name of new or existing file in test directory>
--@ Summary:   <One line description of real problem and the fix>


#include "aslib.as"
macro I == Integer
macro R == Record(a:I,b:I)
local 1:R
local -: R -> R
f(x:R):I == if x.a < 0 then -1 else 1