aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in4
-rw-r--r--src/algebra/Makefile.pamphlet4
-rw-r--r--src/algebra/exposed.lsp.pamphlet1
-rw-r--r--src/algebra/syntax.spad.pamphlet17
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>>
@