--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Oct  8 14:11:13 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA59178; Fri, 8 Oct 1993 14:11:13 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3173; Fri, 08 Oct 93 14:17:07 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.5821.Oct.08.14:17:06.-0400>
--*           for asbugs@watson; Fri, 08 Oct 93 14:17:07 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5819; Fri, 8 Oct 1993 14:17:06 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 08 Oct 93 14:17:05 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA27944; Fri, 8 Oct 1993 14:16:29 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17071; Fri, 8 Oct 1993 14:23:13 -0400
--* Date: Fri, 8 Oct 1993 14:23:13 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310081823.AA17071@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: asharp -llanglib=lang.aso gets segmentation violation, problem with left arg to with in SetCategory [nrlibs22.asa][31.0 (current)]

--@ Fixed  by: SSD Thu Oct 14 09:39:25 1993
--@ Tested by: none
--@ Summary:   Seg fault no longer appearing. [v31.3]


(|Sequence|
  (Import () langlib)
;; compile with -llanglib=lang.aso
;;-----------------------start of axiom world ----------------------

    (|Export| (|Declare| |Boolean| (|Apply| -> (|Comma|) |Type|)) ())

    (|Define|
        (|Declare| |SetCategory| (|Apply| -> (|Comma|) |Category|))
        (|Lambda| (|Comma|) |Category|
            (|Label| |SetCategory|
                     (|With| (|Apply| |Object|)
                             (|Sequence|
                                 (|Declare| =
                                     (|Apply| -> (|Comma| % %)
                                      (|Apply| |Boolean|))))))))

    (|Define| (|Declare| |Object| (|Apply| -> (|Comma|) |Category|))
        (|Lambda| (|Comma|) |Category|
            (|Label| |Object|
                     (|With| () (|Sequence| |nothing|)))))



     (|Define| (|Declare| |nothing| |Category|) (|With| () ()))

)