aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r--src/algebra/syntax.spad.pamphlet12
1 files changed, 7 insertions, 5 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index 365cac19..40b2f066 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -217,21 +217,20 @@ Syntax(): Public == Private where
)abbrev domain CTORCALL ConstructorCall
++ Author: Gabriel Dos Reis
++ Date Created: January 19, 2008
-++ Date Last Updated: January 19, 2008
+++ Date Last Updated: July 03, 2008
++ Description: This domains represents a syntax object that
++ designates a category, domain, or a package.
++ See Also: Syntax, Domain
ConstructorCall(): Public == Private where
- Public ==> CoercibleTo OutputForm with
+ Public == SetCategory with
constructorName: % -> Symbol
++ constructorName c returns the name of the constructor
arguments: % -> List Syntax
++ arguments returns the list of syntax objects for the
++ arguments used to invoke the constructor.
- Private ==> add
- rep(x: %): List Syntax ==
- x pretend List(Syntax)
+ Private == add
+ Rep == List Syntax
constructorName x ==
(first rep x)::Symbol
@@ -239,6 +238,9 @@ ConstructorCall(): Public == Private where
arguments x ==
rest rep x
+ x = y ==
+ rep x = rep y
+
coerce x ==
outputDomainConstructor(x)$Lisp
@