--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Sun May 30 16:30:08 1993 --* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA26119; Sun, 30 May 1993 16:30:08 -0400 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 3501; Sun, 30 May 93 16:30:40 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Sun, 30 May 93 16:30:40 -0400 --* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Sun, 30 May 93 16:30:38 EDT --* Received: from neptune by bernina.ethz.ch with SMTP inbound id <10266-0@bernina.ethz.ch>; Sun, 30 May 1993 22:30:35 +0200 --* From: Philip Santas --* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA21410; Sun, 30 May 93 22:30:31 +0200 --* Date: Sun, 30 May 93 22:30:29 +0200 --* Message-Id: <9305302030.AA07463@rutishauser.inf.ethz.ch> --* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA07463; Sun, 30 May 93 22:30:29 +0200 --* To: asbugs@watson.ibm.com, smwatt@watson.ibm.com --* Subject: no eq? for Union? --* Cc: bronstein --@ Fixed by: SSD Thu Jul 28 12:15:04 EDT 1994 --@ Tested by: none --@ Summary: langx.as provides operations for =/~=/<< for Union/Record which are currently under development. We are now generating code to use those operations. There is no equality defined for Unions. I think we should have one. The following program type-checks but protests. Philip ----------------bug1.as--------------------------- #include "aslib.as" T1: with =: (%, %)->Bit == add Rep ==> Union(int: SingleInteger, str: String) import Rep ((x:%) = (y:%)):Bit == (rep x) = (rep y) ------------------errors------------------------ ru7.inf.ethz.ch213 Philip > asharp bug1.as Unhandled special syme: = Bug: Unimplemented = (line 1570 in file ../src/genfoam.c).