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 | |
| parent | 6844898e025e87c3d6753d648a65fe4a82b8bc55 (diff) | |
| download | open-axiom-6de2fad4dd5cad34f04eb7ccdb516df131ff0349.tar.gz | |
* algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 4 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 4 | ||||
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 1 | ||||
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 17 |
4 files changed, 24 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index fef42f50..dd691b5a 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -939,7 +939,7 @@ axiom_algebra_layer_user = \ ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ - ASP74 ASP77 ASP80 ASP29 + ASP74 ASP77 ASP80 ASP29 IRFORM axiom_algebra_layer_user_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) @@ -1013,6 +1013,8 @@ $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) $(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) +$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) + .PHONY: all all-algebra mkdir-output-directory all: all-ax diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 7c4f46fd..5833260b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -1018,7 +1018,7 @@ axiom_algebra_layer_user = \ ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ - ASP74 ASP77 ASP80 ASP29 + ASP74 ASP77 ASP80 ASP29 IRFORM axiom_algebra_layer_user_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) @@ -1092,6 +1092,8 @@ $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) $(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) +$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) + @ \section{Broken Files} diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 075a425c..c0a74e16 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -212,6 +212,7 @@ (|IntegrationResultFunctions2| . IR2) (|IntegrationResultRFToFunction| . IRRF2F) (|IntegrationResultToFunction| . IR2F) + (|InternalRepresentationForm| . IRFORM) (|Interval| . INTRVL) (|InventorDataSink| . IVDATA) (|InventorViewPort| . IVVIEW) 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>> @ |