From peterb  Wed Feb 12 12:44:07 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 AA17778; Wed, 12 Feb 97 12:44:07 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 MAA09395 for <ax-bugs@nag.co.uk>; Wed, 12 Feb 1997 12:46:54 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 AA17775; Wed, 12 Feb 97 12:44:05 GMT
From: peterb (Peter Broadbery)
Date: Wed, 12 Feb 1997 12:45:17 GMT
Message-Id: <199702121245.MAA14554@frisco>
Received: by frisco (SMI-8.6) id MAA14554; Wed, 12 Feb 1997 12:45:17 GMT
To: ax-bugs@nag.co.uk

Subject: fixbug
By: PAB
Fixed: bug1105.as
--* From hemmecke@aix550.informatik.uni-leipzig.de  Tue Nov  5 13:51:20 1996
--* Received: from nags2.nag.co.uk by red.nag.co.uk via SMTP (920330.SGI/920502.SGI)
--* 	for /home/red5/axiom/support/recvbug id AA09710; Tue, 5 Nov 96 13:51:20 GMT
--* Received: from server1.rz.uni-leipzig.de by nags2.nag.co.uk (4.1/UK-2.1)
--* 	id AA16961; Tue, 5 Nov 96 13:57:30 GMT
--* Received: from aix550.informatik.uni-leipzig.de by server1.rz.uni-leipzig.de with SMTP
--* 	(1.37.109.16/16.2) id AA274000858; Tue, 5 Nov 1996 14:34:19 +0100
--* Received: by aix550.informatik.uni-leipzig.de (AIX 3.2/UCB 5.64/BelWue-1.1AIXRS)
--*           id AA49986; Tue, 5 Nov 1996 14:30:59 +0100
--* Date: Tue, 5 Nov 1996 14:30:59 +0100
--* From: hemmecke@aix550.informatik.uni-leipzig.de (Ralf Hemmecke)
--* Message-Id: <9611051330.AA49986@aix550.informatik.uni-leipzig.de>
--* To: ax-bugs@nag.co.uk
--* Subject: [1] Type recognition

--@ Bug Number:  bug1105.as 
--@ Fixed  by:  PAB   
--@ Tested by:  bug1105.as 
--@ Summary:    Corrected checking of domain types 

-- Command line: axiomxl -Mno-abbrev xxx.as
-- Version: AXIOM-XL version 1.1.7 for LINUX
-- Original bug file name: xxx.as

-- Author: Ralf Hemmecke, University of Leipzig
-- Date: 05-NOV-96
-- AXIOM-XL version 1.1.7 for LINUX 
-- Subject: Type recognition

-- The following strange compiler message appears with appears only
-- with the Linux version of A#. There are no problems with
-- AXIOM-XL version 1.1.6 for AIX RS/6000.

--: "xxx.as", line 8: DOM(T: with {weight: % -> SingleInteger},
--:                   ....^
--:[L8 C5] #1 (Error) Have determined 1 possible types for the expression.
--:        Meaning 1: (T:  with weight: % -> SingleInteger, M:  with leadingTerm: % -> T, C: CAT(M) with lcm: % -> T) -> CAT(M)
--:  The context requires an expression of type (T:  with weight: % -> SingleInteger, M:  with leadingTerm: % -> T, C: CAT(M) with lcm: % -> T) -> CAT(M).

---------------------- xxx.as ----------------------------
#include "axllib"

define CAT(M:Type):Category == with {f: M -> M}

DOM(T: with {weight: % -> SingleInteger},
  M: with {leadingTerm: % -> T},
  C: CAT M with {lcm: % -> T}
): CAT M == SingleInteger add {
  f(m:M):M == m;
}