--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Oct 29 08:14:03 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17702; Fri, 29 Oct 1993 08:14:03 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 6929; Fri, 29 Oct 93 08:21:23 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SANTAS.NOTE.YKTVMV.4447.Oct.29.08:21:22.-0400>
--*           for asbugs@watson; Fri, 29 Oct 93 08:21:23 -0400
--* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Fri, 29 Oct 93 08:21:22 EDT
--* Received: from neptune by bernina.ethz.ch with SMTP inbound id <4520-0@bernina.ethz.ch>; Fri, 29 Oct 1993 13:21:04 +0100
--* From: Philip Santas <santas@inf.ethz.ch>
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA04774; Fri, 29 Oct 93 13:21:00 +0100
--* Date: Fri, 29 Oct 93 13:19:35 +0100
--* Message-Id: <9310291219.AA19408@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA19408; Fri, 29 Oct 93 13:19:35 +0100
--* To: asbugs@watson.ibm.com
--* Subject: Re: import Categories?   ({foo(x:SI):SI==x+1; print(foo 3)()} returns 3)
--* In-Reply-To: Mail from 'Philip Santas <santas@inf.ethz.ch>'
--*       dated: Fri, 29 Oct 93 13:15:53 +0100

--@ Fixed  by:  SSD   Mon Nov 21 08:15:03 EST 1994 
--@ Tested by:  none 
--@ Summary:    Now reporting an error when attempting to import a category. (This fix may not appear in release 1.0.) 

#if  0
Why can we import Categories?
I would prefer to report an error when
one tries to import a Category.

The following program compiles
- ---------------------------
#endif

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

C1:Category ==
  with
     foo:SI->SI
  default
     foo(x:SI):SI == x+1

import from C1
print(foo 3)()
#if 0
- ---------------------------
runs and prints "\n3\n" !
(if the import is valid, I would expect it to print
"4\n").

Philip
#endif