aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/algebra/ChangeLog4
-rw-r--r--src/algebra/domain.spad11
2 files changed, 14 insertions, 1 deletions
diff --git a/src/algebra/ChangeLog b/src/algebra/ChangeLog
index e31ec7b0..524a01ba 100644
--- a/src/algebra/ChangeLog
+++ b/src/algebra/ChangeLog
@@ -1,5 +1,9 @@
2007-12-12 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * domain.spad (showSummary$Domain): New.
+
+2007-12-12 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* syntax.spad (case$Syntax): Add four overloads with flag
parameters. Remove previous declaration.
(conver$Syntax): Use cases to filter out erroneous input.
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
+
+