diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-08 18:11:18 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-08 18:11:18 +0000 |
| commit | 2a235748f5933b7514a01247afd5f73371a1e542 (patch) | |
| tree | 8e8a15cbdb5700ea95023bf74c628bd44744e790 | |
| parent | 3636c6e090a9720663d00f9df6b98e140cdb9eb2 (diff) | |
| download | open-axiom-2a235748f5933b7514a01247afd5f73371a1e542.tar.gz | |
clean up
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 12 |
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 @ |