diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-03-12 21:18:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-03-12 21:18:58 +0000 |
| commit | 6de2fad4dd5cad34f04eb7ccdb516df131ff0349 (patch) | |
| tree | 3a85d68a4988e087fb45fefe1092384dcc8fb88f /src/algebra/syntax.spad.pamphlet | |
| parent | 6844898e025e87c3d6753d648a65fe4a82b8bc55 (diff) | |
| download | open-axiom-6de2fad4dd5cad34f04eb7ccdb516df131ff0349.tar.gz | |
* algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 74076b45..bca2f627 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -298,6 +298,22 @@ ElaboratedExpression(): Public == Private where "failed" @ +\section{Compiler Intermediate Form} +<<domain IRFORM InternalRepresentationForm>>= +)abbrev domain IRFORM InternalRepresentationForm +++ Author: Gabriel Dos Reis +++ Date Created: March 12, 2010 +++ Date Last Modified: March 12, 2010 +++ Description: +++ This domain provides representations for the intermediate +++ form data structure used by the Spad elaborator. +InternalRepresentationForm(): Public == Private where + Public == CoercibleTo OutputForm + Private == add + coerce(x: %): OutputForm == + (x : Syntax)::OutputForm +@ + \section{SpadAbstractSyntaxCategory} @@ -1904,6 +1920,7 @@ SpadAst(): SpadAstExports() == add <<domain QQUTAST QuasiquoteAst>> <<domain DEFAST DefinitionAst>> <<domain MACROAST MacroAst>> +<<domain IRFORM InternalRepresentationForm>> @ |