--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Sun May 16 15:14:44 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA11069; Sun, 16 May 1993 15:14:44 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2377; Sun, 16 May 93 15:15:13 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.4843.May.16.15:15:12.-0400>
--*           for asbugs@watson; Sun, 16 May 93 15:15:12 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Sun, 16 May 93 15:15:11 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <24713-0@bernina.ethz.ch>; Sun, 16 May 1993 21:15:01 +0200
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA00681; Sun, 16 May 93 21:14:56 +0200
--* Date: Sun, 16 May 93 21:14:55 +0200
--* Message-Id: <9305161914.AA19097@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA19097; Sun, 16 May 93 21:14:55 +0200
--* To: asbugs@watson.ibm.com
--* Subject: categories?
--* Cc: bronstein

--@ Fixed  by:  SSD   Mon Dec 06 10:15:13 1993 
--@ Tested by:  none 
--@ Summary:    Now correctly distinguishing between identical category declarations. 




-- The following program does not compile.
-- But when I remove the second declaration, then there is no problem:


#include "aslib.as"

M ==>  new: Integer -> %

C1: with M
   == add
      Rep ==> Record(value: Integer)
      import Rep
      new(x:Integer):% == per [x]

C2: with M
   == add
      Rep ==> Record(value: Integer, otherValue: Integer)
      import Rep
      new(x:Integer):% == per [x+1, x+2]

import Integer
import C1
import C2
mc1: C1 := new(3)$C1
mc2: C2 := new(4)$C2
--------------------------------------------------------
-- "test.as", line 23: mc2: C2 := (new 4)$C2
--                     ...........^
-- [L23 C12] (Error) The expression has 0 possible meanings.