--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Dec 21 16:01:19 1993
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA09150; Tue, 21 Dec 1993 16:01:19 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4311; Tue, 21 Dec 93 16:07:38 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.0515.Dec.21.16:07:37.-0500>
--*           for asbugs@watson; Tue, 21 Dec 93 16:07:38 -0500
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Tue, 21 Dec 93 16:07:37 EST
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <17048-0@bernina.ethz.ch>; Tue, 21 Dec 1993 22:07:30 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA20488; Tue, 21 Dec 93 22:07:25 +0100
--* Date: Tue, 21 Dec 93 22:07:24 +0100
--* Message-Id: <9312212107.AA19727@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA19727; Tue, 21 Dec 93 22:07:24 +0100
--* To: asbugs@watson.ibm.com
--* Subject: bad type assumptions in functors
--* Cc: bronstei

--@ Fixed  by:  SSD   Mon Nov 21 11:26:33 EST 1994 
--@ Tested by:  none 
--@ Summary:    Type inference in v0-37-0 now correctly reports that make$t where t:BT is meaningless. 

System:         A# version 33.0 for SPARC (debug version)
Severity:       major
Problem:        problems in type inference of functors
Comments:       the reverse of the previous bug

The folowing program compiles:

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

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

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

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

--T2 is not the same as (F T)

--Philip