From 80f914241a6f9a356f539e6451d88dfdade2e7ea Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 3 Jul 2008 22:38:06 +0000
Subject: 	Fix AW/428 	* algebra/syntax.spad.pamphlet
 (ConstructorCall): Now a member of 	SetCategory. 	(Domain): Likewise. 
 * share/algebra: Update databases. 	* testsuite/interpreter/aw-428.input:
 New.

---
 src/algebra/domain.spad.pamphlet | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/algebra/domain.spad.pamphlet')

diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet
index 571c14a8..0b4d5847 100644
--- a/src/algebra/domain.spad.pamphlet
+++ b/src/algebra/domain.spad.pamphlet
@@ -38,7 +38,7 @@ Category(): Public == Private where
 ++ Related Constructors: Type, Syntax, OutputForm
 ++ Also See: Type, ConstructorCall
 Domain(): Public == Private where
-  Public ==> CoercibleTo(OutputForm) with
+  Public == SetCategory with
     reify: % -> ConstructorCall
       ++ reify(d) returns the abstract syntax for the domain `x'.
 
@@ -51,7 +51,7 @@ Domain(): Public == Private where
       ++ showSummary(d) prints out implementation detail information
       ++ of domain `d'.
 
-  Private ==> add
+  Private == add
     coerce x ==
       outputDomainConstructor(x)$Lisp
 
@@ -61,6 +61,9 @@ Domain(): Public == Private where
     reflect cc ==
       evalDomain(cc)$Lisp @ %
 
+    x = y ==
+      reify x = reify y
+
     showSummary x ==
       showSummary(x)$Lisp
 
-- 
cgit v1.2.3