From peterb  Thu Feb 13 16:17:33 1997
Received: from nagmx1.nag.co.uk by red.nag.co.uk via SMTP (920330.SGI/920502.SGI)
	for /home/red5/axiom/support/recvbug id AA06337; Thu, 13 Feb 97 16:17:33 GMT
Received: from red.nag.co.uk (red.nag.co.uk [192.156.217.2])
          by nagmx1.nag.co.uk (8.8.4/8.8.4) with SMTP
	  id QAA11843 for <ax-bugs@nag.co.uk>; Thu, 13 Feb 1997 16:21:58 GMT
Received: from frisco.nag.co.uk by red.nag.co.uk via SMTP (920330.SGI/920502.SGI)
	for ax-bugs@nag.co.uk id AA06334; Thu, 13 Feb 97 16:17:30 GMT
From: peterb (Peter Broadbery)
Date: Thu, 13 Feb 1997 16:20:18 GMT
Message-Id: <199702131620.QAA00775@frisco>
Received: by frisco (SMI-8.6) id QAA00775; Thu, 13 Feb 1997 16:20:18 GMT
To: ax-bugs@nag.co.uk

Subject: fixbug
By: PAB
Fixed: bug1094.as
--* Received: from inf.ethz.ch (neptune.ethz.ch) by nags2.nag.co.uk (4.1/UK-2.1)
--* 	id AA03325; Thu, 22 Aug 96 10:49:21 BST
--* Received: from ru8.inf.ethz.ch (bronstei@ru8.inf.ethz.ch [129.132.12.17]) by inf.ethz.ch (8.6.10/8.6.10) with ESMTP id LAA04395 for <ax-bugs@nag.co.uk>; Thu, 22 Aug 1996 11:43:19 +0200
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Received: (from bronstei@localhost) by ru8.inf.ethz.ch (8.7.1/8.7.1) id LAA06259 for ax-bugs@nag.co.uk; Thu, 22 Aug 1996 11:43:16 +0200 (MET DST)
--* Date: Thu, 22 Aug 1996 11:43:16 +0200 (MET DST)
--* Message-Id: <199608220943.LAA06259@ru8.inf.ethz.ch>
--* To: ax-bugs
--* Subject: [4] compile time seg fault

--@ Bug Number:  bug1094.as 
--@ Fixed  by:  PAB   
--@ Tested by:  none.as 
--@ Summary:    Compiler now catches cases where dependent types contain variables 

-- Command line: none
-- Version: 1.1.7 (Solaris)
-- Original bug file name: segfault.as

----------------------------- segfault.as ---------------------------
--
-- This is a result of fix1085: this now seg faults during the .as to .ao phase
-- (1.1.7 for Solaris)
--
-- % axiomxl segfault.as
-- Program fault (segmentation violation).#1 (Error) Program fault (segmentation violation).

#include "axllib"

macro REC == Record(S:BasicType, L:List S);

explode1(r:REC):(T:BasicType, L:List T) == {
	(x, y) := explode r;
	(x, y);
}

foo(r:REC):() == foo0(explode1 r);

foo0(S:BasicType, l:List S):() == print << l;