--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Oct 13 17:59:44 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA21891; Wed, 13 Oct 1993 17:59:44 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9117; Wed, 13 Oct 93 18:06:26 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.1085.Oct.13.18:06:22.-0400>
--*           for asbugs@watson; Wed, 13 Oct 93 18:06:26 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 13 Oct 93 18:06:22 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <23811-0@bernina.ethz.ch>; Wed, 13 Oct 1993 23:06:07 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA24840; Wed, 13 Oct 93 23:06:03 +0100
--* Date: Wed, 13 Oct 93 23:06:02 +0100
--* Message-Id: <9310132206.AA07311@rutishauser.inf.ethz.ch>
--* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA07311; Wed, 13 Oct 93 23:06:02 +0100
--* To: asbugs@watson.ibm.com
--* Subject: Re: x:Tlocal$T1 == 3@SI pretend (Tlocal$T1) returns Bad case 52
--* In-Reply-To: Mail from 'Philip Santas <santas@inf.ethz.ch>'
--*       dated: Wed, 13 Oct 93 23:03:38 +0100

--@ Fixed  by:  PI   Mon Mar 21 14:46:12 EST 1994 
--@ Tested by:  none 
--@ Summary:    no more a bug 

	
#if 0

If I use
  T1$Tlocal
in both declarations (inside foo(), and 'x'), then I get

"recTypes1.as", line 15 char 3Bug: Bad case 52 (line 1533 in file ../src/absyn.c).
#endif
----------------
#include "aslib.as"
SI ==> SingleInteger
import from SI

C1: Category == with
     Tlocal: Ring

T1:C1 == add
     Tlocal: Ring == SI

foo(x:Tlocal$T1):SI == x@(Tlocal$T1) pretend SI

import from T1

x:Tlocal$T1 == 3@SI pretend (Tlocal$T1)
print(foo x)()
------------------

--Philip