--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Oct 20 22:59:59 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18659; Wed, 20 Oct 1993 22:59:59 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0307; Wed, 20 Oct 93 23:06:47 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.8697.Oct.20.23:06:46.-0400>
--*           for asbugs@watson; Wed, 20 Oct 93 23:06:47 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 20 Oct 93 23:06:46 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <24643-0@bernina.ethz.ch>; Thu, 21 Oct 1993 04:06:24 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA09520; Wed, 20 Oct 93 18:04:29 +0100
--* Date: Wed, 20 Oct 93 18:04:28 +0100
--* Message-Id: <9310201704.AA09343@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA09343; Wed, 20 Oct 93 18:04:28 +0100
--* To: asbugs@watson.ibm.com
--* Subject: List(Record(...)) bombs at compile time [listrec.as][32.0]

--@ Fixed  by:  PAB   Thu Jun 2 17:32:24 EDT 1994 
--@ Tested by:  listper.as 
--@ Summary:    fixed by other changes 

-- compiling this produces:
--               A# version 32.1 for AIX RS/6000
--               (Error) Program fault (segmentation violation).
-- It works ok if the Rep is not a list of records,
-- i.e. Rep ==> List Z compiles ok.

#include "aslib.as"

macro Z == Integer

MyRing: BasicType with
    foo: Z -> %
  == add
    Term ==> Record(a:Z, b:Z)
    Rep  ==> List Term

    import Rep

    foo(x:Z):% == per nil