diff options
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>> @ |