Subject: fixbug
By: mnd
Fixed: bug1242.as
--* From youssef@d0lxbld1.fnal.gov  Wed Aug 23 00:47:58 2000
--* Received: from d0lxbld1.fnal.gov (d0lxbld1.fnal.gov [131.225.225.15])
--* 	by nagmx1.nag.co.uk (8.9.3/8.9.3) with ESMTP id AAA15068
--* 	for <ax-bugs@nag.co.uk>; Wed, 23 Aug 2000 00:47:57 +0100 (BST)
--* Received: (from youssef@localhost)
--* 	by d0lxbld1.fnal.gov (8.9.3/8.9.3) id SAA09432
--* 	for ax-bugs@nag.co.uk; Tue, 22 Aug 2000 18:47:51 -0500
--* Date: Tue, 22 Aug 2000 18:47:51 -0500
--* From: Saul Youssef <youssef@fnal.gov>
--* Message-Id: <200008222347.SAA09432@d0lxbld1.fnal.gov>
--* To: ax-bugs@nag.co.uk
--* Subject: [4] default problem causing compiler core dump

--@ Bug Number:  bug1242.as 
--@ Fixed  by:  mnd   
--@ Tested by:  bug1242.as 
--@ Summary:    must not free extensions when tiTfCategory1 doesn't have a tfu 

-- Command line: axiomxl -g interp file.as
-- Version: 1.1.12p6
-- Original bug file name: defaults.as

--+ --
--+ -- Hi Martin.  Here's another one.  This core dumps in p6 with
--+ --   axiomxl -g interp test.as
--+ --
--+ #include "axllib"
--+ #pile
--+ 
--+ define Foo(A:Category):Category == with
--+ 
--+ define Foo2(A:Category):Category == Foo A with 
--+ 
--+ define Foo3(A:Category):Category ==  -- with 
--+     F: (A,A) -> Foo A
--+     G: (A,A) -> Foo2 A
--+     default
--+         G(a1:A,a2:A):Foo2 A == F(a1,a2) add
--+ 
--
-- Hi Martin.  Here's another one.  This core dumps in p6 with
--   axiomxl -g interp test.as
--
#include "axllib"
#pile

define Foo(A:Category):Category == with

define Foo2(A:Category):Category == Foo A with 

define Foo3(A:Category):Category ==  -- with 
    F: (A,A) -> Foo A
    G: (A,A) -> Foo2 A
    default
        G(a1:A,a2:A):Foo2 A == F(a1,a2) add