diff options
author | dos-reis <gdr@axiomatics.org> | 2007-11-13 08:35:38 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-11-13 08:35:38 +0000 |
commit | b9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7 (patch) | |
tree | 3a536f737ce3f8bb7724eafd5f493905e2dfefc8 /src/algebra/domain.spad | |
parent | cc81819b09532cf843d21cff94bf18bd1127d9fd (diff) | |
download | open-axiom-b9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7.tar.gz |
src/algebra/
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule.
(axiom_algebra_layer_14): Include SYNTAX.o.
* syntax.spad: New algebra file.
* domain.spad (Domain$reify): New.
src/share/
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/browse.daase: Update.
* algebra/category.daase: Likewise.
* algebra/compress.daase: Likewise.
* algebra/interp.daase: Likewise.
Diffstat (limited to 'src/algebra/domain.spad')
-rw-r--r-- | src/algebra/domain.spad | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/algebra/domain.spad b/src/algebra/domain.spad index dec41cc2..1739efdc 100644 --- a/src/algebra/domain.spad +++ b/src/algebra/domain.spad @@ -33,13 +33,18 @@ )abbrev domain DOMAIN Domain ++ Author: Gabriel Dos Reis ++ Date Create: October 18, 2007. -++ Date Last Updated: October 18, 2007. -++ Basic Operations: -++ Related Constructors: Type, OutputForm +++ Date Last Updated: November 13, 2007. +++ Basic Operations: coerce, reify +++ Related Constructors: Type, Syntax, OutputForm ++ Also See: Type Domain(): Public == Private where - Public ==> CoercibleTo(OutputForm) + Public ==> CoercibleTo(OutputForm) with + reify: % -> Syntax + ++ reify(d) returns the abstract syntax for the domain `x'. Private ==> add coerce x == outputDomainConstructor(x)$Lisp + reify x == + convert(devaluate(x)$Lisp)$Syntax + |