From peterb  Wed Feb 12 11:52:41 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 AA17090; Wed, 12 Feb 97 11:52:41 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 LAA09296 for <ax-bugs@nag.co.uk>; Wed, 12 Feb 1997 11:55:25 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 AA17087; Wed, 12 Feb 97 11:52:39 GMT
From: peterb (Peter Broadbery)
Date: Wed, 12 Feb 1997 11:53:49 GMT
Message-Id: <199702121153.LAA14339@frisco>
Received: by frisco (SMI-8.6) id LAA14339; Wed, 12 Feb 1997 11:53:49 GMT
To: ax-bugs@nag.co.uk

Subject: fixbug
By: PAB
Fixed: bug1091.as
--* From: Peter Broadbery <peterb>
--* Date: Tue, 13 Aug 96 10:18:57 BST
--* Received: from co.uk (nags8) by nags2.nag.co.uk (4.1/UK-2.1)
--* 	id AA15672; Tue, 13 Aug 96 10:18:59 BST
--* To: ax-bugs
--* Subject: [3] Two meanings for Enumeration

--@ Bug Number:  bug1091.as 
--@ Fixed  by:  PAB   
--@ Tested by:  slist.as 
--@ Summary:    Improved tf float code 

-- Command line: axiomxl slist.as
-- Version: 1.1.[67]
-- Original bug file name: slist.as

#include "axllib"

r: 'rest' := rest;

SortedList(S:BasicType) : with {
   apply   : (%, 'rest') -> %;

   foo: % -> %;
} == List(S) add
{
   Rep ==> List(S);
   import from Rep;

   foo(x: %): % == x.rest;


}