--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Sat Aug 14 18:22:52 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA12106; Sat, 14 Aug 1993 18:22:52 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 3707; Sat, 14 Aug 93 18:24:16 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.EDWARDS.NOTE.YKTVMV.4791.Aug.14.18:24:15.-0400>
--*           for asbugs@watson; Sat, 14 Aug 93 18:24:15 -0400
--* Received: from ibm4.scri.fsu.edu by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Sat, 14 Aug 93 18:24:14 EDT
--* Received: by ibm4.scri.fsu.edu id AA26590
--*   (5.65c/IDA-1.4.4 for asbugs@watson.ibm.com); Sat, 14 Aug 1993 18:24:07 -0400
--* Date: Sat, 14 Aug 1993 18:24:07 -0400
--* From: Robert Edwards <edwards@ibm4.scri.fsu.edu>
--* Message-Id: <199308142224.AA26590@ibm4.scri.fsu.edu>
--* To: asbugs@watson.ibm.com
--* Subject: Assertion failed, file "../src/scobind.c" line 974: abIsCatMap(type) [bug14.as][A# version 29.5 for AIX RS/6000 (debug version)]

--@ Fixed  by:  SSD   Thu Jun 2 14:24:29 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Assertion failure no longer appearing. Incorrect type inference errors due to the use of the symbol 'foo' in a type for 'foo' have also been fixed. 

--+ % asharp -rv bug14.as
--+ A# version 29.5 for AIX RS/6000 (debug version)
--+ Assertion failed, file "../src/scobind.c" line 974: abIsCatMap(type)
#include "aslib.as"


foo: Category == BasicType

foo(a: SingleInteger, b: SingleInteger): foo == SI

-- PI: no more a bug. There is now a secondary bug in the output of the error msg.