--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Sun Oct 10 11:17:43 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA16223; Sun, 10 Oct 1993 11:17:43 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 7660; Sun, 10 Oct 93 11:23:39 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.5149.Oct.10.11:23:38.-0400>
--*           for asbugs@watson; Sun, 10 Oct 93 11:23:39 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5147; Sun, 10 Oct 1993 11:23:38 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Sun, 10 Oct 93 11:23:38 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA28389; Sun, 10 Oct 1993 11:23:02 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20389; Sun, 10 Oct 1993 11:29:49 -0400
--* Date: Sun, 10 Oct 1993 11:29:49 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310101529.AA20389@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: asharp -Wcheck if5.as gets assertion failed in absyn.c [if5.as][31.2 (current)]

--@ Fixed  by: SSD Thu Oct 14 09:27:43 1993
--@ Tested by: if3.as
--@ Summary:   'Category' should not float as a type form.


--> testcomp
--> testgen y

#library langlib "lang.aso"
import langlib

export Boolean: Type
export has: (Type, Category) -> Boolean
Field : Category == with

PType ==> with {
       Field@Category;
       Field: % -> %;
       x: %;
};

P(R: Type) : PType == add pretend PType;