--* From postmaster%watson.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Sep  3 12:11:49 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA23457; Fri, 3 Sep 1993 12:11:49 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5446; Fri, 03 Sep 93 12:15:38 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.VAGENT2.2228.Sep.03.12:15:36.-0400>
--*           for asbugs@watson; Fri, 03 Sep 93 12:15:37 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 2226; Fri, 3 Sep 1993 12:15:36 EDT
--* Received: from leonardo.watson.ibm.com by yktvmh.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Fri, 03 Sep 93 12:15:36 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA15110; Fri, 3 Sep 1993 12:14:15 -0400
--* Date: Fri, 3 Sep 1993 12:14:15 -0400
--* From: santas@leonardo.watson.ibm.com
--* Message-Id: <9309031614.AA15110@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: category error
--* Cc: bmt@watson.ibm.com

--@ Fixed  by: PAB Wed Oct 06 15:03:03 1993
--@ Tested by: bug413.as
--@ Summary:   fixed in V31



The following program does not compile:

myCat:Category == BasicType with
         foo:Bit

d1:myCat == add
   Rep ==> Bit
   import Rep
   foo:Bit == true


Philip