--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Jul 16 14:27:29 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17083; Fri, 16 Jul 1993 14:27:29 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4017; Fri, 16 Jul 93 14:28:30 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.ADK.NOTE.YKTVMV.7491.Jul.16.14:28:30.-0400>
--*           for asbugs@watson; Fri, 16 Jul 93 14:28:30 -0400
--* Received: from ibm4.scri.fsu.edu by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Fri, 16 Jul 93 14:28:28 EDT
--* Received: by ibm4.scri.fsu.edu id AA13776
--*   (5.65c/IDA-1.4.4 for asbugs@watson.ibm.com); Fri, 16 Jul 1993 14:28:26 -0400
--* Date: Fri, 16 Jul 1993 14:28:26 -0400
--* From: Tony Kennedy <adk@ibm4.scri.fsu.edu>
--* Message-Id: <199307161828.AA13776@ibm4.scri.fsu.edu>
--* To: asbugs@watson.ibm.com
--* Subject: Core dumped if Domain == with ... add ... [bug4.as][A# version 29.2 for AIX RS/6000]

--@ Fixed  by:  PI   Thu Jan 20 11:32:36 EST 1994 
--@ Tested by:  none 
--@ Summary:    no more a bug. 

--+ A# version 29.2 for AIX RS/6000
--+ Exec: unicl -I/ds13/m/users/edwards/applications/asharp/base/rs3.2/include -c bug4.c
--+ Exec: xlc -I/ds13/m/users/edwards/applications/asharp/base/rs3.2/include -I/usr/include -c bug4.c
--+ 	      ld in sc sy li pa ma ab ck sb ti gf of pb pl pc po mi
--+  Time   1.5s   0  1 .6  1 .6  1 .6  0  0 .6 48 .6 .6  0  0  3 39  0 %
--+  Source 117L : 4500 lines per minute
--+ Exec: unicl bug4.o -L/ds13/m/users/edwards/applications/asharp/base/rs3.2/lib -o  bug4 -laslib -lfoam -lm
--+ Exec: xlc -I/usr/include -obug4 bug4.o -L/ds13/m/users/edwards/applications/asharp/base/rs3.2/lib -L/lib -L/usr/lib -L/usr/local/lib -laslib -lfoam -lm
--+ Exec: ./bug4
#include "aslib.as"

A: Category == with
  a: % -> %
  b: %

AD: A == with add
  Rep ==> SingleInteger
  import Rep
  a(x:%):% == per ( 1 + rep x )
  b:% == per 1

alpha: AD == a(b)
 
