--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Dec 21 15:56:15 1993
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA26011; Tue, 21 Dec 1993 15:56:15 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4185; Tue, 21 Dec 93 16:02:31 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.0249.Dec.21.16:02:30.-0500>
--*           for asbugs@watson; Tue, 21 Dec 93 16:02:31 -0500
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 21 Dec 93 16:02:29 EST
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <16915-0@bernina.ethz.ch>; Tue, 21 Dec 1993 22:02:24 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA20444; Tue, 21 Dec 93 22:02:20 +0100
--* Date: Tue, 21 Dec 93 22:02:18 +0100
--* Message-Id: <9312212102.AA19660@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA19660; Tue, 21 Dec 93 22:02:18 +0100
--* To: asbugs@watson.ibm.com
--* Subject: functor's arguments not recognized inside functor's body
--* Cc: bronstei

--@ Fixed  by:  SSD   Mon Nov 21 11:19:20 EST 1994 
--@ Tested by:  none 
--@ Summary:    Not a bug. Parameters in inner scopes shadow parameters from outer scopes. 


System:         A# version 33.0 for SPARC (debug version)
Severity:       major
Problem:        function arguments not recognized
Comments:

The following program reports
"dep.as", line 11: (Error) No meaning for identifier `x' in this context.

----------------------------------------------
#include "aslib.as"
SI==>SingleInteger
import SI

BT: Category == with {make: SI -> %; };

C1:Category == with {t:BT; make:SI->t };

FF(F:C1->C1, T:C1, x:t$(F T)): C1 == add {
      t:BT == t$(F T);
      make (x:SI):(t$(F T)) == x;
};
-----------------------------------------------