diff options
author | dos-reis <gdr@axiomatics.org> | 2008-09-19 23:02:13 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-09-19 23:02:13 +0000 |
commit | 75cc0a4b26fd4d3f896677f792f47659430e9824 (patch) | |
tree | 8e3aa2f51841813f5af09bab168193c480a1a327 /src/algebra/syntax.spad.pamphlet | |
parent | 8796a8c7a9b8991befb18c39e826d7b29a342c13 (diff) | |
download | open-axiom-75cc0a4b26fd4d3f896677f792f47659430e9824.tar.gz |
* interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.
* algebra/Makefile.pamphlet: Add dependency rules for syntax
domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax domains.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 04018708..b8d68f84 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -1021,8 +1021,8 @@ PretendAst(): Public == Private where \subsection{The CoerceAst domain} -<<domain CRCAST CoercedAst>>= -)abbrev domain CRCAST CoerceAst +<<domain CRCEAST CoercedAst>>= +)abbrev domain CRCEAST CoerceAst ++ Author: Gabriel Dos Reis ++ Date Created: November 10, 2007 ++ Date Last Modified: August 30, 2008 @@ -1417,6 +1417,7 @@ MacroAst(): Public == Private where <<*>>= <<license>> <<domain SYNTAX Syntax>> +<<domain SIG Signature>> <<domain CTORCALL ConstructorCall>> <<domain ELABEXPR ElaboratedExpression>> @@ -1443,7 +1444,7 @@ MacroAst(): Public == Private where <<domain SEGAST SegmentAst>> <<domain SEQAST SequenceAst>> <<domain PRTDAST PretendAst>> -<<domain CRCAST CoercedAst>> +<<domain CRCEAST CoercedAst>> <<domain RSTRCAST RestrictAst>> <<domain LETAST LetAst>> |