--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Dec  8 09:35:20 1993
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA02871; Wed, 8 Dec 1993 09:35:20 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4825; Wed, 08 Dec 93 09:41:41 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.3333.Dec.08.09:41:41.-0500>
--*           for asbugs@watson; Wed, 08 Dec 93 09:41:41 -0500
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 08 Dec 93 09:41:40 EST
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <11710-0@bernina.ethz.ch>; Wed, 8 Dec 1993 15:41:34 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA13810; Wed, 8 Dec 93 15:41:30 +0100
--* Date: Wed, 8 Dec 93 15:41:29 +0100
--* Message-Id: <9312081441.AA16979@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA16979; Wed, 8 Dec 93 15:41:29 +0100
--* To: asbugs@watson.ibm.com
--* Subject: aCateg add {...}     compiles!

--@ Fixed  by:  SSD   Fri Nov 11 14:17:43 EST 1994 
--@ Tested by:  none 
--@ Summary:    Now checking that the lhs of an 'add' expression is a domain in v0-37-0. 
-- PI: where is the problem ?

#if 0
Version 33 (sparc)

The following program compiles:
#endif


#include "aslib.as"
SI ==> SingleInteger
import from SI

T(x:SI): with
      constr: SI->%
      destr: %->SI
   == BasicType add
       Rep ==> SI
       constr(x:SI):% == per x
       destr(x:%):SI == rep x

--Philip