--* From DOOLEY%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Oct 20 09:07:41 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA26630; Wed, 20 Oct 1993 09:07:41 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2980; Wed, 20 Oct 93 09:14:11 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.DOOLEY.NOTE.VAGENT2.9285.Oct.20.09:14:11.-0400>
--*           for asbugs@watson; Wed, 20 Oct 93 09:14:11 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 9283; Wed, 20 Oct 1993 09:14:10 EDT
--* Received: from matteo.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 20 Oct 93 09:14:10 EDT
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA17799; Wed, 20 Oct 1993 09:15:28 -0400
--* Date: Wed, 20 Oct 1993 09:15:28 -0400
--* From: dooley@matteo.watson.ibm.com (Sam Dooley)
--* Message-Id: <9310201315.AA17799@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: bug in importing from 'with' on lhs of 'add' [bu484b.as][v31.1]

--@ Fixed  by:  SSD   Thu Jun 2 10:27:44 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Not a bug. Use default inside the with rather than using add after it. 


#include "aslib.as"

import from Integer
MyCategory(): Category == with {
      sigma: % -> %;
        ++ sigma is any automorphism of the field.
      sigma: (%, Integer) -> %;
        ++ sigma(x,n) returns sigma applied n times to x
}
add {
      -- this won't compile, only the unary sigma is in scope
      sigma(x:%):% == sigma(x, 1);
}