--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Feb  1 12:21:51 1994
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA21286; Tue, 1 Feb 1994 12:21:51 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 7967; Tue, 01 Feb 94 12:27:57 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.4339.Feb.01.12:27:57.-0500>
--*           for asbugs@watson; Tue, 01 Feb 94 12:27:57 -0500
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 01 Feb 94 12:27:56 EST
--* Received: from neptune (actually neptune.ethz.ch) by bernina.ethz.ch
--*           with SMTP inbound; Tue, 1 Feb 1994 18:27:39 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune
--*           id AA08911; Tue, 1 Feb 94 18:27:36 +0100
--* Date: Tue, 1 Feb 94 18:27:35 +0100
--* Message-Id: <9402011727.AA25754@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch
--*           id AA25754; Tue, 1 Feb 94 18:27:35 +0100
--* To: asbugs@watson.ibm.com
--* Subject: [3] % cannot be used as a parameter to another type [bugpc.as][33.2]

--@ Fixed  by:  SSD   Wed Jun 15 15:16:38 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Aliasing of % to its corresponding domain now supplies the necessary type information to use % as a parameter. 

-------------------------------- bugpc.as -------------------------
#include "aslib.as"

Foo: Category == with {foo: % -> %}

FooTools(R:Foo): with {bar: R -> R} == add {bar(r:R):R == r;}

Bug: Foo == add {
    import from FooTools %;          -- this line complains that % has type Type
                                -- while FooTools requires a type Foo.
    foo(r:%):% == bar r;
}

-- compiling produces:
--      import FooTools %;          -- this line complains that % has type Type
-- .....................^
-- [L9 C25] (Error) Argument 1 did not match with any possible parameter type.
--     The rejected type is Type.
--     Expected type Foo.