--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Oct 19 08:58:59 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20916; Tue, 19 Oct 1993 08:58:59 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4543; Tue, 19 Oct 93 09:05:45 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.5271.Oct.19.09:05:44.-0400>
--*           for asbugs@watson; Tue, 19 Oct 93 09:05:45 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 19 Oct 93 09:05:43 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <14437-0@bernina.ethz.ch>; Tue, 19 Oct 1993 14:05:22 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA03877; Tue, 19 Oct 93 14:05:16 +0100
--* Date: Tue, 19 Oct 93 14:05:14 +0100
--* Message-Id: <9310191305.AA01154@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA01154; Tue, 19 Oct 93 14:05:14 +0100
--* To: asbugs@watson.ibm.com
--* Subject: T add ... doesn't alias % to T [rep.as][29.0]

--@ Fixed  by:  SSD   Wed Jun 15 15:15:05 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Rep == R now allows aliasing of Rep to R. Also, % now aliases to the corresponding domain. Note that Rep and % do not alias to each other. 

#include "aslib.as"

-- Neither of those domains compile, problems aliasing Rep to R or % to R:

MakeFoo(R:BasicType, f: R -> R): with
   foo: % -> %
  == R add
      Rep := R
      foo(x:%):% == f rep x


MakeBar(R:BasicType, f: R -> R): with
   bar: % -> %
  == R add
      bar(x:%):% == f x