From 2a235748f5933b7514a01247afd5f73371a1e542 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 8 Feb 2011 18:11:18 +0000
Subject: clean up

---
 src/algebra/domain.spad.pamphlet | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet
index 597d936d..c2d5fedb 100644
--- a/src/algebra/domain.spad.pamphlet
+++ b/src/algebra/domain.spad.pamphlet
@@ -361,13 +361,13 @@ OperatorSignature(): Public == Private where
 SystemPredicate(): Public == Private where
   Public == SetCategory
   Private == add
-    import %equal: (%,%) -> Boolean from Foreign Builtin
-
-    x = y == %equal(x,y)
+    Rep == Syntax
+    x = y == rep x = rep y
     coerce(x: %): OutputForm ==
-      %not(x)$Foreign(Builtin) => 'false::OutputForm
-      %peq(x,'T)$Foreign(Builtin) => 'true::OutputForm
-      EQCAR(x,'NOT)$Lisp => not(CADR(x)$Lisp : % :: OutputForm)
+      nil? rep x => 'false::OutputForm
+      case rep x is
+         y@Identifier => (y = 'T => 'true::OutputForm; y::OutputForm)
+         otherwise => y::OutputForm
 
 @
 
-- 
cgit v1.2.3