--* From bmt@spadserv.watson.ibm.com  Thu Dec 10 11:17:57 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA16081; Thu, 10 Dec 1992 11:17:57 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA25357; Thu, 10 Dec 1992 11:23:08 -0500
--* Date: Thu, 10 Dec 1992 11:23:08 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9212101623.AA25357@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com, dooley@watson.vnet.ibm.com,
--*         smwatt@watson.vnet.ibm.com
--* Subject: confusion over % arg to Record form creates 2 = for % confusion

--@ Fixed  by: SMW Fri Oct 08 12:12:21 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"

Float == add
   import Integer
   StoredConstant ==> Record( precision:Integer, value:% )
   local = : (%,%) ->  Bit
   local P:StoredConstant
   f(x:%,y:%):% ==
      x=y => x
      y