diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-12 17:35:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-12 17:35:47 +0000 |
| commit | 4b9f947cd94180f651cf9c0110d034b3e8c45756 (patch) | |
| tree | 11a0a67cc1fcb0d8f7a4bfd61608d6de79474a91 /src/algebra/domain.spad | |
| parent | a07ce88c59db4ceea768818d328a559c7b1c0b47 (diff) | |
| download | open-axiom-4b9f947cd94180f651cf9c0110d034b3e8c45756.tar.gz | |
* domain.spad (showSummary$Domain): New.
Diffstat (limited to 'src/algebra/domain.spad')
| -rw-r--r-- | src/algebra/domain.spad | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/algebra/domain.spad b/src/algebra/domain.spad index 1739efdc..f9b21be5 100644 --- a/src/algebra/domain.spad +++ b/src/algebra/domain.spad @@ -33,7 +33,7 @@ )abbrev domain DOMAIN Domain ++ Author: Gabriel Dos Reis ++ Date Create: October 18, 2007. -++ Date Last Updated: November 13, 2007. +++ Date Last Updated: December 12, 2007. ++ Basic Operations: coerce, reify ++ Related Constructors: Type, Syntax, OutputForm ++ Also See: Type @@ -41,6 +41,11 @@ Domain(): Public == Private where Public ==> CoercibleTo(OutputForm) with reify: % -> Syntax ++ reify(d) returns the abstract syntax for the domain `x'. + + showSummary: % -> Void + ++ showSummary(d) prints out implementation detail information + ++ of domain `d'. + Private ==> add coerce x == outputDomainConstructor(x)$Lisp @@ -48,3 +53,7 @@ Domain(): Public == Private where reify x == convert(devaluate(x)$Lisp)$Syntax + showSummary x == + showSummary(x)$Lisp + + |