diff options
author | dos-reis <gdr@axiomatics.org> | 2010-03-12 22:27:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-03-12 22:27:50 +0000 |
commit | ec25c03fa0342caa301d2a720a8c05962917a701 (patch) | |
tree | e225c87686a42e968a33849e384953a74b5b8c8c /src/algebra/syntax.spad.pamphlet | |
parent | 6de2fad4dd5cad34f04eb7ccdb516df131ff0349 (diff) | |
download | open-axiom-ec25c03fa0342caa301d2a720a8c05962917a701.tar.gz |
* algebra/compiler.spad.pamphlet: New.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index bca2f627..30de16df 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -298,23 +298,6 @@ 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} <<category ASTCAT AbstractSyntaxCategory>>= @@ -1920,7 +1903,6 @@ SpadAst(): SpadAstExports() == add <<domain QQUTAST QuasiquoteAst>> <<domain DEFAST DefinitionAst>> <<domain MACROAST MacroAst>> -<<domain IRFORM InternalRepresentationForm>> @ |