--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Sep  1 21:29:35 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA25125; Wed, 1 Sep 1993 21:29:35 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5185; Wed, 01 Sep 93 21:33:33 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.VAGENT2.4111.Sep.01.21:33:32.-0400>
--*           for asbugs@watson; Wed, 01 Sep 93 21:33:33 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4107; Wed, 1 Sep 1993 21:33:32 EDT
--* Received: from leonardo.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Wed, 01 Sep 93 21:33:31 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA19532; Wed, 1 Sep 1993 21:32:02 -0400
--* Date: Wed, 1 Sep 1993 21:32:02 -0400
--* From: santas@leonardo.watson.ibm.com
--* Message-Id: <9309020132.AA19532@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: unions and reps
--* Cc: bmt@watson.ibm.com

--@ Fixed  by:  SSD   Tue Sep 27 16:39:43 EDT 1994 
--@ Tested by:  none 
--@ Summary:    =$Union now defined as pointer equality. 
-- PI: I get the following compiler error:
-- Implementation restriction: unhandled special symbol meaning
--  = : (Union(int: SingleInteger, str: String), Union(int: SingleInteger, str: Strint)) -> Boolean
-- Bug: Unimplemented = (line 1461 in file ../src/genfoam.c).


-- The program
------------------
#include "aslib"

T1: with
    =: (%, %)->Boolean
 == add
     Rep ==> Union(int: SingleInteger, str: String)
     import from Rep
     ((x:%) = (y:%)):Boolean == (rep x) = (rep y)

------------------
-- returns:

--Unhandled special syme: =
--Bug: Unimplemented = (line 1257 in file ../src/genfoam.c).

--Philip