aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-02-08 18:11:18 +0000
committerdos-reis <gdr@axiomatics.org>2011-02-08 18:11:18 +0000
commit2a235748f5933b7514a01247afd5f73371a1e542 (patch)
tree8e8a15cbdb5700ea95023bf74c628bd44744e790 /src
parent3636c6e090a9720663d00f9df6b98e140cdb9eb2 (diff)
downloadopen-axiom-2a235748f5933b7514a01247afd5f73371a1e542.tar.gz
clean up
Diffstat (limited to 'src')
-rw-r--r--src/algebra/domain.spad.pamphlet12
1 files 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
@